Font size
WorksheetsAnalysis_Soundness
Total questions: 7
Worksheet time: 5mins
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.
