Ensuring well-formed conversations between control and operational behaviors of web services

Authors:
Scott Bourne;Claudia Szabo;Quan Z. Sheng
Affiliations:
School of Computer Science, The University of Adelaide, SA, Australia;School of Computer Science, The University of Adelaide, SA, Australia;School of Computer Science, The University of Adelaide, SA, Australia
Venue:
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Year:
2012

Citing 12
Cited 1

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
Model Cheking

Proceedings of the 17th Conference on Foundations of Software Technology and Theoretical Computer Science
NuSMV 2: An OpenSource Tool for Symbolic Model Checking

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Enabling conversations with web services

AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Web Service Conversation Modeling: A Cornerstone for E-Business Automation

IEEE Internet Computing
Ensuring required failure atomicity of composite Web services

WWW '05 Proceedings of the 14th international conference on World Wide Web
Benchmarking the Robustness of Web Services

PRDC '07 Proceedings of the 13th Pacific Rim International Symposium on Dependable Computing
Deploying and managing Web services: issues, solutions, and directions

The VLDB Journal — The International Journal on Very Large Data Bases
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
Separating Operational and Control Behaviors: A New Approach to Web Services Modeling

IEEE Internet Computing
FACTS: A Framework for Fault-Tolerant Composition of Transactional Web Services

IEEE Transactions on Services Computing

Behavior modeling and automated verification of Web services

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

Despite a decade's active research and development, Web services still remain undependable. Designing effective approaches for highly dependable Web service provisioning has therefore become of paramount importance. Our previous work proposes a novel model that separates the service behavior into operational and control behaviors for flexible design, development, and verification of complex Web services. In this paper, we further this research with a set of conversation rules to facilitate the verification of rich conversations between control and operational behaviors. The rules are specified as temporal logic formulas to formally check rich conversation patterns. The proposed approach is realized using state-of-the-art technologies and experiments show its feasibility and benefits.