Handbook of Process Algebra
Towards the theoretical foundation of choreography
Proceedings of the 16th international conference on World Wide Web
Conformance Validation between Choreography and Orchestration
TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Non-intrusive monitoring and service adaptation for WS-BPEL
Proceedings of the 17th international conference on World Wide Web
VieDAME - flexible and robust BPEL processes through monitoring and adaptation
Companion of the 30th international conference on Software engineering
Flexible Pattern Monitoring for WS-BPEL through Stateful Aspect Extension
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
Realizability of Choreographies Using Process Algebra Encodings
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Network protocol interoperability testing based on contextual signatures and passive testing
Proceedings of the 2009 ACM symposium on Applied Computing
Runtime monitoring of web service choreographies using streaming XML
Proceedings of the 2009 ACM symposium on Applied Computing
Synthesis and Composition of Web Services
Formal Methods for Web Services
Automatic synthesis of behavior protocols for composable web-services
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Fault-Based Test Case Generation for Component Connectors
TASE '09 Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
Runtime Monitoring of Web Service Conversations
IEEE Transactions on Services Computing
A passive testing approach based on invariants: application to the WAP
Computer Networks: The International Journal of Computer and Telecommunications Networking
SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Cross-organizational process monitoring based on service choreographies
Proceedings of the 2010 ACM Symposium on Applied Computing
Timed Extended Invariants for the Passive Testing of Web Services
ICWS '10 Proceedings of the 2010 IEEE International Conference on Web Services
Automatically testing web services choreography with assertions
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Choreography conformance via synchronizability
Proceedings of the 20th international conference on World wide web
| Hi-index | 0.00 |
Choreography supports the specification, with a global perspective, of the interactions between the roles played by partners in a collaboration. These roles are the basis for the implementation of the collaboration, by developers and/or software architects, as a set of distributed communicating peers. An issue is to check for the conformance of the implementation with reference to the choreography specification. We address this issue with a passive testing approach. It tackles the peculiarities of choreography implementations through non-intrusiveness, support for black-box peers without source code being available, and both local and global conformance. Several languages have been proposed for choreography. We chose Chor since it is both expressive and abstract enough to suit the requirements of a specification language. Further, it can be seen as an abstraction of the standard Web service choreography language, WS-CDL. In this paper we present both the formal framework of our approach and our tool support for one possible implementation model, Web service choreographies.