Communicating sequential processes
Communicating sequential processes
Petri net semantics of priority systems
Selected papers of the Second Workshop on Concurrency and compositionality
Petri net algebra
Communication and Concurrency
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
From timed Petri nets to timed LOTOS
Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification X
On Petri Nets with Stochastic Timing
International Workshop on Timed Petri Nets
Use of Petri Nets for Performance Evaluation
Proceedings of the Third International Symposium on Measuring, Modelling and Evaluating Computer Systems
Interval Timed Coloured Petri Nets and their Analysis
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
A study of the recoverability of computing systems.
A study of the recoverability of computing systems.
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Describing and Reasoning on Web Services using Process Algebra
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Analyzing Conversations of Web Services
IEEE Internet Computing
A Formal Model forWeb Service Choreography Description Language (WS-CDL)
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services
ECOWS '06 Proceedings of the European Conference on Web Services
Towards the theoretical foundation of choreography
Proceedings of the 16th international conference on World Wide Web
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
Electronic Notes in Theoretical Computer Science (ENTCS)
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Analyzing Chor Specifications by Translation into FSP
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
A feature-complete Petri net semantics for WS-BPEL 2.0
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Hi-index | 0.00 |
A Web Service is a self-describing, self-contained modular application that can be published, located, and invoked over a network, such as the Internet. Web Service composition provides a way to obtain value-added services by combining different existing facilities, which are then able to support the integration of commercial applications. WS-CDL (Web Services Choreography Description Language) is a W3C candidate recommendation for the description of peer-to-peer collaborations by participants in a Web Services composition. This paper focuses on several important aspects of WS-CDL, namely, data variables, timed restrictions, as well as the priorization of collaborations. In WS-CDL there are no priorities, thus, one of our first goals is to provide a WS-CDL definition of prioritized collaborations. We also define a semantics of WS-CDL (with priorities) by means of prioritized-timed colored Petri nets.