-
Notifications
You must be signed in to change notification settings - Fork 2
EditPolicy Rules
nullsub edited this page Feb 15, 2017
·
28 revisions
A summary of all rules used in FRaMED for EditPolicies
Unused Configuration options:
RML_FEATURE_MODEL, ROLE_TYPES, ROLE_STRUCTURE,
DEPENDENT, ON_COMPARTMENTS, ON_RELATIONSHIPS,
RELATIONSHIP_CARDINALITY,PARTHOOD_CONSTRAINTS, INTER_RELATIONSHIP_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,
OCCURRENCE_CONSTRAINTS, 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 compartments spielen siehe ... | 2 | anders formuliert: wenn man nicht im stepIn ist, dann dürfen C nicht C spielen |
| COMPARTMENT_STRUCTURE | wenn aktiviert, dann dürfen properties /operations darein gezogen werden | 3 | - |
| RELATIONSHIPS, INTRA_RELATIONSHIP_CONSTRAINTS | nur wenn aktiviert dürfen RELATIONSHIPS erzeugt werden | 4 | - |
| PLAYERS (NATURALS, ROLES, COMPARTMENTS, DATES) | (von wo aus darf fulfilment gezogen werden) -> (wenn roles aktiviert, dann Compartments dürfen compartments spielen) | 5 | - |
| ROLE_INHERITANCE | man darf vererbungspfeile ziehen (nur relevant für step in) | 6 | - |
| ROLE_PROPERTIES, ROLE_BEHAVIOR | attribute/methoden dürfen aus der Pallete dahin ziehen zum entsprechenden role-type | 7 | - |
| DATA_TYPE_INHERITANCE, COMPARTMENT_INHERITANCE | dürfen zum selben Typ inheritance anwenden | 8 | canExecute wird in ORMRelationCreateCommand nicht aufgerufen |
| Description | EditPolicy | Code |
| When COMPARTMENT is not set, only RoleModel can be added | - | - |
| If Compartment c1 contains Compartment c2 then all roles in c1 can play other roles | - | - |
| when the parent of a model is a compartmenttype or a rolegroup only roletype and rolegroup instances can be added | - | - |
| when the parent of a model is a group or the model is the root model then only naturaltype, compartmenttype and group instances can be added to the model | - | - |