{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T18:39:21Z","timestamp":1743100761361},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/words.2003.1218075","type":"proceedings-article","created":{"date-parts":[[2003,10,31]],"date-time":"2003-10-31T09:39:17Z","timestamp":1067593157000},"page":"131-138","source":"Crossref","is-referenced-by-count":51,"title":["Verification of Web services using an enhanced UDDI server"],"prefix":"10.1109","author":[{"given":"W.T.","family":"Tsai","sequence":"first","affiliation":[]},{"given":"R.","family":"Paul","sequence":"additional","affiliation":[]},{"given":"Z.","family":"Cao","sequence":"additional","affiliation":[]},{"given":"L.","family":"Yu","sequence":"additional","affiliation":[]},{"given":"A.","family":"Saimi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"19"},{"journal-title":"A Requirement Verification Framework for Realtime Embedded Systems","year":"2002","author":"zhu","key":"22"},{"journal-title":"UDDI Version 2 0 Data Structure Reference","year":"0","key":"17"},{"journal-title":"UDDI Version 3 Features List","year":"0","key":"18"},{"key":"15","article-title":"Scenario-based test generation tool for embedded systems","author":"tsai","year":"2003","journal-title":"To Appear in Proc of IEEE IPCCC"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/FTDCS.2003.1204349"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2002.1173119"},{"key":"14","first-page":"173","article-title":"Coyote-object-oriented web service testing framework","author":"tsai","year":"2002","journal-title":"Proc of IEEE HASE"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2001.960613"},{"key":"12","article-title":"Developing adaptive test frameworks for testing state-based embedded systems","author":"tsai","year":"2002","journal-title":"Proc of IDPT"},{"journal-title":"Supply Chain Management Sample Architecture","article-title":"WS-I usage scenarios supply chain management use case model","year":"0","key":"21"},{"journal-title":"Design Patterns Elements of Reusable Object-Oriented Software","year":"1994","author":"gamma","key":"3"},{"journal-title":"The Object Constraint Language Precise Modeling with UML","year":"1999","author":"warmer","key":"20"},{"key":"2","first-page":"140","article-title":"Scenario-based modeling and its applications to object-oriented analysis, design, and testing","author":"bai","year":"2002","journal-title":"Proc of IEEE WORDS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1142\/9781848160170_0049"},{"key":"10","first-page":"166","article-title":"Testing extensible design patterns in object-oriented frameworks through hierarchical scenario templates","author":"tsai","year":"1999","journal-title":"Proc of IEEE COMPSAC"},{"journal-title":"NAICS North American Industry Classification System","year":"0","key":"7"},{"key":"6","article-title":"Specification and verification of object-oriented programs","author":"kirani","year":"1994","journal-title":"Technical Report TR94-64 Department of Computer Science and Engineering"},{"key":"5","first-page":"28","article-title":"Method sequence specification and verification of classes","author":"kirani","year":"1994","journal-title":"Journal of Object-Oriented Programming"},{"journal-title":"Building Application Frameworks","year":"1999","author":"fayad","key":"4"},{"key":"9","article-title":"Rapid and adaptive e2e test and evaluation of sos","author":"paul","year":"2003","journal-title":"Submitted to STC"},{"year":"0","key":"8"}],"event":{"name":"WORDS 2003: 8th International Workshop on Object-oriented Real-Time Dependable Systems","acronym":"WORDS-03","location":"Guadalajara, Mexico"},"container-title":["Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8640\/27379\/01218075.pdf?arnumber=1218075","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T19:52:26Z","timestamp":1489434746000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1218075\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/words.2003.1218075","relation":{},"subject":[]}}