-
Notifications
You must be signed in to change notification settings - Fork 0
Validation rules
Istvan DAVID edited this page Jun 30, 2021
·
4 revisions
The following rules are used to determine the validity (well-formedness) of the FTG and the Process models.
- Unnamed Formalism (Error)
- Unnamed Transformation (Error)
- Formalism name not unique (Error)
- Transformation name not unique (Error)
- Untyped activity (Warning)
- Untyped artifact (Warning)
- Untyped compound activity (Warning)
- Dangling edges (Error) - enforced by design
- No init node (Error)
- No final node (Error)
- No activity in the process (Error)
- Detached init node (Error)
- Detached final node (Error)
- Detached activity (Error)
- Inconsistently typed object flow (Error)