EditPolicy Rules

A summary of all rules used in FRaMED for EditPolicies

Configuration based rules

Unused Configuration options:

      RML_FEATURE_MODEL, ROLE_TYPES, ROLE_STRUCTURE,
      DEPENDENT, ON_COMPARTMENTS, ON_RELATIONSHIPS,
      PARTHOOD_CONSTRAINTS,
      COMPARTMENT_TYPES, COMPARTMENT_PROPERTIES, COMPARTMENT_BEHAVIOR,
      PARTICIPANTS, DATA_TYPES

Options used for pallete-configuration:

      ROLE_CONSTRAINTS, ROLE_IMPLICATION, ROLE_PROHIBITION, ROLE_EQUIVALENCE, GROUP_CONSTRAINTS,
      RELATIONSHIP_CONSTRAINTS,

Todo - müssen ausgeblendet werden:

      OCCURRENCE_CONSTRAINTS, RELATIONSHIP_CARDINALITY, INTRA_RELATIONSHIP_CONSTRAINTS

Configuration	Description	EditPolicy	Comment
PLAYABLE_BY_DEFINING_COMPARTMENT	compartment darf zu sich selbst ein fulfillment machen	1	-
CONTAINS_COMPARTMENTS	wenn man im step in view ist, dann dürfen compartments hinzugefügt werden	2	-
COMPARTMENT_PROPERTIES, COMPARTMENT_BEHAVIOR	wenn aktiviert, dann dürfen properties /operations darein gezogen werden	3	-
RELATIONSHIPS	nur wenn aktiviert dürfen RELATIONSHIPS erzeugt werden	4	-
PLAYERS (NATURALS, ROLES, COMPARTMENTS, DATES)	wenn nicht aktiviert, darf {N,R,C,D}-TYPE nicht source der Fulfillment sein	5	-
INTER_RELATIONSHIP_CONSTRAINTS	wenn nicht aktiviert, darf relationship-{implication, exclusion} nicht gezogen werden	5	-
ROLE_INHERITANCE	wenn deaktiviert, darf man keine vererbungspfeile zwischen ROLE_TYPES ziehen (nur relevant für step in)	6	-
ROLE_PROPERTIES, ROLE_BEHAVIOR	wenn deaktiviert, dann darf man keine Properties/behaviours auf ROLE_TYPES ziehen	7	-
DATA_TYPE_INHERITANCE, COMPARTMENT_INHERITANCE	dürfen zum selben Typ inheritance anwenden (erst source prüfen, dass nicht unnötig ein pfeil erzeugt werden kann)	8	canExecute wird in ORMRelationCreateCommand nicht aufgerufen

general rules

Description	Code	EditPolicy
Group may not be Target or Source of Fulfillment Relation	r1	-
Targettype of Fulfillment is Compartment	r2	-
No Rules can be added in StepOut	r3	-
If COMPARTMENT not set, then only one Role can be added.	r4	-
Inheritance is acyclic	r5	-
Inheritance is irreflexiv	r6	-
Source and Target have same type in Inheritance-Relation	r7	-
For Relationship-Relation Source and Target must be Role-Type	r8	-