Towards trace semantics for WS-CDL with alignments
Proceedings of the 2008 ACM symposium on Applied computing
Choice, interoperability, and conformance in interaction protocols and service choreographies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Representing and reasoning about commitments in business processes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Managing distributed architecture with extended WS-CDL
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Extending model checking to data-aware temporal properties of web services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
A logical representation and verification of web service choreography
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Model Checking of Component Protocol Conformance -- Optimizations by Reducing False Negatives
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Systems and Software
Automatically testing web services choreography with assertions
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Property specifications for workflow modelling
Science of Computer Programming
Expert Systems with Applications: An International Journal
Analyzing web service choreography specifications using colored Petri nets
DESRIST'11 Proceedings of the 6th international conference on Service-oriented perspectives in design science research
A priori conformance verification for guaranteeing interoperability in open environments
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Analysis of realizability conditions for web service choreographies
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Choreography conformance analysis: asynchronous communications and information alignment
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Towards the formal model and verification of web service choreography description language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Achieving life-cycle compliance of service-oriented architectures: open issues and challenges
DPM'09/SETOP'09 Proceedings of the 4th international workshop, and Second international conference on Data Privacy Management and Autonomous Spontaneous Security
Correctness properties for multiagent systems
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
Reliable Web service selection in choreographed environments
Decision Support Systems
Algorithms for checking channel passing in web service choreography
Frontiers of Computer Science: Selected Publications from Chinese Universities
Hi-index | 0.00 |
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of Message Sequence Charts (MSCs) and implemented in the Web Service Choreography Description Language (WSCDL). The approach uses finite state machine representations of web service compositions (implemented in BPEL4WS) and service choreography rules, and assigns semantics to the distributed process interactions. The move towards implementing web service choreography requires design time verification of these service interactions to ensure that service implementations fulfill requirements for multiple interested partners before such compositions and choreographies are deployed. The described approach is supported by a suite of cooperating tools for specification, formal modeling, animation and providing verification results from choreographed web service interactions.