Business process modelling with continuous validation

Lecture Notes in Business Information Processing

Volumn 17 LNBIP, Issue , 2009, Pages 212-223

  Kühne, Stefan ^a   Kern, Heiko ^a   Gruhn, Volker ^a   Laue, Ralf ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ENTERPRISE RESOURCE MANAGEMENT; TECHNICAL PRESENTATIONS;

BUSINESS PROCESS MODEL; BUSINESS PROCESS MODELLING; GRAPH-BASED; MODEL CONSTRUCTION; MODELLING TOOLS; STATE SPACE;

PROCESS MONITORING;

EID: 67649970895     PISSN: 18651348     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-00328-8_21     Document Type: Conference Paper

References (17)

1. Wynn, M.T., Verbeek, H., van der Aalst, W.M., Edmond, D.: Business process verification - finally a reality! Business Process Management Journal (to appear)
2. van der Aalst, W.M.: Formalization and verification of event-driven process chains. Information & Software Technology 41(10), 639-650 (1999)
3. Business Process Management Initiative: Business Process Modeling Notation. Technical report, BPMI. org. (2004)
4. Kindler, E.: On the Semantics of EPCs: A Framework for Resolving the Vicious Circle. In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol. 3080, pp. 82-97. Springer, Heidelberg (2004)
5. Wynn, M.T.: Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins. PhD thesis, Queensland University of Technology, Brisbane (2006)
6. Mendling, J.: Detection and Prediction of Errors in EPC Business Process Models. PhD thesis, Vienna University of Economics and Business Administration (2007)
7. van Dongen, B.F., van der Aalst, W.M., Verbeek, H.M.W.: Verification of EPCs: Using reduction rules and Petri nets. In: Pastor, Ó Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 372-386. Springer, Heidelberg (2005)
8. van Dongen, B.F., Jansen-Vullers, M., Verbeek, H.M.W., van der Aalst, W.M.: Verification of the sap reference models using epc reduction, state-space analysis, and invariants. Comput. Ind. 58, 578-601 (2007)
9. Langner, P., Schneider, C., Wehler, J.: Relating event-driven process chains to Boolean Petri nets. Report (9707) (December 1997)
10. Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Information Systems 25(2), 117-134 (2000)
11. van Dongen, B., Mendling, J., van der Aalst, W.: Structural patterns for soundness of business process models. In: EDOC, pp. 116-128 (2006)
12. Esparza, J., Silva, M.: Circuits, handles, bridges and nets. In: Applications and Theory of Petri Nets, pp. 210-242 (1989)
13. van der Aalst, W.M.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21-66 (1998)
14. Vanhatalo, J., Völzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through sese decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43-55. Springer, Heidelberg (2007)
15. Nüttgens, M., Rump, F.J.: Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK). In: Promise 2002 - Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, pp. 64-77 (2002)
16. Gruhn, V., Laue, R.: Checking properties of business process models with logic programming. In: MSVVEIS 2007, pp. 84-93. INSTICC Press (2007)
17. Gruhn, V., Laue, R.: Good and bad excuses for unstructured business process models. In: Proceedings of 12th European Conference on Pattern Languages of Programs (EuroPLoP 2007) (2007)