Formal Modelling and Verification of an Asynchronous Extension of SOAP

Authors:
Maurice H. ter Beek;Stefania Gnesi;Franco Mazzanti;Corrado Moiso
Affiliations:
ISTI--CNR, Italy;ISTI--CNR, Italy;ISTI--CNR, Italy;Telecom Italia, Italy
Venue:
ECOWS '06 Proceedings of the European Conference on Web Services
Year:
2006

Citing 0
Cited 8

Formal verification of an automotive scenario in service-oriented computing

Proceedings of the 30th international conference on Software engineering
CMC-UMC: a framework for the verification of abstract service-oriented properties

Proceedings of the 2009 ACM symposium on Applied Computing
An action/state-based model-checking approach for the analysis of communication protocols for service-oriented applications

FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
An abstract, on the fly framework for the verification of service-oriented systems

Rigorous software engineering for service-oriented systems
Tools and verification

Rigorous software engineering for service-oriented systems
SENSORIA results applied to the case studies

Rigorous software engineering for service-oriented systems
A formal model for service-oriented interactions

Science of Computer Programming
Capacity-Driven Web Services: Concepts, Definitions, Issues, and Solutions

International Journal of Systems and Service-Oriented Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a goal-driven approach to model a choreographer for realizing composite Web services. In this framework, the users start with an abstract, and possibly incomplete functional specification of a desired goal service. This specification is used ...