A new semantics for the inclusive converging gateway in safe processes

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

Volumn 6336 LNCS, Issue , 2010, Pages 294-309

  Völzer, Hagen ^a  

^a IBM RESEARCH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ENTERPRISE RESOURCE MANAGEMENT; FLOW GRAPHS; GRAPH THEORY; GRAPHIC METHODS;

ACYCLIC GRAPHS; BLOCK BASED; CYCLIC GRAPH; DEAD PATH ELIMINATIONS; LINEAR TIME; SAFE PROCESS; WHILE LOOPS; WORKFLOW GRAPH;

SEMANTICS;

EID: 78049269469     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-15618-2_21     Document Type: Conference Paper

References (9)

1. Borger, E., Sorensen, O., Thalheim, B.: On defining the behavior of OR-joins in business process models. J. UCS 15(1), 3-32 (2009)
2. Dumas, M., Großkopf, A., Hettel, T., Wynn, M. T.: Semantics of standard process models with OR-joins. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 41-58. Springer, Heidelberg (2007)
3. Kindler, E.: On the semantics of EPCs: Resolving the vicious circle. Data Knowl. Eng. 56(1), 23-40 (2006) (Pubitemid 41542966)
4. Mendling, J., van der Aalst, W. M. P.: Formalization and verification of EPCs with OR-joins based on state and context. In: Krogstie, J., Opdahl, A. L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 439-453. Springer, Heidelberg (2007)
5. OMG. Business process modeling notation (BPMN) version 1.0, OMG document number dtc/06-02-01. Technical report (2006)
6. OMG. Business process model and notation (BPMN) version 2.0, OMG document number dtc/2010-05-03. Technical report (2010)
7. van der Aalst, W. M. P, Desel, J., Kindler, E.: On the semantics of EPCs: A vicious circle. In: EPK, GI-Arbeitskreis Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten, pp. 71-79 (2002)
8. van der Aalst, W. M. P, ter Hofstede, A. H. M.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245-275 (2005) (Pubitemid 40415107)
9. Wynn, M. T., Edmond, D., van der Aalst, W. M. P, ter Hofstede, A. H. M.: Achieving a general, formal and decidable approach to the OR-join in workflow using reset nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 423-443. Springer, Heidelberg (2005) (Pubitemid 41422024)