Hierarchies in Coloured Petri Nets
APN 90 Proceedings on Advances in Petri nets 1990
Transaction Processing: Concepts and Techniques
Transaction Processing: Concepts and Techniques
Distributed and Parallel Databases
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Modelling Networked Enterprises
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Some Problems with the UML V1.3 Metamodel
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 3 - Volume 3
A CP-nets-based Design and Verification Framework for Web Services Composition
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Understanding SOA with Web Services (Independent Technology Guides)
Understanding SOA with Web Services (Independent Technology Guides)
A Petri-Net based Validator in Reliability of a Composite Service
EEE '05 Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05) on e-Technology, e-Commerce and e-Service
Exploiting Hierarchical CP-Nets to Increase the Reliability of Web Services Workflow
SAINT '06 Proceedings of the International Symposium on Applications on Internet
Transformation BPEL to CP-Nets for Verifying Web Services Composition
NWESP '05 Proceedings of the International Conference on Next Generation Web Services Practices
Web Services: Concepts, Architectures and Applications
Web Services: Concepts, Architectures and Applications
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Hi-index | 0.00 |
Collaborative business process can become unreliable when business partners collaborate in a peer- based fashion without central control. Therefore, reliability checking becomes an important issue that needs to be dealt with for any generic solution in managing business collaboration. In this paper, we propose a novel Choreographical Business Transaction Net (CoBTx-Net) to model collaborative business process and to manage the collaboration by individual participants. Furthermore three reliability properties named Time-embedded dead marking freeness, Inter-organizational dead marking freeness, and Collaborative soundness are defined based on CoBTx-Net to verify (1) the violation of time constraint, (2) collaborative logic conflicts, and (3) the improper termination from individual organizations.