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	p1	-
CONTAINS_COMPARTMENTS	wenn man im step in view ist, dann dürfen compartments hinzugefügt werden	p2	-
COMPARTMENT_PROPERTIES, COMPARTMENT_BEHAVIOR	wenn aktiviert, dann dürfen properties /operations darein gezogen werden	p3	-
RELATIONSHIPS	nur wenn aktiviert dürfen RELATIONSHIPS erzeugt werden	p4	-
PLAYERS (NATURALS, ROLES, COMPARTMENTS, DATES)	wenn nicht aktiviert, darf {N,R,C,D}-TYPE nicht source der Fulfillment sein	p5	-
INTER_RELATIONSHIP_CONSTRAINTS	wenn nicht aktiviert, darf relationship-{implication, exclusion} nicht gezogen werden	p6	-
ROLE_INHERITANCE	wenn deaktiviert, darf man keine vererbungspfeile zwischen ROLE_TYPES ziehen (nur relevant für step in)	p7	-
ROLE_PROPERTIES, ROLE_BEHAVIOR	wenn deaktiviert, dann darf man keine Properties/behaviours auf ROLE_TYPES ziehen	p8	-
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)	p9	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	-