{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:03:56Z","timestamp":1730275436006,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/isncc.2015.7238576","type":"proceedings-article","created":{"date-parts":[[2015,9,7]],"date-time":"2015-09-07T17:36:37Z","timestamp":1441647397000},"page":"1-6","source":"Crossref","is-referenced-by-count":4,"title":["Formal verification for Web service composition: A model-checking approach"],"prefix":"10.1109","author":[{"given":"Majdi","family":"Ghannoudi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Chainbi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/PDCAT.2006.52"},{"key":"ref11","article-title":"Model-Checking Verication for Reliable Web Service","author":"nakajima","year":"2002","journal-title":"OOPSLA Workshop on Object-oriented Web Services"},{"key":"ref12","article-title":"Formal Verication of Web Service Behavioural Conformance through Testing","author":"dranidis","year":"2007","journal-title":"Proc 3rd South-East European Workshop on Formal Methods"},{"key":"ref13","article-title":"Design and Synthesis of Synchronization Skeletons Using Branching Time Temporal Logic","volume":"131","author":"clarke","year":"1981","journal-title":"Logics of Programs"},{"journal-title":"A Calculus of Communicating Systems","year":"1982","author":"milner","key":"ref14"},{"article-title":"A calculus of mobile processes i and ii. Information and Computation","year":"1992","author":"milner","key":"ref15"},{"key":"ref16","article-title":"A theorem proving framework for the formal verication of Web Services Composition","author":"papapanagiotou","year":"2011","journal-title":"WWV"},{"article-title":"A Tool for the Simulation of ?-Calculus Systems, Open. BPM","year":"2006","author":"bog","key":"ref17"},{"key":"ref18","article-title":"The concurrency workbench of the new century","author":"cleaveland","year":"2000","journal-title":"User's Manual SUNY at Stony Brook"},{"key":"ref19","article-title":"Web Services Flow Language (WSFL 1.0)","author":"leymann","year":"2001","journal-title":"IBM Corporation"},{"key":"ref4","article-title":"A Petri Net-based Model for Web Service Composition","author":"hamadi","year":"2003","journal-title":"Proceedings of the fourteenth Australasian database conference"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.57"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"article-title":"Vrification Formelle, Compositionnelle et Automatique de Systme de Composant","year":"2010","author":"ayache","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01665-3_14"},{"key":"ref2","article-title":"A parametric communication model for the verification of BPEL4WS compositions","author":"kazhamiakin","year":"2005","journal-title":"Proceedings of WS-FM05"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240303"},{"key":"ref9","first-page":"256","article-title":"Characterizing Kripke Structures in Temporal Logic In TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development","volume":"1","author":"browne","year":"1987","journal-title":"Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming"},{"key":"ref20","article-title":"Systmes embarqus communicants Approches formelles","author":"david","year":"2007","journal-title":"AFSEC version 1"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2007.124"}],"event":{"name":"2015 International Symposium on Networks, Computers and Communications (ISNCC)","start":{"date-parts":[[2015,5,13]]},"location":"Hammamet","end":{"date-parts":[[2015,5,15]]}},"container-title":["2015 International Symposium on Networks, Computers and Communications (ISNCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7210261\/7238567\/07238576.pdf?arnumber=7238576","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,25]],"date-time":"2017-03-25T02:03:29Z","timestamp":1490407409000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7238576\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/isncc.2015.7238576","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}