On separation of concurrency and conflicts in acyclic process models

EMISA 2010 -Beitrage des Workshops der GI-Fachgruppe Entwicklungsmethoden fur Informationssysteme und Deren Anwendung

Volumn , Issue , 2010, Pages 25-36

  Elliger, Felix ^a   Polyvyanyy, Artem ^a   Weske, Mathias ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL FLOW GRAPHS; MODULAR DECOMPOSITION; NEW APPROACHES; ORDERING RELATIONS; PROCESS MODEL; PROCESS STRUCTURE TREES;

ALGORITHMS; DATA FLOW ANALYSIS;

TREES (MATHEMATICS);

EID: 81255212649     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Remco M. Dijkman, Marlon Dumas, and Chun Ouyang. Formal Semantics and Analysis of BPMN Process Models using Petri Nets, 2007.
2. Andrzej Ehrenfeucht, Harold N. Gabow, Ross M. McConnell, and Stephen J. Sullivan. An O(n2) divide-and-conquer algorithm for the prime tree decomposition of two-structures and modular decomposition of graphs. J. Algorithms, 16(2):283-294, 1994.
3. Javier Esparza and Keijo Heljanko. Unfoldings - A Partial-Order Approach to Model Checking. EAT CS Monographs in Theoretical Computer Science. Springer-Verlag, March 2008.
4. Bartek Kiepuszewski, Arthur H. M. ter Hofstede, and Christoph Bussler. On Structured Workflow Modelling. In Proceedings of the 12th International Conference on Advanced Information Systems Engineering (CAiSE), pages 431-445, London, UK, 2000. Springer-Verlag.
5. Jan Mendling, Hajo A. Reijers, and Wil M. P. van der Aalst. Seven process modeling guidelines (7PMG). Information & Software Technology, 52(2):127-136, 2010.
6. Artem Polyvyanyy, Luciano García-Bãnuelos, and Marlon Dumas. Structuring Acyclic Process Models. In Proceedings of the 8th International Conference on Business Process Management (BPM), Hoboken, NJ, US, 2010.
7. Artem Polyvyanyy, Jussi Vanhatalo, and Hagen Völzer. Simplified Computation and Generalization of the Refined Process Structure Tree. In Proceedings of the 7th International Workshop on Web Services and Formal Methods (WS-FM), Hoboken, NJ, US, 2010.
8. Jussi Vanhatalo, Hagen Völzer, and Jana Koehler. The Refined Process Structure Tree. In Proceedings of the 6th International Conference on Business Process Management (BPM), Berlin, Heidelberg, 2008. Springer-Verlag.
9. Jussi Vanhatalo, Hagen Völzer, and Jana Koehler. The Refined Process Structure Tree. Data Knowl. Eng., 68(9):793-818, 2009.