Synopsis "Umwandlung von BPMN in REO-Modellierung (in German)"

Heutige Softwaresysteme werden immer umfangreicher. Dies macht die Verifizierung und Validierung dieser Systeme zu einer immer schwierigeren Aufgabe. Nicht nur die Grö e der Systeme nimmt zu, es müssen auch immer mehr Funktionen und Formalismen entwickelt und unterstützt werden, um reale Anwendungen zu modellieren und zu analysieren. Jedes System wird in Form eines Modells dargestellt. Es gibt viele Modellierungsnotationen wie BPMN (Business Process Modeling Notation), UML, BPEL (Business Process Execution Language) usw. BPMN selbst ist in der Lage, alle Aspekte eines bestimmten gro en Geschäftsprozesses darzustellen. Daher ist BPMN ein aufkommender Standard für die Darstellung von Geschäftsprozessen und indirekt von Softwaresystemen. BPMN ist eine visuelle Prozessmodellierungsnotation, die von Geschäftsanalysten leicht verstanden werden kann. Allerdings hinkt BPMN der formalen Semantik von Systemen hinterher. Zum Zeitpunkt der Verifizierung eines bestimmten Systems reichen solche Modellierungsnotationen nicht aus, um die semantische Korrektheit des Systems zu gewährleisten. Zur Verifizierung und Validierung von Systemen wird das BPMN-Modell des Systems gemä dem vorgeschlagenen Ansatz in ein REO-Modell und anschlie end in eine formale Spezifikationssprache (mCLR) umgewandelt.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Umwandlung von BPMN in REO-Modellierung (in German) - Kasar, Pankaj E.

Synopsis "Umwandlung von BPMN in REO-Modellierung (in German)"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery