WS-CDL+ for web service collaboration
Information Systems Frontiers
A Rigorous Model of Service Component Architecture
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards trace semantics for WS-CDL with alignments
Proceedings of the 2008 ACM symposium on Applied computing
A Denotational Model for Web Services Choreography
ICDCIT '08 Proceedings of the 5th International Conference on Distributed Computing and Internet Technology
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
Electronic Notes in Theoretical Computer Science (ENTCS)
On the enactability of business protocols
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Linking denotational semantics with operational semantics for web services
Innovations in Systems and Software Engineering
Web services choreography validation
Service Oriented Computing and Applications
Service research challenges and solutions for the future internet
Type checking choreography description language
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Science of Computer Programming
Hi-index | 0.00 |
We propose a language CDL as a formal model of simplified WS-CDL. The operational semantics of CDL is given, and static validation and verification of choreographies is studied. Some properties of the proposed model are verified using the SPIN model-checker, which illustrates the potential usage and benefits of the formal model.