Model checking XML manipulating software
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
WWW '05 Proceedings of the 14th international conference on World Wide Web
Synchronizability of Conversations among Web Services
IEEE Transactions on Software Engineering
Verification of communicating data-driven web services
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
An algebra for commitment protocols
Autonomous Agents and Multi-Agent Systems
PEWS platform: a web services composition environment
Proceedings of the 6th International Workshop on Enhanced Web Service Technologies
Safe distribution of declarative processes
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Consistency between e3-value models and activity diagrams in a multi-perspective development method
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
A semantic approach for designing commitment protocols
AC'04 Proceedings of the 2004 international conference on Agent Communication
Evaluation of technical measures for workflow similarity based on a pilot study
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Evolution of process choreographies in DYCHOR
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
A semantic approach for designing e-business protocols
SWSWPC'04 Proceedings of the First international conference on Semantic Web Services and Web Process Composition
Declarative modelling and safe distribution of healthcare workflows
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
| Hi-index | 0.00 |
A conversation protocol is a top-down specificationframework which specifies desired global behaviorsof a web service composition. In our earlier work [A formalism for specification and verification of reactive electronic services]we studied the problem of realizability, i.e., given a conversationprotocol, can a web service composition besynthesized to generate behaviors as specified by the protocol.Several sufficient realizability conditions were proposedin [A formalism for specification and verification of reactive electronic services] to ensure realizability. Conversation protocolsstudied in [A formalism for specification and verification of reactive electronic services], however, are essentially abstract controlflows without data semantics. This paper extends thework in [A formalism for specification and verification of reactive electronic services] and achieves more accurate analysis by consideringdata semantics. To overcome the state-spaceexplosion caused by the data content, we propose a symbolicanalysis technique for each realizability condition.In addition, we show that the analysis of the autonomycondition can be done using an iterative refinement approach.