Model checking
Conversation Support for Business Process Integration
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Web Service Conversation Modeling: A Cornerstone for E-Business Automation
IEEE Internet Computing
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Theoretical Computer Science - Implementation and application of automata
MOM vs. RPC: Communication Models for Distributed Applications
IEEE Internet Computing
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Deploying and managing Web services: issues, solutions, and directions
The VLDB Journal — The International Journal on Very Large Data Bases
West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware
International Journal of Agent-Oriented Software Engineering
Service Choreography and Orchestration with Conversations
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Type inference and type checking for queries on execution traces
Proceedings of the VLDB Endowment
Dynamic Execution of Coordination Protocols in Open and Distributed Multi-Agent Systems
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes
BPM '09 Proceedings of the 7th International Conference on Business Process Management
On the enactability of business protocols
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
An Approach to Analyzing Dynamic Trustworthy Service Composition
ASWC '09 Proceedings of the 4th Asian Conference on The Semantic Web
Analysis and applications of timed service protocols
ACM Transactions on Software Engineering and Methodology (TOSEM)
Web service composition: a reality check
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
Web service search: who, when, what, and how
WISE'07 Proceedings of the 2007 international conference on Web information systems engineering
Synthesis of orchestrators from service choreographies
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Translating shared state based ebXML BPSS models to WS-BPEL
International Journal of Business Intelligence and Data Mining
Symbolic abstraction and deadlock-freeness verification of inter-enterprise processes
Data & Knowledge Engineering
A quest for beauty and wealth (or, business processes for database researchers)
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Science of Computer Programming
Type inference and type checking for queries over execution traces
The VLDB Journal — The International Journal on Very Large Data Bases
Orchestration under security constraints
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Web services verification and prudent implementation
DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security
Sharing Personal Health Information Via Service-Oriented Computing: A Case of Long-Term Care
Journal of Medical Systems
Symbolic model checking composite Web services using operational and control behaviors
Expert Systems with Applications: An International Journal
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
From Implicit to Explicit Transitions in Business Protocols: A Semantic-Based Transformation
International Journal of Web Services Research
BeC3: Behaviour Crowd Centric Composition for IoT applications
Mobile Networks and Applications
Hi-index | 0.00 |
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the interactions among the peers participating to a composite Web service. In this article, we discuss the following question: What is the impact of asynchronous communication on the conversation behavior? We show that the conversation behavior is significantly different for synchronous and asynchronous communication even if the local behaviors of the peers remain the same. We discuss two techniques for analyzing conversations: synchronizability and realizability analyses. Synchronizability analysis is used to identify bottom-up Web service specifications for which asynchronous communication does not change the conversation behavior. Realizability analysis, on the other hand, is used to identify top-down Web service specifications which are realizable using asynchronous communication. We show that using the synchronizability and realizability analyses it is possible to automatically verify conversation behavior for bottom-up and topdown Web service specifications using model checking.