Skip to main content
SpringerLink
Log in

Strukturbasierte Verifikation von BPMN-Modellen

  • Book
  • © 2011

Overview

Authors:
  1. Jens Müller
    View author publications

    You can also search for this author in PubMed   Google Scholar

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

Access this book

Log in via an institution
eBook USD 69.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 74.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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages I-XIX
    Download chapter PDF

  2. Einleitung

    • Jens Müller
    Pages 1-5

  3. Grundlagen

    • Jens Müller
    Pages 7-16

  4. Szenario: Modellierung und Adaption von Geschäftsprozessmodellen im Rahmen der Flugzeugwartung

    • Jens Müller
    Pages 17-28

  5. Semantische Geschäftsprozessmodellierung auf Basis von BPMN und MOF

    • Jens Müller
    Pages 29-44

  6. Modellierung von Anforderungen an BPMN-Modelle

    • Jens Müller
    Pages 45-74

  7. Suche nach Instanzen struktureller Muster in BPMN-Modellen

    • Jens Müller
    Pages 75-98

  8. Auswertung musterbasierter Bedingungen an BPMN-Modelle

    • Jens Müller
    Pages 99-122

  9. Validierung

    • Jens Müller
    Pages 123-146

  10. Fazit

    • Jens Müller
    Pages 147-150

  11. Back Matter

    Pages 151-176
    Download chapter PDF
Back to top

Keywords

About this book

Geschäftsprozesse müssen üblicherweise Anforderungen der betriebswirtschaftlichen Ebene erfüllen, die bei der Geschäftsprozessmodellierung von den resultierenden Modellen korrekt abgebildet werden müssen.
Jens Müller untersucht Anforderungen, die Aussagen über die notwendige Beschaffenheit der Struktur von BPMN-Modellen mit Bezug auf deren inhaltliche Bedeutung machen. Derzeit eingesetzte Werkzeuge zur Geschäftsprozessmodellierung bieten keine Möglichkeit, betriebswirtschaftliche Anforderungen der untersuchten Kategorie explizit zu repräsentieren und automatisch auszuwerten. Dadurch erhöht sich das Risiko der Verletzung von Anforderungen mit deren zunehmender Anzahl. Zur Lösung der beschriebenen Probleme stellt der Autor neuartige Konzepte vor, die es ermöglichen, strukturell-inhaltliche Anforderungen mithilfe einer graphischen Modellierungsmethode zu gestalten spezifizieren und Geschäftsprozessmodelle in Bezug auf deren Einhaltung automatisch zu verifizieren. Die Anwendung dieser Konzepte wird anhand eines Szenarios aus der Luftfahrtindustrie demonstriert.

About the author

Jens Müller promovierte im Fach Informatik an der Eberhard Karls Universität Tübingen bei Prof. Dr. rer. nat. Wolfgang Rosenstiel und Prof. Dr.-Ing. Wilhelm G. Spruth und arbeitet als Softwareentwickler in einem internationalen IT- und Beratungsunternehmen.

Bibliographic Information

  • Book Title: Strukturbasierte Verifikation von BPMN-Modellen

  • Authors: Jens Müller

  • DOI: https://doi.org/10.1007/978-3-8348-8162-5

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Business and Economics (German Language)

  • Copyright Information: Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 2011

  • Softcover ISBN: 978-3-8348-1571-2Published: 05 April 2011

  • eBook ISBN: 978-3-8348-8162-5Published: 05 May 2011

  • Edition Number: 1

  • Number of Pages: XIX, 176

  • Topics: IT in Business, Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation