{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T20:48:42Z","timestamp":1725396522962},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/icdim.2015.7381886","type":"proceedings-article","created":{"date-parts":[[2016,1,15]],"date-time":"2016-01-15T04:50:35Z","timestamp":1452833435000},"page":"204-209","source":"Crossref","is-referenced-by-count":2,"title":["Generating Finite State Machine from WSMO choreography for testing Web services"],"prefix":"10.1109","author":[{"given":"Hazlifah Mohd","family":"Rusli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aishah","family":"Ahmad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suhaimi","family":"Ibrahim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mazidah","family":"Puteh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"215","article-title":"The web services composition testing based on extended finite state machine and uml model","author":"ching-seh","year":"2013","journal-title":"Proc of the Fifth International Conference on Service Science and Innovation"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/11754008_7"},{"key":"ref12","first-page":"112","article-title":"Formal verification of web service behavioural conformance through testing","author":"dranidis","year":"2007","journal-title":"Proc 3rd South-East European Workshop on Formal Methods"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68172-4"},{"key":"ref14","article-title":"Conformance testing with abstract state machines","author":"grieskamp","year":"2001","journal-title":"Proc Int Workshop Comput Aided Syst Theory"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/566171.566190"},{"journal-title":"D14v1 0 Ontology-based choreography","year":"0","author":"roman","key":"ref16"},{"journal-title":"wsm04j programmers guide","year":"2006","author":"dimitrov","key":"ref17"},{"journal-title":"Practical Model-Based Testing A Tools Approach","year":"2007","author":"utting","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1002\/spe.540"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/11498490_18"},{"journal-title":"D16 1v1 0 WSML language reference","year":"2008","author":"steinmetz","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.09.034"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/AST.2015.9"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37829-4"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-7535-4_8"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19193-0"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2014.04.054"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2161"},{"key":"ref20","article-title":"Modeling and model-based testing of service choreographies","author":"wieczorek","year":"2010","journal-title":"Dr Ing Von der Fakultat IV - Elektrotechnik und Informatik"}],"event":{"name":"2015 Tenth International Conference on Digital Information Management (ICDIM)","start":{"date-parts":[[2015,10,21]]},"location":"Jeju Island, South Korea","end":{"date-parts":[[2015,10,23]]}},"container-title":["2015 Tenth International Conference on Digital Information Management (ICDIM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7374075\/7381849\/07381886.pdf?arnumber=7381886","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T21:19:43Z","timestamp":1490390383000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7381886\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/icdim.2015.7381886","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}