Skip to main content
SpringerLink
Log in
SpringerLink
Log in

A Method for Verifiable and Validatable Business Process Modeling

  • Chapter
Advances in Software Engineering

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5316))

Abstract

We define an extensible semantical framework for business process modeling notations. Since our definition starts from scratch, it helps to faithfully link the understanding of business processes by analysts and operators, on the process design and management side, by IT technologists and programmers, on the implementation side, and by users, on the application side. We illustrate the framework by a high-level operational definition of the semantics of the BPMN standard of OMG. The definition combines the visual appeal of the graph-based BPMN with the expressive power and simplicity of rule-based modeling and can be applied as well to other business process modeling notations, e.g. UML 2.0 activity diagrams.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. OMG Unified Modeling Language superstructure (final adopted specification, version 2.0) (2003), http://www.omg.org

  2. Web Services Business Process Execution Language version 2.0. OASIS Standard,( April 11,2007), http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html

  3. Barros, A., Dumas, M., ter Hofstede, A.H.M.: Service interaction patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 302–318. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  4. Barros, A., Börger, E.: A compositional framework for service interaction patterns and interaction flows. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 5–35. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  5. Batory, D., Börger, E.: Modularizing theorems for software product lines: The Jbook case study,Universal Computer Science,Special ASM Issue(2008): Coupling Design and Verification in Software Product Lines. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol. 4932, pp. 1–4. Springer, Heidelberg (2008)

    Google Scholar 

  6. Batory, D., O’Malley, S.: The design and implementation of hierarchical software systems with reusable components. In: Krishnamurthi, S., Odersky, M. (eds.) CC 2007. LNCS, vol. 4420, pp. 156–171. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  7. Börger, E.: High-level system design and analysis using Abstract State Machines. In: Hutter, D., Traverso, P. (eds.) FM-Trends 1998, vol. 1641, pp. 1–43. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  8. Börger, E.: The ASM refinement method. Formal Aspects of Computing 15, 237–257 (2003)

    Article  MATH  Google Scholar 

  9. Börger, E.: Construction and analysis of ground models and their refinements as a foundation for validating computer based systems. Formal Aspects of Computing 19, 225–241 (2007)

    Article  MATH  Google Scholar 

  10. Börger, E.: Modeling workflow patterns from first principles. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 1–20. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  11. Börger, E., Fruja, G., Gervasi, V., Stärk, R.: A high-level modular definition of the semantics of C#. Theoretical Computer Science 336(2–3), 235–284 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  12. Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)

    Book  MATH  Google Scholar 

  13. Börger, E., Stärk, R.F.: Exploiting Abstraction for Specification Reuse. The Java/C# Case Study. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 42–76. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  14. Börger, E., Thalheim, B.: On defining the behavior of OR-joins in business process models( in preparation)

    Google Scholar 

  15. BPMI.org. Business Process Modeling Notation Specification v.1.0. dtc/2006-02-01 (2006), http://www.omg.org/technology/documents/spec_catalog.htm

  16. BPMI.org. Business Process Modeling Notation Specification v.1.1. formal/2008-01-17 (2008), http://www.omg.org/spec/BPMN/1.1/PDF

  17. Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and analysis of BPMN process models using Petri nets. Technical Report 7115, Queensland University of Technology, Brisbane (2007)

    Google Scholar 

  18. Farahbod, R, et al.: The CoreASM Project, http://www.coreasm.org

  19. Farahbod, R., Gervasi, V., Glässer, U.: CoreASM: An Extensible ASM Execution Engine. Fundamenta Informaticae XXI (2006)

    Google Scholar 

  20. Farahbod, R., Glässer, U., Vajihollahi, M.: Specification and validation of the business process execution language for web services. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol. 3052, pp. 78–94. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  21. Farahbod, R., Glässer, U., Vajihollahi, M.: An Abstract Machine Architecture for Web Service Based Business Process Management. Int. J. Business Process Integration and Management 1(4), 279–291 (2006)

    Article  Google Scholar 

  22. Freund, J.: BPM-software–2008. Berlin, Germany (2008), http://www.comunda.com

  23. Grosskopf, A.: xBPMN. Formal control flow specification of a BPMN based process execution language. Master’s thesis, HPI at Universität Potsdam, pp. 1-142 (July 2007)

    Google Scholar 

  24. Gruhn, V., Laue, R.: How style checking can improve business process models. In: Proc. 8th International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Cyprus (May 2006)

    Google Scholar 

  25. Gruhn, V., Laue, R.: What business process modelers can learn from programmers. Science of Computer Programming 65, 4–13 (2007)

    Article  MathSciNet  Google Scholar 

  26. Knuth, D.E.: Literate Programming. Number 27 in CSLI Lecture Notes. Center for the Study of Language and Information at Stanford/ California (1992)

    Google Scholar 

  27. Lavagno, L., Sangiovanni-Vincentelli, A., Sentovitch, E.M.: Models of computation for system design. In: Börger, E. (ed.) Architecture Design and Validation Methods, pp. 243–295. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  28. Listiani, M.: Review on business process modeling notation. Master’s thesis, Institute of Telematics of Hamburg University of Technology (July 2008)

    Google Scholar 

  29. Ouyang, C., Dumas, M., van der Aalst, W.M.P., Hofstede, A.H.M.: From business process models to process-oriented software systems: The BPMN to BPEL way. Technical Report 06-27, BPMcenter (2006), http://is.tm.tue.nl/staff/wvdaalst/BPMcenter/

  30. Recker, J., Mendling, J.: Research Issues in Systems Analysis and Design, Databases and Software Development. In: Chapter Lost in Business Process Model Translations.How a Structured Approach helps to Identify Conceptual Mismatch, pp. 227–259. IGI Publishing, Hershey (2007)

    Google Scholar 

  31. Russel, N., ter Hofstede, A., Edmond, D., van der Aalst, W.M.P.: Workflow data patterns. BPM-04-01 at BPMcenter.org (2004)

    Google Scholar 

  32. Russel, N., ter Hofstede, A., Edmond, D., van der Aalst, W.M.P.: Workflow resource patterns. In: BPM-04-07 at BPMcenter.org (2004)

    Google Scholar 

  33. Russel, N., ter Hofstede, A., van der Aalst, W.M.P., Mulyar, N.: Workflow control-flow patterns: A revised view. BPM-06-22 July (2006), at http://is.tm.tue.nl/staff/wvdaalst/BPMcenter/

  34. Schattkowsky, T., Förster, A.: On the pitfalls of UML 2 activity modeling. In: International Workshop on Modeling in Software Engineering (MISE 2007), IEEE Computer Society Press, Los Alamitos (2007)

    Google Scholar 

  35. Stärk, R.F., Schmid, J., Börger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001)

    Book  MATH  Google Scholar 

  36. Störrle, H., Hausman, J.H.: Towards a formal semantics of UML 2.0 activities. In: Proc. Software Engineering 2005, (2005)

    Google Scholar 

  37. van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases 14(3), 5–51 (2003)

    Article  Google Scholar 

  38. White, S.A.: Process modeling notations and workflow patterns (2007). pbmn.org/Documents (download September)

    Google Scholar 

  39. Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A., Russel, N.: On the suitability of BPMN for business process modelling. In:4th Int. Conf. on Business Process Management (2006) (submitted)

    Google Scholar 

  40. Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A., Russel, N.: Pattern-based analysis of BPMN - an extensive evaluation of the control-flow, the data and the resource perspectives (revised version). BPM-06-17 at BPMcenter.org (2006)

    Google Scholar 

  41. Wong, P.Y.H., Gibbons, J.: A process semantics fo BPMN. Preprint Oxford University Computing Lab URL (July 2007), http://web.comlab.ox.ac.uk/oucl/work/peter.wong/pub/bpmn_extended.pdf

  42. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, I-56125, Pisa, Italy

    Egon Börger

  2. Chair for Information Systems Engineering, Department of Computer Science, University of Kiel, D-24098, Kiel, Germany

    Bernhard Thalheim

Authors
  1. Egon Börger
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bernhard Thalheim
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Pisa, Largo Bruno Pontecorvo, 3, 56127, Pisa, Italy

    Egon Börger

  2. Dipartimento di Informatica, Università di Pisa, Largo Bruno Pontecorvo 3, 56127, Pisa, Italy

    Antonio Cisternino

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Börger, E., Thalheim, B. (2008). A Method for Verifiable and Validatable Business Process Modeling. In: Börger, E., Cisternino, A. (eds) Advances in Software Engineering. Lecture Notes in Computer Science, vol 5316. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89762-0_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89762-0_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89761-3

  • Online ISBN: 978-3-540-89762-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation