Description

Book Synopsis
Jens Müller untersucht die Anforderungen, die Aussagen über die notwendige Beschaffenheit der Struktur von BPMN-Modellen mit Bezug auf deren inhaltliche Bedeutung machen. Er stellt 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.

Table of Contents
Szenario: Modellierung und Adaption von Geschäftsprozessmodellen; Semantische Geschäftsprozessmodellierung auf Basis von BPMN und MOF; Modellierung von Anforderungen an BPMN-Modelle; Suche nach Instanzen struktureller Muster in BPMN-Modellen; Auswertung musterbasierter Bedingungen an BPMN-Modelle; Validierung

Strukturbasierte Verifikation von BPMN-Modellen

Product form

£49.49

Includes FREE delivery

RRP £54.99 – you save £5.50 (10%)

Order before 4pm tomorrow for delivery by Tue 27 Jan 2026.

A Paperback / softback by Jens Müller

1 in stock


    View other formats and editions of Strukturbasierte Verifikation von BPMN-Modellen by Jens Müller

    Publisher: Springer Fachmedien Wiesbaden
    Publication Date: 05/04/2011
    ISBN13: 9783834815712, 978-3834815712
    ISBN10: 3834815713
    Also in:
    Business mathematics and systems Knowledge management Computer science

    Description

    Book Synopsis
    Jens Müller untersucht die Anforderungen, die Aussagen über die notwendige Beschaffenheit der Struktur von BPMN-Modellen mit Bezug auf deren inhaltliche Bedeutung machen. Er stellt 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.

    Table of Contents
    Szenario: Modellierung und Adaption von Geschäftsprozessmodellen; Semantische Geschäftsprozessmodellierung auf Basis von BPMN und MOF; Modellierung von Anforderungen an BPMN-Modelle; Suche nach Instanzen struktureller Muster in BPMN-Modellen; Auswertung musterbasierter Bedingungen an BPMN-Modelle; Validierung

    Recently viewed products

    © 2026 Book Curl

      • American Express
      • Apple Pay
      • Diners Club
      • Discover
      • Google Pay
      • Maestro
      • Mastercard
      • PayPal
      • Shop Pay
      • Union Pay
      • Visa

      Login

      Forgot your password?

      Don't have an account yet?
      Create account