Transformation of Logical Workflow Nets

Interorganizational logical workflow nets (LWNs) are formally proposed to represent the cooperations across organizations in this paper. The LWN transformation means that each organization involved in the agreement converts its agreement-level model to detailed one. The soundness of the interorganizational LWNs is introduced and analyzed. The transformation rules of LWNs are presented. The detailed model of each organization can be investigated based on its agreement-level model and the transformation rules. The concepts and techniques proposed in this paper are illustrated with an example of online shopping in electronic commerce.

[1]  MengChu Zhou,et al.  Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets , 2014, IEEE Transactions on Automation Science and Engineering.

[2]  Karsten Wolf,et al.  An Algorithm for Matching Nondeterministic Services with Operating Guidelines , 2006 .

[3]  MengChu Zhou,et al.  Design and Implementation of a Web-Service-Based Public-Oriented Personalized Health Care Platform , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[4]  Claude Godart,et al.  A model to support collaborative work in virtual enterprises , 2003, Data Knowl. Eng..

[5]  Axel Martens,et al.  Usability of Web services , 2003, Fourth International Conference on Web Information Systems Engineering Workshops, 2003. Proceedings..

[6]  MengChu Zhou,et al.  Analysis and Application of Logical Petri Nets to E-Commerce Systems , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[7]  Wei Liu,et al.  Soundness preservation in composed logical time workflow nets , 2012, Enterp. Inf. Syst..

[8]  MengChu Zhou,et al.  Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[9]  MengChu Zhou,et al.  A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[10]  Wolfgang Reisig,et al.  An Operating Guideline Approach to the SOA , 2005 .

[11]  William M. Tepfenhart,et al.  Dynamic Workflow Modeling and Analysis in Incident Command Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[12]  MengChu Zhou,et al.  Automated web service composition supporting conditional branch structures , 2014, Enterp. Inf. Syst..

[13]  Wil M. P. van der Aalst,et al.  Inheritance of Interorganizational Workflows to Enable Business-to-Business , 2002, Electron. Commer. Res..

[14]  Y Y Du,et al.  logic petri nets and equivalency , 2009 .

[15]  Gustavo Alonso,et al.  The WISE approach to Electronic Commerce , 2000 .

[16]  MengChu Zhou,et al.  Modeling and Validating E-Commerce Business Process Based on Petri Nets , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[17]  Jiacun Wang,et al.  Emergency Healthcare Workflow Modeling and Timeliness Analysis , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[18]  Li D. Xu.  Information architecture for supply chain quality management , 2011 .

[19]  Karsten Wolf,et al.  An algorithm for matching non-deterministic services with operating guidelines , 2006, Int. J. Bus. Process. Integr. Manag..

[20]  MengChu Zhou,et al.  A vector matching method for analysing logic Petri nets , 2011, Enterp. Inf. Syst..

[21]  Wil M. P. van der Aalst,et al.  Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control? , 2003, Inf. Technol. Manag..

[22]  MengChu Zhou,et al.  Reduction and Refinement by Algebraic Operations for Petri Net Transformation , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[23]  Gustavo Alonso,et al.  WISE: business to business e-commerce , 1999, Proceedings Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises. RIDE-VE'99.

[24]  Toader Jucan,et al.  Interorganizational Workflow Nets : a Petri Net Based Approach for Modelling and Analyzing Interorganizational Workflows , 2008 .

[25]  Ichiro Suzuki,et al.  Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter , 1989, IEEE Trans. Computers.

[26]  Wei Tan,et al.  A Web Service-Based Public-Oriented Personalized Health Care Platform , 2013 .

[27]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[28]  Wil M. P. van der Aalst,et al.  Loosely coupled interorganizational workflows: : modeling and analyzing workflows crossing organizational boundaries , 2000, Inf. Manag..

[29]  Karsten Wolf,et al.  Operating guidelines - an automata-theoretic foundation for the service-oriented architecture , 2005, Fifth International Conference on Quality Software (QSIC'05).

[30]  Changjun Jiang,et al.  Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows , 2002, ICFEM.