Issue No.02 - Second (2012 vol.5)
pp: 207-219
Haiyang Sun , Macquarie University, Sydney
Jian Yang , Macquaire University, Sydney
Weiliang Zhao , Macquaire University, Sydney
Business collaboration is about coordinating the flow of information among organizations and linking their business processes into a cohesive whole. Collaborative business processes are time critical within and across organizations and can become unreliable due to temporal inconsistency where processes cannot execute according to the agreed temporal policies. It is necessary to have a mechanism to manage temporal consistency in service-oriented business collaboration. In this paper, we propose a model named Timed Choreographical Business Transaction Net (TiCoBTx-Net) based on Hierarchical Colored Petri Net for individual business participants to specify and manage the temporal consistency in business collaboration. A series of temporal polices are formalized and checked in TiCoBTx-Net to enforce the temporal consistency at design time and runtime. A verification mechanism is also developed to clarify the status of temporal inconsistencies. Finally, the implementation details of the proposed mechanism is provided.
TiCoBTx-Net, temporal consistency, temporal policies, business collaboration, web service.
Haiyang Sun, Jian Yang, Weiliang Zhao, "TiCoBTx-Net: A Model to Manage Temporal Consistency of Service-Oriented Business Collaboration", IEEE Transactions on Services Computing, vol.5, no. 2, pp. 207-219, Second 2012, doi:10.1109/TSC.2011.5
[1] G. Alonso, F. Casati, H. Kuno, and V. Machiraju, Web Service: Concept, Architectures and Applications. Springer, 2004.
[2] E. Newcomer and G. Lomow, Understanding SOA with Web Service. Pearson Education, 2005.
[3] M.P. Papazoglou, Web Services: Principles and Techonology. Prentice Hall, July 2007.
[4] J. Tsai, S. Yang, Y. Chang, and E. Juan, "Verifying Timing Properties for Distributed Real-Time Systems Using Timing Constraint Petri Nets," Proc. Int'l Computer Software and Applications Conf. (COMPSAC), 1996.
[5] J. Toussaint, F. Simonot-Lion, and J. Thomesse, "Time Constraints Verification Methods Based on Time Petri Nets," Proc. IEEE Workshop Future Trends of Distributed Computing Systems (FTDCS), 1997.
[6] F.L. Tiplea and G.I. Macovei, "Timed Workflow Nets," Proc. Seventh Int'l Symp. Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2005.
[7] S. Ling and H. Schmidt, "Time Petri Nets for Workflow Modelling and Analysis," Proc. IEEE Int'l Conf. Systems, Man, and Cybernetics (ICSMC), 2000.
[8] T. Murata, "Petri Nets: Properties, Analysis and Application," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
[9] C. Girault and R. Valk, Petri Nets for System Engeneering: A Guide to Modeling, Verification and Application. Springer, 2003.
[10] C. Ouyang, E. Verbeek, W.M.P. van der Aalst, S. Breutel, M. Dumas, and A.H.M. ter Hofstede, "WofBPEL: A Tool for Automated Analysis of BPEL Processes," Proc. Int'l Conf. Service-Oriented Computing (ICSOC), pp. 484-489, 2005.
[11] W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H.M.W. Verbeek, "Choreography Conformance Checking: An Approach Based on BPEL and Petri Nets," The Role of Business Processes in Service Oriented Architectures, Inderscience Enterprises, 2006.
[12] C. Ouyang, E. Verbeek, W.M.P. van der Aalst, S. Breutel, M. Dumas, and A.H.M. ter Hofstede, "Formal Semantics and Analysis of Control Flow in WS-BPEL," Science of Computer Programming, vol. 67, nos. 2/3, pp. 162-198, 2007.
[13] W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and E. Verbeek, "Conformance Checking of Service Behavior," ACM Trans. Internet Technology, vol. 8, no. 3, pp. 29-59, 2008.
[14] Y. Yang, Q. Tan, J. Yu, and F. Liu, "Transformation BPEL to CP-Nets for Verifying Web Service Composition," Proc. Int'l Conf. Next Generation Web Services Practices, 2005.
[15] Y. Yang, Q. Tan, Y. Xiao, J. Yu, and F. Liu, "Exploiting Hirachichical CP-Nets to Increase the Reliability of Web Services Workflow," Proc. Symp. Application and the Internet, 2006.
[16] P. Huber, K. Jensen, and R.M. Shapiro, "Hierarchies in Colored Petri Nets," Proc. Int'l Conf. Applications and Theory of Petri Nets: Advances in Petri Nets, pp. 313-341, 1990.
[17] D.G. Stork and R.J. van Glabbeek, "Token-Controlled Place Refinement in Hierarchical Petri Nets with Application Active Document Workflow," Proc. 23rd Int'l Conf. Application and Theory in Petri Nets, pp. 394-413, 2002.
[18] Y. Song and J. Lee, "Deadlock Analysis of Petri Nets Using the Transitive Matrix," Proc. SICE Ann. Conf., pp. 689-694, 2002.
[19] H. Pichler, M. Wenger, and J. Eder, "Composing Time-Aware Web Service Orchestrations," Proc. 21st Int'l Conf. Advanced Information Systems Eng. (CAiSE '09), pp. 349-363, 2009.
[20] A. Ismail, J. Yan, and J. Shen, "Verification of Composite Services with Temporal Consistency Checking and Temporal Satisfaction Estimation," Proc. 10th Int'l Conf. Web Information Systems Eng. (WISE '09), pp. 343-350, Oct. 2009.
[21] J. Eder, E. Panagos, and M. Rabinovich, "Time Constraints in Workflow Systems," Proc. 11th Int'l Conf. Advanced Information Systems Eng. (CAiSE '99), pp. 165-280, June 1999.
[22] N. Guermouche and C. Godart, "Timed Model Checking Based Approach for Web Services Analysis," Proc. IEEE Int'l Conf. Web Services (ICWS '09), pp. 213-221, 2009.
[23] N. Guermouche and C. Godart, "Timed Properties-Aware Asynchronous Web Service Composition," Proc. Int'l Conf. Cooperative Information Systems (CoopIS '08), pp. 44-61, 2008.
[24] N. Guermouche and C. Godart, "Asynchronous Timed Web Service-Aware Choreography Analysis," Proc. 21st Int'l Conf. Advanced Information Systems Eng. (CAiSE '09), pp. 364-378, 2009.
[25] A. Awad, G. Decker, and M. Weske, "Efficient Compliance Checking Using BPMN-Q and Temporal Logic," Proc. Sixth Int'l Conf. Business Process Management (BPM '08), pp. 326-341, 2008.
[26] V. Kordic, Petri Net: Theory and Applications. I-Tech Education and Publishing, 2008.
[27] D. Jordan et al., Business Process Execution Language for Web Service (BPEL4WS) 2.0,, 2006.
[28] B. Benatallah, P. Chrzastowski-Wachtel, R. Hamadi, M. O'Dell, and A. Susanto, "HiWorD: A Petri Net-Based Hierarchical Workflow Designer," Proc. Third Int'l Conf. Application of Concurrency to System Design (ACSD), pp. 235-236, 2003.