Skip to content
Snippets Groups Projects
Commit b5672f02 authored by nullsub's avatar nullsub
Browse files

update editpolicy textfiles

parent 3e2dce97
No related branches found
No related tags found
No related merge requests found
Showing with 73 additions and 16 deletions
//Inheritance //Inheritance
Start Inheritance (Naturals) when IsSourceType(NaturalType); Start Inheritance (Naturals) when IsSourceType(NaturalType);
Add Inheritance (Naturals) when IsSourceType(NaturalType) and SourceEqualsTargetType(); Add Inheritance (Naturals) when IsSourceType(NaturalType) and SourceEqualsTargetType() and !SourceEqualsTarget();
Reconnect Inheritance (Naturals) when IsSourceType(NaturalType) and SourceEqualsTargetType(); Reconnect Inheritance (Naturals) when IsSourceType(NaturalType) and SourceEqualsTargetType() and !SourceEqualsTarget();
Create Inheritance (Naturals) when IsSourceType(NaturalType) and SourceEqualsTargetType() and !SourceEqualsTarget();
Execute Inheritance (true) when true; Execute Inheritance (true) when true;
Create Inheritance (true) when true;
...@@ -7,22 +7,40 @@ ...@@ -7,22 +7,40 @@
<policies action="Add" actionType="Inheritance"> <policies action="Add" actionType="Inheritance">
<featureRule xsi:type="editpolicymodel:IsFeature" featureName="Naturals"/> <featureRule xsi:type="editpolicymodel:IsFeature" featureName="Naturals"/>
<constraintRule xsi:type="editpolicymodel:AndConstraintRule"> <constraintRule xsi:type="editpolicymodel:AndConstraintRule">
<rules xsi:type="editpolicymodel:IsSourceType" type="NaturalType"/> <rules xsi:type="editpolicymodel:AndConstraintRule">
<rules xsi:type="editpolicymodel:SourceEqualsTargetType"/> <rules xsi:type="editpolicymodel:IsSourceType" type="NaturalType"/>
<rules xsi:type="editpolicymodel:SourceEqualsTargetType"/>
</rules>
<rules xsi:type="editpolicymodel:NotConstraintRule">
<rule xsi:type="editpolicymodel:SourceEqualsTarget"/>
</rules>
</constraintRule> </constraintRule>
</policies> </policies>
<policies action="Reconnect" actionType="Inheritance"> <policies action="Reconnect" actionType="Inheritance">
<featureRule xsi:type="editpolicymodel:IsFeature" featureName="Naturals"/> <featureRule xsi:type="editpolicymodel:IsFeature" featureName="Naturals"/>
<constraintRule xsi:type="editpolicymodel:AndConstraintRule"> <constraintRule xsi:type="editpolicymodel:AndConstraintRule">
<rules xsi:type="editpolicymodel:IsSourceType" type="NaturalType"/> <rules xsi:type="editpolicymodel:AndConstraintRule">
<rules xsi:type="editpolicymodel:SourceEqualsTargetType"/> <rules xsi:type="editpolicymodel:IsSourceType" type="NaturalType"/>
<rules xsi:type="editpolicymodel:SourceEqualsTargetType"/>
</rules>
<rules xsi:type="editpolicymodel:NotConstraintRule">
<rule xsi:type="editpolicymodel:SourceEqualsTarget"/>
</rules>
</constraintRule> </constraintRule>
</policies> </policies>
<policies action="Execute" actionType="Inheritance">
<featureRule xsi:type="editpolicymodel:TrueFeatureRule"/>
<constraintRule xsi:type="editpolicymodel:TrueConstraintRule"/>
</policies>
<policies actionType="Inheritance"> <policies actionType="Inheritance">
<featureRule xsi:type="editpolicymodel:IsFeature" featureName="Naturals"/>
<constraintRule xsi:type="editpolicymodel:AndConstraintRule">
<rules xsi:type="editpolicymodel:AndConstraintRule">
<rules xsi:type="editpolicymodel:IsSourceType" type="NaturalType"/>
<rules xsi:type="editpolicymodel:SourceEqualsTargetType"/>
</rules>
<rules xsi:type="editpolicymodel:NotConstraintRule">
<rule xsi:type="editpolicymodel:SourceEqualsTarget"/>
</rules>
</constraintRule>
</policies>
<policies action="Execute" actionType="Inheritance">
<featureRule xsi:type="editpolicymodel:TrueFeatureRule"/> <featureRule xsi:type="editpolicymodel:TrueFeatureRule"/>
<constraintRule xsi:type="editpolicymodel:TrueConstraintRule"/> <constraintRule xsi:type="editpolicymodel:TrueConstraintRule"/>
</policies> </policies>
......
//Inheritance or Role_Inheritance/Data_Type_Inheritance/Compartment_Inheritance //Inheritance or Role_Inheritance/Data_Type_Inheritance/Compartment_Inheritance
Start Inheritance (Compartment_Inheritance) when IsSourceType(CompartmentType); Start Inheritance (Compartment_Inheritance) when IsSourceType(CompartmentType);
Add Inheritance (Compartment_Inheritance) when IsSourceType(CompartmentType) and !SourceEqualsTarget() and SourceEqualsTargetType(); //acyclic Add Inheritance (Compartment_Inheritance) when IsSourceType(CompartmentType) and !SourceEqualsTarget() and SourceEqualsTargetType(); //acyclic
Create Inheritance (Compartment_Inheritance) when IsSourceType(CompartmentType) and !SourceEqualsTarget() and SourceEqualsTargetType(); //acyclic
\ No newline at end of file
...@@ -16,4 +16,16 @@ ...@@ -16,4 +16,16 @@
<rules xsi:type="editpolicymodel:SourceEqualsTargetType"/> <rules xsi:type="editpolicymodel:SourceEqualsTargetType"/>
</constraintRule> </constraintRule>
</policies> </policies>
<policies actionType="Inheritance">
<featureRule xsi:type="editpolicymodel:IsFeature" featureName="Compartment_Inheritance"/>
<constraintRule xsi:type="editpolicymodel:AndConstraintRule">
<rules xsi:type="editpolicymodel:AndConstraintRule">
<rules xsi:type="editpolicymodel:IsSourceType" type="CompartmentType"/>
<rules xsi:type="editpolicymodel:NotConstraintRule">
<rule xsi:type="editpolicymodel:SourceEqualsTarget"/>
</rules>
</rules>
<rules xsi:type="editpolicymodel:SourceEqualsTargetType"/>
</constraintRule>
</policies>
</editpolicymodel:Model> </editpolicymodel:Model>
//Playing_own_roles //Playing_own_roles
Start Fulfillment (Playable_by_Defining_Compartment) when IsSourceType(CompartmentType); Start Fulfillment (Playable_by_Defining_Compartment) when IsSourceType(CompartmentType);
Add Fulfillment (Playable_by_Defining_Compartment) when IsSourceType(CompartmentType) and SourceEqualsTargetType(); Add Fulfillment (Playable_by_Defining_Compartment) when IsSourceType(CompartmentType) and SourceEqualsTarget();
Create Fulfillment (Playable_by_Defining_Compartment) when IsSourceType(CompartmentType) and SourceEqualsTargetType(); Create Fulfillment (Playable_by_Defining_Compartment) when IsSourceType(CompartmentType) and SourceEqualsTarget();
Reconnect Fulfillment (Playable_by_Defining_Compartment) when IsSourceType(CompartmentType) and SourceEqualsTargetType(); Reconnect Fulfillment (Playable_by_Defining_Compartment) when IsSourceType(CompartmentType) and SourceEqualsTarget();
\ No newline at end of file \ No newline at end of file
//Inheritance or Role_Inheritance/Data_Type_Inheritance/Compartment_Inheritance //Inheritance or Role_Inheritance/Data_Type_Inheritance/Compartment_Inheritance
Start Inheritance (Data_Type_Inheritance) when IsSourceType(DataType); Start Inheritance (Data_Type_Inheritance) when IsSourceType(DataType);
Add Inheritance (Data_Type_Inheritance) when IsSourceType(DataType) and !SourceEqualsTarget() and SourceEqualsTargetType(); // check acyclic Add Inheritance (Data_Type_Inheritance) when IsSourceType(DataType) and !SourceEqualsTarget() and SourceEqualsTargetType(); // check acyclic
Reconnect Inheritance (Data_Type_Inheritance) when IsSourceType(DataType) and !SourceEqualsTarget() and SourceEqualsTargetType(); // check acyclic Reconnect Inheritance (Data_Type_Inheritance) when IsSourceType(DataType) and !SourceEqualsTarget() and SourceEqualsTargetType();
\ No newline at end of file Create Inheritance (Data_Type_Inheritance) when IsSourceType(DataType) and !SourceEqualsTarget() and SourceEqualsTargetType(); // check acyclic // check acyclic
\ No newline at end of file
...@@ -28,4 +28,16 @@ ...@@ -28,4 +28,16 @@
<rules xsi:type="editpolicymodel:SourceEqualsTargetType"/> <rules xsi:type="editpolicymodel:SourceEqualsTargetType"/>
</constraintRule> </constraintRule>
</policies> </policies>
<policies actionType="Inheritance">
<featureRule xsi:type="editpolicymodel:IsFeature" featureName="Data_Type_Inheritance"/>
<constraintRule xsi:type="editpolicymodel:AndConstraintRule">
<rules xsi:type="editpolicymodel:AndConstraintRule">
<rules xsi:type="editpolicymodel:IsSourceType" type="DataType"/>
<rules xsi:type="editpolicymodel:NotConstraintRule">
<rule xsi:type="editpolicymodel:SourceEqualsTarget"/>
</rules>
</rules>
<rules xsi:type="editpolicymodel:SourceEqualsTargetType"/>
</constraintRule>
</policies>
</editpolicymodel:Model> </editpolicymodel:Model>
//Inheritance or Role_Inheritance/Data_Type_Inheritance/Compartment_Inheritance //Inheritance or Role_Inheritance/Data_Type_Inheritance/Compartment_Inheritance
Start Inheritance (Role_Inheritance) when IsSourceType(RoleType); Start Inheritance (Role_Inheritance) when IsSourceType(RoleType);
Add Inheritance (Role_Inheritance) when IsSourceType(RoleType) and !SourceEqualsTarget() and SourceEqualsTargetType(); //TODO, check acyclic Add Inheritance (Role_Inheritance) when IsSourceType(RoleType) and !SourceEqualsTarget() and SourceEqualsTargetType(); //TODO, check acyclic
Reconnect Inheritance (Role_Inheritance) when IsSourceType(RoleType) and !SourceEqualsTarget() and SourceEqualsTargetType(); //TODO, check acyclic Reconnect Inheritance (Role_Inheritance) when IsSourceType(RoleType) and !SourceEqualsTarget() and SourceEqualsTargetType();
\ No newline at end of file Create Inheritance (Role_Inheritance) when IsSourceType(RoleType) and !SourceEqualsTarget() and SourceEqualsTargetType(); //TODO, check acyclic //TODO, check acyclic
\ No newline at end of file
...@@ -28,4 +28,16 @@ ...@@ -28,4 +28,16 @@
<rules xsi:type="editpolicymodel:SourceEqualsTargetType"/> <rules xsi:type="editpolicymodel:SourceEqualsTargetType"/>
</constraintRule> </constraintRule>
</policies> </policies>
<policies actionType="Inheritance">
<featureRule xsi:type="editpolicymodel:IsFeature" featureName="Role_Inheritance"/>
<constraintRule xsi:type="editpolicymodel:AndConstraintRule">
<rules xsi:type="editpolicymodel:AndConstraintRule">
<rules xsi:type="editpolicymodel:IsSourceType" type="RoleType"/>
<rules xsi:type="editpolicymodel:NotConstraintRule">
<rule xsi:type="editpolicymodel:SourceEqualsTarget"/>
</rules>
</rules>
<rules xsi:type="editpolicymodel:SourceEqualsTargetType"/>
</constraintRule>
</policies>
</editpolicymodel:Model> </editpolicymodel:Model>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment