Workflow model compositions preserving relaxed soundness

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4102 LNCS, Issue , 2006, Pages 177-192

  Siegeris, Juliane ^a   Zimmermann, Armin ^b  

^a Fraunhofer Institute for Software and Systems Engineering (ISST)   (Germany)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Composition; Inter organizational Workflow; Petri nets; Validation; Workflow

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPOSITION; MATHEMATICAL MODELS; PETRI NETS; WORLD WIDE WEB;

INTER-ORGANIZATIONAL WORKFLOW; VALIDATION; WORKFLOW;

TELECOMMUNICATION SERVICES;

EID: 33750005373     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11841760_13     Document Type: Conference Paper

References (18)

1. [Aal98] W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998.
2. [Aal99] W.M.P. van der Aalst. Interorganizational Workflows: An Approach based on Message Sequence Charts and Petri Nets. Systems Analysis - Modelling - Simulation, 34(3):335-367, 1999.
3. [AH02] W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA, 2002.
4. [AHT02] W.M.P. v.d. Aalst, K.M. van Hee, and R.A. v.d. Toorn. Component-based software architectures: a framework based on inheritance of behavior. Science of Computer Programming, 42(2-3):129-171, 2002.
5. [Ber87] G. Berthelot. Transformations and decompositions of nets. In G. Rozenberg, editor, Advances in Petri Nets, volume 266 of LNCS. 1987.
6. +03] P. Chrzastowski-Wachtel, B. Benatallah, R. Hamadi, M. O'Dell, and A. Susanto. A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling. In W. van der Aalst, A. ter Hofstede, and M. Weske, editors, Int. Conf. on BPM, volume 2678 of LNCS, pages 336-353, 2003.
7. [Deh03] J. Dehnert. A Methodology for Workflow Modeling - From business process modeling towards sound workflow specification. PhD thesis, TU Berlin, 2003.
8. [DR98] J. Desel and W. Reisig. Place/Transition Petri Nets, volume 1491 of LNCS. Springer, 1998.
9. [DR01] J. Dehnert and P. Rittgen. Relaxed Soundness of Business Processes. In K.L. Dittrich, A. Geppert, and M.C. Norrie, editors, Advanced Information System Engineering, CAISE 2001, volume 2068 of LNCS, pages 157-170. Springer, 2001.
10. [DvdA04] J. Dehnert and W.M.P. van der Aalst. Bridging the Gap Between Business Models and Workflow Specifications. Int. Journal of Cooperative Information Systems (IJCIS), 13(3):289-332, 2004.
11. [DZ04] J. Dehnert and A. Zimmermann. Making Workflow Models Sound Using Petri Net Controller Synthesis. In R. Meersman and Z. Tari et.al., editors, Int. Conf. Cooperative Information Systems (CoopIS) 2004, volume 3290 of LNCS, pages 139-154, Cyprus, 2004.
12. [DZ05] J. Dehnert and A. Zimmermann. On the Suitability of Correctness Criteria for Business Process Models. In W.M.P. van der Aalst and B. Benatallah et.al., editors, Int. Conf. Business Process Management, BPM 2005, volume 3649 of LNCS, pages 386-391, France, 2005.
13. [HB03] R. Hamadi and B. Benatallah. A Petri Net-based Model for Web Service Composition. In X. Zhou and K.-D. Schewe, editors, 14th Australasian Database Conference (ADC2003), volume 17 of Conferences in Research and Practice in Information Technology, Australia, 2003.
14. [HSV03] K.M. van Hee, N. Sidorova, and M. Voorhoeve. Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. In W.M.P. van der Aalst and E. Best, editors, 24th Int. Conf. on Application and Theory of Petri Nets, LNCS, pages 337-356. Springer, 2003.
15. [KMR00] E. Kindler, A. Martens, and W. Reisig. Inter-Operability of Workflow Applications: Local Criteria for Global Soundness. In W.M.P. van der Aalst, J. Desel, and A. Oberweis, editors, BPM: Models, Techniques, and Empirical Studies, volume 1806 of LNCS, pages 235-253. Springer, 2000.
16. [Mar05] Martens, A. Analyzing web service based business processes. In M. Cerioli, editor, 8th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2005), volume 3442 of LNCS, pages 19-33. Springer Verlag, 2005.
17. [Val79] R. Valette. Analysis of Petri nets by stepwise refinements. Journal of Computer and System Sciences, 18:35-46, 1979.
18. [vHSSV05] K. M. van Hee, A. Serebrenik, N. Sidorova, and M. Voorhoeve. Soundness of resource-constrained workflow nets. In ICATPN, pages 250-267, 2005.