A CP-nets-based Design and Verification Framework for Web Services Composition

Authors:
Xiaochuan Yi;Krys J. Kochut
Affiliations:
The University of Georgia, Athens;The University of Georgia, Athens
Venue:
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Year:
2004

Citing 0
Cited 13

Web service interfaces

WWW '05 Proceedings of the 14th international conference on World Wide Web
JCPNet tool and automated analysis of distributed systems

Proceedings of the 43rd annual Southeast regional conference - Volume 2
Web service orchestration and verification using MSC and CP nets

Proceedings of the 2007 ACM symposium on Applied computing
Modeling and verifying BPEL using synchronized net

Proceedings of the 2008 ACM symposium on Applied computing
A Survey of Formal Verification for Business Process Modeling

ICCS '08 Proceedings of the 8th international conference on Computational Science, Part II
CoBTx-Net: A model for business collaboration reliability verification

Information Systems Frontiers
A framework for contract-based collaborative verification and validation of web services

CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
CoBTx-Net: a model for reliability verification of collaborative business transaction

BPM'07 Proceedings of the 2007 international conference on Business process management
Analytical quality assurance

Service research challenges and solutions for the future internet
Security-aware web service composition approaches: state-of-the-art

Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
A formal model for service-oriented interactions

Science of Computer Programming
A constrained object model for configuration based workflow composition

BPM'05 Proceedings of the Third international conference on Business Process Management
Towards a colored reflective Petri-net approach to model self-evolving service-oriented architectures

Proceedings of the 27th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Web services aim to support efficient integration ofapplications over Web. Most Web services are stateful,such as services for business processes, and theyconverse with each other via properly orderedinteractions, instead of individual unrelatedinvocations. In order to address efficient integration ofconversational Web services, we create a unifiedspecification model for both conversation protocol andcomposition; we propose methods to integrate apartner service with complex conversation protocolinto a composition of Web services; assure thecorrectness of composition by formal verification. Themapping between our model and BPEL4WS is alsodiscussed.