Quality Assurance for Information System UNICAM

QAIS

0.0 (0)

Kartei Details

Karten	26
Sprache	English
Kategorie	Informatik
Stufe	Universität
Erstellt / Aktualisiert	08.02.2022 / 08.02.2022
Lizenzierung	Keine Angabe
Weblink	https://card2brain.ch/box/20220208_quality_assurance_for_information_system_unicam
Einbinden	<iframe src="https://card2brain.ch/box/20220208_quality_assurance_for_information_system_unicam/embed" width="780" height="150" scrolling="no" frameborder="0"></iframe>

Flip-Modus

What are the 3 quality aspects of BPMN models

- Semantic Quality

- Syntactic Quality

- Pragmatic Quality

What are the the elements of syntactic quality?

Structural and Behaviroal Correctness

What are the the elements of semantic quality?

The validity and completness of the model

What are the the elements of pragmatic quality?

Understandability

Maintainablity

Learning

Syntactic Quality -> Verficiation

To what does it refer?

Comformance of a process model to the syntactic rules of the language used

A model is only of high syntactic quality if it ?

is structurally and behaviorally correct

Strcutral correctness -> is only correctr if it satisfies?

Element-level rules:
- E.g., Activities must have at least one incoming and one outgoing sequence flow
- start events must not have incoming arcs, end events must not have outgoing arcs
Model-level rules:
- All flow nodes must be on a path from a start to an end event
  - E.g., no dangling arcs or disconnected nodes
  - Implies that a model should have at least one start and one end event

Behaviroal Correctness (Soundness) is satisfied if ?

A model is sound if it satisfies the following behavioral rules:

Option to complete: Any running process instance must eventually complete
Proper Completion: at the moment of completion, each token of the process instance should be in a different end event
No dead activities: Any activity can be executed in at least one process instance.