A Rigorous Semantics for BPMN 2.0 Process Diagrams

Authors: Kossak, F., Illibauer, C., Geist, V., Kubovy, J., Natschläger, C., Ziebermayr, Th., Kopetzky, T., Freudenthaler, B., Schewe, K.-D.

  • The most complete formal specification of the semantics of the Business Process Model and Notation 2.0 standard (BPMN) available to date
  • Includes a discussion of the possibilities to use the formal model in tool development, validation, and verification
  • Written in a style that is easily understandable for a wide range of readers, including developers of modeling tools, software architects, or graduate students specializing in business process management
see more benefits

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-319-09931-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $109.00
price for USA
  • ISBN 978-3-319-09930-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $109.00
price for USA
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: November 17, 2016
  • ISBN 978-3-319-38523-5
  • Free shipping for individuals worldwide
About this book

This book provides the most complete formal specification of the semantics of the Business Process Model and Notation 2.0 standard (BPMN) available to date, in a style that is easily understandable for a wide range of readers – not only for experts in formal methods, but e.g. also for developers of modeling tools, software architects, or graduate students specializing in business process management.

BPMN – issued by the Object Management Group – is a widely used standard for business process modeling. However, major drawbacks of BPMN include its limited support for organizational modeling, its only implicit expression of modalities, and its lack of integrated user interaction and data modeling. Further, in many cases the syntactical and, in particular, semantic definitions of BPMN are inaccurate, incomplete or inconsistent. The book addresses concrete issues concerning the execution semantics of business processes and provides a formal definition of BPMN process diagrams, which can serve as a sound basis for further extensions, i.e., in the form of horizontal refinements of the core language.

To this end, the Abstract State Machine (ASMs) method is used to formalize the semantics of BPMN. ASMs have demonstrated their value in various domains, e.g. specifying the semantics of programming or modeling languages, verifying the specification of the Java Virtual Machine, or formalizing the ITIL change management process.

This kind of improvement promotes more consistency in the interpretation of comprehensive models, as well as real exchangeability of models between different tools. In the outlook at the end of the book, the authors conclude with proposing extensions that address actor modeling (including an intuitive way to denote permissions and obligations), integration of user-centric views, a refined communication concept, and data integration.

About the authors

The authors are experienced industrial researchers in the field of computer science and software engineering, with experience in business process modelling and formal methods in particular. They have been working in a joint team from the Software Competence Center Hagenberg (SCCH) and the Institute for Application Oriented Knowledge Processing (FAW) of the Johannes Kepler University Linz (JKU), both in Austria.

Table of contents (8 chapters)

  • Introduction

    Kossak, Felix (et al.)

    Pages 1-8

  • State of the Art

    Kossak, Felix (et al.)

    Pages 9-16

  • Modelling Semantics with Abstract State Machines

    Kossak, Felix (et al.)

    Pages 17-28

  • A Rigorous Semantics for BPMN 2.0 Process Diagrams

    Kossak, Felix (et al.)

    Pages 29-152

  • How the Semantic Model Can Be Used

    Kossak, Felix (et al.)

    Pages 153-159

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-319-09931-6
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $109.00
price for USA
  • ISBN 978-3-319-09930-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $109.00
price for USA
  • Customers within the U.S. and Canada please contact Customer Service at 1-800-777-4643, Latin America please contact us at +1-212-460-1500 (Weekdays 8:30am – 5:30pm ET) to place your order.
  • Due: November 17, 2016
  • ISBN 978-3-319-38523-5
  • Free shipping for individuals worldwide
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
A Rigorous Semantics for BPMN 2.0 Process Diagrams
Authors
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-09931-6
DOI
10.1007/978-3-319-09931-6
Hardcover ISBN
978-3-319-09930-9
Softcover ISBN
978-3-319-38523-5
Edition Number
1
Number of Pages
X, 235
Number of Illustrations and Tables
79 b/w illustrations, 1 illustrations in colour
Topics