Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Model Checking of Workflow Schemas
EDOC '00 Proceedings of the 4th International conference on Enterprise Distributed Object Computing
The Use of Information Capacity in Schema Integration and Translation
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Verification of Business Processes for a Correspondence Handling Center Using CCS
EUROVAV '99 Collected papers from the 5th European Symposium on Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods
EDOC '02 Proceedings of the Sixth International ENTERPRISE DISTRIBUTED OBJECT COMPUTING Conference (EDOC'02)
Verification of Web Service Flows with Model-Checking Techniques
CW '02 Proceedings of the First International Symposium on Cyber Worlds (CW'02)
Analysis and simulation of Web services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Transformation BPEL to CP-Nets for Verifying Web Services Composition
NWESP '05 Proceedings of the International Conference on Next Generation Web Services Practices
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Verifying web services composition
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
A petri net semantics for web service choreography
Proceedings of the 2007 ACM symposium on Applied computing
Web service orchestration and verification using MSC and CP nets
Proceedings of the 2007 ACM symposium on Applied computing
Modeling and verifying BPEL using synchronized net
Proceedings of the 2008 ACM symposium on Applied computing
Simulation and Formal Analysis of Workflow Models
Electronic Notes in Theoretical Computer Science (ENTCS)
How novices model business processes
BPM'10 Proceedings of the 8th international conference on Business process management
Model transformation based verification of web services composition
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
How novices design business processes
Information Systems
Model-Driven Approaches to Service Composition
International Journal of Adaptive, Resilient and Autonomic Systems
Hi-index | 0.00 |
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for verifying the composition specified in the proposed notations. In this paper, we present to verify Web services composition by using CP-nets. CP-nets combine the strengths of Petri nets with the expressive power of high-level programming and have sound mathematical semantics. These services composition proposals can be transformed by transformation rules into CP-nets, which can be used to analyze the performance and to investigate behavioral properties such as deadlock or livelock by CP-nets tools.