Abstract
The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. Therefore, an important issue that needs to be dealt with for any generic solution to manage collaborative business transaction is reliability verification. In this paper, we propose a novel Choreographical Business Transaction Net (CoBTx-Net) to specify collaborative business transaction and manages 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Service: Concept, Architectures and Applications. Springer, Heidelberg (2004)
Girault, C., Valk, R.: Petri Nets for System Engeneering:A Guide to Modeling, Verification and Application. Springer, German (2003)
Huber, P., Jensen, K., Shapiro, R.M.: Hierarchies in Colored Petri nets. In: Advances in Petri Nets 1990, pp. 313–341 (1991)
Stork, D.G., van Glabbeek, R.J.: Token-controlled Place Refinement in Hierarchical Petri Nets with Application Active Document Workflow, In: The Int. Conf. on Application and Theory in Petri Nets, pp. 394–413 (2002)
Newcomer, E., Lomow, G.: Understanding SOA with Web Service, Pearson Education, USA (2005)
Song, Y., Lee, J.: Deadlock Analysis of Petri Nets Using the Transitive Matrix. In: The SICE Annual Conf., pp. 689–694 (2002)
Murata, T.: Petri Nets:Properties,Analysis and Application. In: Proceedings of the IEEE, vol. 77(4), pp. 541–580. IEEE, USA (1989)
Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: The Intl. Conf. on Business Process Management (2005)
Chi, Y., Tsai, M., Lee, C.: A Petri-net Based Validator in Reliability of a Composite Service. In: The IEEE Int. Conf. on e-Technology, e-Commerce and e-Service, pp. 450–453 (2005)
Jordan, D., et al.: Business Process Execution Language for Web Service (BPEL4WS) 2.0 (August 2006), http://docs.oasis-open.org/wsbpel/2.0/
Yang, Y., Tan, Q., Xiao, Y., Yu, J., Liu, F.: Exploiting Hirachichical CP-Nets to Increase the Reliability of Web Services Workflow. In: The Symposium on Application and the Internet (2006)
Yi, X., Kochut, K.J.: A CP-nets-based Design and Verification Framework for Web Services Composition. In: The IEEE Int. Conf. on Web Services (2004)
van der Aalst, W.M.P.: Verification of workflow nets. In: The Int. Conf. on Application and Theory in Petri Nets, pp. 407–426 (1997)
Newcomer, E., et al.: Web Services Coordination 1.1 (WS-Coordination) (August 2006), http://docs.oasis-open.org/ws-tx/wstx-wscoor-1.1-spec-pr-01.pdf
Newcomer, E., et al.: Web Services Atomic Transaction (WS- Atomic Transaction) (August 2006), http://docs.oasis-open.org/ws-tx/wstx-wsat-1.1-spec-pr-01.pdf
Newcomer, E., et al.: Web Services Business Activity (WS-Business Activity) (November 2006), http://docs.oasis-open.org/ws-tx/wstx-wsba-1.1-spec-pr-01.pdf
Arkin, A., et al.: Web Service Choreography Interface (WSCI) 1.0 (August 2002), http://www.w3.org/TP/wsci/
Iwasa, K.: Web Services Reliable Messaging 1.1 (WS-Reliability) (November 2004), http://docs.oasis-open.org/wsrm/ws-reliability/v1.1
Sun, H., Yang, J.: A Token Based Dynamic Model for Supporting Consistent Collaborative Business Transactions. In: The IEEE Int. Conf. on Service Computing (2007)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sun, H., Yang, J. (2008). CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction. In: ter Hofstede, A., Benatallah, B., Paik, HY. (eds) Business Process Management Workshops. BPM 2007. Lecture Notes in Computer Science, vol 4928. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78238-4_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-78238-4_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78237-7
Online ISBN: 978-3-540-78238-4
eBook Packages: Computer ScienceComputer Science (R0)