Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach

Authors:
Gregorio Díaz;Ismael Rodríguez
Affiliations:
Universidad de Castilla-La Mancha,;Universidad Complutense de Madrid,
Venue:
FMOODS '09/FORTE '09 Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems
Year:
2009

Citing 7
Cited 0

Conformance testing with labelled transition systems: implementation relations and test generation

Computer Networks and ISDN Systems - Special issue on protocol testing
Trace and testing equivalence on asynchronous processes

Information and Computation
Testing Concurrent Systems: A Formal Approach

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Testing Theories for Asynchronous Languages

Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science
Multiparty asynchronous session types

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Contract Compliance and Choreography Conformance in the Presence of Message Queues

Web Services and Formal Methods
From public views to private views: correctness-by-design for services

WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a formal model to represent orchestrations and choreographies, and we provide some semantic relations to detect their conformance , i.e., whether a set of orchestrations representing some web services leads to the overall communications described in a choreography.