Warenkorb
 

Strukturbasierte Verifikation von BPMN-Modellen

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.
Portrait
: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.
… weiterlesen
  • Artikelbild-0
  • 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

In den Warenkorb

Beschreibung

Produktdetails

Einband Taschenbuch
Seitenzahl 176
Erscheinungsdatum 05.04.2011
Sprache Deutsch
ISBN 978-3-8348-1571-2
Verlag Vieweg+Teubner Verlag
Maße (L/B/H) 21.5/14.9/2 cm
Gewicht 287 g
Abbildungen 76 schwarzweisse Abbilmit 42 FarbabbildungenFarbabb.,
Auflage 2011
Buch (Taschenbuch)
Buch (Taschenbuch)
Fr. 112.00
Fr. 112.00
inkl. gesetzl. MwSt.
inkl. gesetzl. MwSt.
Versandfertig innert 4 - 7 Werktagen Versandkostenfrei
Versandfertig innert 4 - 7 Werktagen
Versandkostenfrei
In den Warenkorb
Vielen Dank für Ihr Feedback!
Entschuldigung, beim Absenden Ihres Feedbacks ist ein Fehler passiert. Bitte versuchen Sie es erneut.
Ihr Feedback zur Seite
Haben Sie alle relevanten Informationen erhalten?

Kundenbewertungen

Es wurden noch keine Bewertungen geschrieben.