Strukturbasierte Verifikation von BPMN-Modellen
Please select
Please note that the standard 14-day cancellation right terminates upon receiving access to the e-book.

Product description

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.

Details

  • ISBN13 9783834881625
  • Released 2011
  • Publisher Vieweg+Teubner Verlag
  • Format Elektronisk medie
  • Language German