|
|
@@ -77,6 +77,91 @@ Element function create_metamodels():
|
|
|
|
|
|
export_node("models/LTM_bottom", ltm_bottom)
|
|
|
|
|
|
+ ////////////////////////////////////////////////////////////////////////////
|
|
|
+ // create PETRINET transformation metamodel
|
|
|
+ ////////////////////////////////////////////////////////////////////////////
|
|
|
+
|
|
|
+ //////////////////
|
|
|
+ // Constant part (this is what every transformation_metamodel will need)
|
|
|
+
|
|
|
+ log("constant part")
|
|
|
+ Element transform_metamodel
|
|
|
+ transform_metamodel = instantiate_model(scd)
|
|
|
+ define_inheritance(transform_metamodel, "13")
|
|
|
+ //create Transformation node with name attribute
|
|
|
+ instantiate_node(transform_metamodel, "Class", "Transformation")
|
|
|
+ instantiate_node(transform_metamodel, "Type", "String")
|
|
|
+ instantiate_named(transform_metamodel, "l5", "name", "Transformation", "String")
|
|
|
+ //create Rule node with name attribute and precedence attribute (precedence will later be replaced by explicit modelled order)
|
|
|
+ instantiate_node(transform_metamodel, "Class", "Rule")
|
|
|
+ instantiate_named(transform_metamodel, "l5", "name", "Rule", "String")
|
|
|
+ instantiate_node(transform_metamodel, "Type", "Integer")
|
|
|
+ instantiate_named(transform_metamodel, "l5", "precedence", "Rule", "Integer")
|
|
|
+ //create edge between transformation and rule
|
|
|
+ instantiate_link(transform_metamodel, "l5", "transformation_to_rule", "Transformation", "Rule")
|
|
|
+ //create precondition pattern with condition (condition is a python string of code that should be executed)
|
|
|
+ instantiate_node(transform_metamodel, "Class", "Precondition")
|
|
|
+ instantiate_named(transform_metamodel, "l5", "condition", "Precondition", "String")
|
|
|
+ //create LHS edge between rule and preconditionpattern
|
|
|
+ instantiate_link(transform_metamodel, "l5", "lhs", "Rule", "Precondition")
|
|
|
+ //create NAC edge between rule and preconditionpattern
|
|
|
+ instantiate_link(transform_metamodel, "l5", "nac", "Rule", "Precondition")
|
|
|
+ //create postcondition pattern with actions code (code is a python string of code that should be executed)
|
|
|
+ instantiate_node(transform_metamodel, "Class", "Postcondition")
|
|
|
+ instantiate_named(transform_metamodel, "l5", "code", "Postcondition", "String")
|
|
|
+ //create RHS edge between pattern and postcondition
|
|
|
+ instantiate_link(transform_metamodel, "l5", "rhs", "Rule", "Postcondition")
|
|
|
+ //general lefthandside node (contains plabel for example)
|
|
|
+ instantiate_node(transform_metamodel, "Class", "RAMgeneral")
|
|
|
+ instantiate_named(transform_metamodel, "l5", "plabel", "RAMgeneral", "Integer")
|
|
|
+ //connect RAMgeneral to precondition
|
|
|
+ instantiate_link(transform_metamodel, "l5", "pre2ram", "Precondition","RAMgeneral")
|
|
|
+ //connect RAMgeneral to postcondition
|
|
|
+ instantiate_link(transform_metamodel, "l5", "post2ram", "Postcondition", "RAMgeneral")
|
|
|
+
|
|
|
+ //////////////////
|
|
|
+ // Variable part (this is were relaxed metamodels will be inserted )
|
|
|
+ // for the moment this means that we:
|
|
|
+ // 1) copy the metamodel
|
|
|
+ // 2) Relaxation: ignore the constraints by simply not copying them (we will later on make a distinction in constraints that should or should not be respected)
|
|
|
+ // 3) Augmentation: insert for every element the plabel (now implemented by inheritance)
|
|
|
+ // 4) Modification: change attributes to string, so that python code can be inserted (later on, change to action code)
|
|
|
+ // We have a difference in LHS and RHS, as LHS will have boolean functions at attribute-level and RHS will have functions that return values for the new attributes
|
|
|
+ // As everything is executed in python code for now, there will no visible difference here except for the names.
|
|
|
+ // Later on, one might add constraints that check the return value
|
|
|
+
|
|
|
+ log("variable part lhs")
|
|
|
+ //RAMified petrinet for left hand side
|
|
|
+ instantiate_node(transform_metamodel, "Class", "Place_LHS")
|
|
|
+ instantiate_named(transform_metamodel, "l5", "tokens", "Place_LHS", "String") //modification
|
|
|
+ instantiate_node(transform_metamodel, "Class", "Transition_LHS")
|
|
|
+ instantiate_link(transform_metamodel, "l5", "P2T_LHS", "Place_LHS","Transition_LHS")
|
|
|
+ instantiate_named(transform_metamodel, "15", "weight", "P2T_LHS", "String") //modification
|
|
|
+ instantiate_link(transform_metamodel, "l5", "T2P_LHS", "Transition_LHS","Place_LHS")
|
|
|
+ instantiate_named(transform_metamodel, "15", "weight", "T2P_LHS", "String") //modification
|
|
|
+ //inheritance links
|
|
|
+ instantiate_link(transform_metamodel, "inheritance", "Place_LHS_is_RAM", "Place_LHS","RAMgeneral")
|
|
|
+ instantiate_link(transform_metamodel, "inheritance", "Transition_LHS_is_RAM", "Transition_LHS","RAMgeneral")
|
|
|
+ instantiate_link(transform_metamodel, "inheritance", "P2T_LHS_is_RAM", "P2T_LHS","RAMgeneral")
|
|
|
+ instantiate_link(transform_metamodel, "inheritance", "T2P_LHS_is_RAM", "P2T_LHS","RAMgeneral")
|
|
|
+
|
|
|
+ //RAMified petrinet for RIGHT hand side
|
|
|
+ instantiate_node(transform_metamodel, "Class", "Place_RHS")
|
|
|
+ instantiate_named(transform_metamodel, "l5", "tokens", "Place_RHS", "String") //modification
|
|
|
+ instantiate_node(transform_metamodel, "Class", "Transition_RHS")
|
|
|
+ instantiate_link(transform_metamodel, "l5", "P2T_RHS", "Place_RHS","Transition_RHS")
|
|
|
+ instantiate_named(transform_metamodel, "15", "weight", "P2T_RHS", "String") //modification
|
|
|
+ instantiate_link(transform_metamodel, "l5", "T2P_RHS", "Transition_RHS","Place_RHS")
|
|
|
+ instantiate_named(transform_metamodel, "15", "weight", "T2P_RHS", "String") //modification
|
|
|
+ //inheritance links
|
|
|
+ instantiate_link(transform_metamodel, "inheritance", "Place_RHS_is_RAM", "Place_RHS","RAMgeneral")
|
|
|
+ instantiate_link(transform_metamodel, "inheritance", "Transition_RHS_is_RAM", "Transition_RHS","RAMgeneral")
|
|
|
+ instantiate_link(transform_metamodel, "inheritance", "P2T_RHS_is_RAM", "P2T_RHS","RAMgeneral")
|
|
|
+ instantiate_link(transform_metamodel, "inheritance", "T2P_RHS_is_RAM", "P2T_RHS","RAMgeneral")
|
|
|
+
|
|
|
+ log("exporting petrinets meta transformation")
|
|
|
+ export_node("models/PetriNets_MTransformation", transform_metamodel)
|
|
|
+
|
|
|
return dict_read(dict_read(read_root(), "__hierarchy"), "models")
|
|
|
|
|
|
String function petrinet_constraints(model : Element):
|