Analysis_Soundness

Was versteht man unter "semantischer Korrektheit" eines Prozessmodells?

• Die syntaktisch korrekte Anwendung aller BPMN-Elemente.

• Die Berücksichtigung sämtlicher Modellierungsrichtlinien.

• Das Prozessmodell enthält keine Verhaltensanomalien.

Semantische Korrektheit kann von Werkzeugen nicht geprüft werden? Richtig oder falsch?

• Falsch

• Richtig

Was eignet sich zur Untersuchung des Verhaltens und der semantischen Korrektheit von Prozessmodellen?

• Traces (Token-Metapher)

• Modellierungsrichtlinien

• Syntaxchecks

• Quantitative Analysen (Simulation)

Ein Prozessmodell hat immer nur einen gültigen Trace. Richtig oder falsch?

• Falsch

• Richtig

Soundness setzt "structural soundness" voraus. Richtig oder falsch?

• Richtig

• Falsch

A process model is structurally sound, ... (3 correct answers).

• if it has exactly one start event i (for „input“ of the process)

• it has exactly one end event o (for process „output“)

• each node in the process model is on a path from i to o

• if the process model doesn't contain a deadlock

Welche drei Aspekte umfasst die Definition von "soundness"?

• Once a process has started, regardless of which decisions are taken by the process, at some point, the process will reach the end event o.

• If and when it reaches o, the process has completely terminated, i.e., no further activities can be executed by the process anymore.

• Each process activity participates in at least one execution (in one trace).

• Each process model with multiple start events can be transformed with alternative start events to be structurally sound.