{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T11:47:17Z","timestamp":1730288837080,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,7]]},"DOI":"10.1109\/perser.2007.4283944","type":"proceedings-article","created":{"date-parts":[[2007,8,8]],"date-time":"2007-08-08T15:11:18Z","timestamp":1186585878000},"page":"385-390","source":"Crossref","is-referenced-by-count":1,"title":["Web Service Choreography Conformance Verification in M2M Systems through the piX-model"],"prefix":"10.1109","author":[{"given":"Gregory","family":"van Seghbroeck","sequence":"first","affiliation":[]},{"given":"Filip","family":"de Turck","sequence":"additional","affiliation":[]},{"given":"Bart","family":"Dhoedt","sequence":"additional","affiliation":[]},{"given":"Piet","family":"Demeester","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"article-title":"The SPIN Model Checker: Primerand Reference Manual","year":"2003","author":"holzmann","key":"ref4"},{"key":"ref3","first-page":"273","article-title":"Towards the Formal Model and Verificationof Web Service Choreography Description Language","author":"zhao","year":"2006","journal-title":"Proc of WS-FM LNCS 4184"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1137\/0216062"},{"key":"ref6","article-title":"A Theoretical Basis of Communication-Centered ConcurrentProgramming","author":"carbone","year":"2006","journal-title":"WCD-Working Note"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134408"},{"journal-title":"W3C WS-CDL Working Group","article-title":"Web services choreography description language version 1.0","year":"2005","key":"ref8"},{"key":"ref7","first-page":"38","article-title":"A PartitionRefinement Algorithm for the ?-calculus","author":"pistore","year":"1996","journal-title":"Proc of CAV LNCS 1102"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90008-4"},{"key":"ref9","article-title":"Web Service Choreography Description Language","volume":"9","year":"2005","journal-title":"Web Service Choreography Working Group"},{"key":"ref1","first-page":"503","article-title":"Sliver: A BPEL workflow process execution engine for mobile devices","author":"hackmann","year":"2006","journal-title":"Proc of ICSOC'06 LNCS 4294"}],"event":{"name":"IEEE International Conference on Pervasive Services","start":{"date-parts":[[2007,7,15]]},"location":"Istanbul","end":{"date-parts":[[2007,7,20]]}},"container-title":["IEEE International Conference on Pervasive Services"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4283874\/4283875\/04283944.pdf?arnumber=4283944","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,4]],"date-time":"2020-02-04T09:26:04Z","timestamp":1580808364000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/4283944\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/perser.2007.4283944","relation":{},"subject":[],"published":{"date-parts":[[2007,7]]}}}