The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Finding Trading Partners to Establish Ad-hoc Business Processes
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Communications of the ACM - Service-oriented computing
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Compatibility Verification for Web Service Choreography
ICWS '04 Proceedings of the IEEE International Conference on Web Services
WWW '05 Proceedings of the 14th international conference on World Wide Web
Structured nodes in UML 2.0 activities
Nordic Journal of Computing
MDD4SOA: Model-Driven Service Orchestration
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
Modal I/O automata for interface and product line theories
ESOP'07 Proceedings of the 16th European conference on Programming
Semantic-Based development of service-oriented systems
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Ticc: a tool for interface compatibility and composition
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Specification, Verification and Explanation of Violation for Data Aware Compliance Rules
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Hi-index | 0.00 |
An important aspect of service-oriented computing is the ability to invoke services without knowledge of the actual implementation. This requires at least a description of the service interface; better yet is a specification of the complete interaction protocol. This applies to atomic services as well as service compositions. In both cases, however, guaranteeing that a service complies with the promised interaction protocol is crucial for deadlock-free communication. In this paper, we present an analysis method and tool for verifying compliance of service orchestrations with service interaction protocols given as UML models. Our method is part of a larger suite of methods and tools for model driven development of service oriented architectures covering code generation for the Web service stack and other service platforms: MDD4SOA.