Workflow completion patterns

2009 IEEE International Conference on Automation Science and Engineering, CASE 2009

Volumn , Issue , 2009, Pages 7-12

  Trčka, Nikola ^a   Van Der Aalst, Wil ^a   Sidorova, Natalia ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLETION PATTERNS; CONTROL FLOWS; DATA INFORMATIONS; DATAFLOW; EXISTING METHOD; FINAL STATE; WORKFLOW VERIFICATION;

MANAGEMENT; TEMPORAL LOGIC;

DATA FLOW ANALYSIS;

EID: 70449117750     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/COASE.2009.5234170     Document Type: Conference Paper

References (14)

1. 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. W.M.P. van der Aalst, K.M. van Hee, A.H.M. ter Hofstede, N. Sidorova, H.M.W. Verbeek, M. Voorhoeve, and M.T. Wynn. Soundness of Workflow Nets: Classification, Decidability, and Analysis. BPM Center Report BPM-08-102, BPMcenter.org, 2008.
3. E.M. Clarke, O. Grumberg, and D.A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts and London, UK, 1999.
4. CPN Group, University of Aarhus, Denmark. CPN Tools Home Page. http://wiki.daimi.au.dk/cpntools/.
5. J. Dehnert and P. Rittgen. Relaxed Soundness of Business Processes. In K.R. Dittrich, A. Geppert, and M.C. Norrie, editors, Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01), volume 2068 of Lecture Notes in Computer Science, pages 157-170. Springer-Verlag, Berlin, 2001.
6. R. Eshuis. Symbolic Model Checking of UML Activity Diagrams. ACM Transactions on Software Engineering Methodology, 15 (1):1-38, 2006.
7. N. Francez. Fairness. Springer, New York, 1987.
8. C. Karamanolis, D. Giannakopoulou, J. Magee, and S.M. Wheater. Model Checking of Workflow Schemas. In Proceedings of the Fourth International Enterprise Distributed Object Computing Conference (EDOC'00), pages 170-181, Los Alamitos, CA, USA, 2000. IEEE Computer Society.
9. J. Koehler, G. Tirenni, and S. Kumaran. From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods. In 6th International Enterprise Distributed Object Computing Conference (EDOC'02), 17-20 September 2002, Lausanne, Switzerland, pages 96-106. IEEE Computer Society, 2002.
10. A. Martens. On Compatibility of Web Services. Petri Net Newsletter, 65:12-20, 2003.
11. Model-Checking Kit Home Page. http://www.informatik.uni-stuttgart.de/fmi/ szs/tools/mckit/.
12. F. Puhlmann and M. Weske. Investigations on Soundness Regarding Lazy Activities. In S. Dustdar, J.L. Faideiro, and A. Sheth, editors, International Conference on Business Process Management (BPM 2006), volume 4102 of Lecture Notes in Computer Science, pages 145-160. Springer-Verlag, Berlin, 2006.
13. R. van der Toorn. Component-Based Software Design with Petri nets: An Approach Based on Inheritance of Behavior. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands, 2004.
14. N. Trčka, W.M.P. van der Aalst, and N. Sidorova. Data-Flow Anti-Patterns: Discovering Data-Flow Errors in Workflows. In 21st International Conference on Advanced Information Systems (CAiSE'09), volume 5565 of LNCS. Springer, 2009.