Remove testing files from Addis

addis/PM_Example.mvc

@@ -1,75 +0,0 @@
-Start start {
-    id = "start"
-    {Next} Exec A {
-        name = "A"
-        id = "A"
-        {Next} Fork fork_1 {
-            {Next} Exec B {
-                name = "A"
-                id = "A"
-            }
-            {Next} Exec C {
-                name = "C"
-                id = "C"
-            }
-            {Next} Exec E {
-                name = "E"
-                id = "E"
-                {Produces} Data data {
-                    id = "data"
-                    name = "True"
-                    type = "Boolean"
-                }
-            }
-        }
-    }
-}
-Join join_1 {
-    id = "join_1"
-}
-Join join_2 {
-    id = "join_2"
-}
-Next (B,join_1){
-    id = "B_join_1"
-}
-Next (C,join_1){
-    id = "C_join_1"
-}
-Exec D {
-    name = "D"
-    id = "D"
-}
-Next (join_1, D){
-    id = "join_1_D"
-}
-Next (D, join_2){
-    id = "D_join_2"
-}
-Next (E, join_2){
-    id = "E_join_2"
-}
-Exec F {
-    name = "F"
-    id = "F"
-}
-Decision decision_1 {
-    id = "decision_1"
-}
-DecisionConsumes (decision_1, data) {
-    id = "decision_1_data"
-}
-Next (F, decision_1){
-    id = "F_decision_1"
-}
-Next (decision_1, A){
-    id = "decision_1_A"
-    value = "True"
-}
-Finish end {
-    id = "finish"
-}
-Next (decision_1, end){
-    id = "decision_1_end"
-    value = "False"
-}

addis/PM_MetaModel.mvc

@@ -1,164 +0,0 @@
-include "primitives.alh"
-include "object_operations.alh"
-include "modelling.alh"
-
-SimpleAttribute String {}
-SimpleAttribute MvCName {
-    constraint = $
-        String function constraint(model : Element, name : String):
-            if (bool_not(is_physical_string(model["model"][name]))):
-                return "MvCName has no string value"!
-            else:
-                return "OK"!
-        $
-}
-SimpleAttribute Natural {
-    constraint =$
-    String function constraint(model: Element, id: String):
-        if (bool_not(is_physical_int(model["model"][id]))):
-            return "Natural has no integer value at " + id!
-        elif (integer_lt(model["model"][id], 0)):
-            return "Natural does not have a positive or zero value at " + id!
-        else:
-            return "OK"!
-     $
-}
-Class Model {
-    items_creation_order ?: String
-    SCCD_id : String
-}
-Class Activity {
-    id : String
-}
-Class Edge {
-    id : String
-}
-Class Start : Activity {
-    lower_cardinality = 1
-    upper_cardinality = 1
-}
-Class Finish : Activity {
-    lower_cardinality = 1
-    constraint = $
-        String function constraint(model : Element, name : String):
-            Element incoming_edges
-            incoming_edges = allIncomingAssociationInstances(model, name, "Next")
-            if list_len(incoming_edges) !=1:
-                return "A finish node should have exactly one incoming control-flow at " + name!
-            else:
-                return "OK"!
-        $
-}
-Class Fork : Activity {
-    constraint = $
-        String function constraint(model : Element, name : String):
-            Element incoming_edges
-            incoming_edges = allIncomingAssociationInstances(model, name, "Next")
-            if list_len(incoming_edges) <1:
-                return "A Fork node should have at-least one incoming control-flow at " + name!
-            else:
-                return "OK"!
-        $
-}
-Class Join : Activity {
-    constraint = $
-        String function constraint(model : Element, name : String):
-            Element incoming_edges
-            Element source
-            String type
-            incoming_edges = allIncomingAssociationInstances(model, name, "Next")
-            if list_len(incoming_edges) >0:
-                Integer i
-                i = 0
-                while i < list_len (incoming_edges):
-                    source = readAssociationSource(model, list_read(incoming_edges, i))
-                    type = read_type(model, source)
-                    if type == "Start":
-                        return "A join node can not have a Start node as an incoming flow at "+name!
-            if list_len(incoming_edges) <2:
-                return "A Join node should have at least two incoming control flows at " + name!
-            else:
-                return "OK"!
-        $
-}
-Class Decision : Activity {
-    constraint = $
-        String function constraint(model : Element, name : String):
-            Element incoming_edges
-            incoming_edges = allIncomingAssociationInstances(model, name, "Next")
-            if list_len(incoming_edges) <1:
-                return "A Decision node should have at least one incoming control-flows at " + name!
-            else:
-                return "OK"!
-        $
-}
-Class Exec : Activity {
-    name : MvCName
-    sccd_class_id ?: String
-    lower_cardinality = 1
-    constraint = $
-        String function constraint(model : Element, name : String):
-            Element incoming_edges
-            incoming_edges = allIncomingAssociationInstances(model, name, "Next")
-            if list_len(incoming_edges) <1:
-                return "An Executable node should have at-least one incoming control-flow at " + name!
-            else:
-                return "OK"!
-        $
-}
-Class Data {
-    id : String
-    name : MvCName
-    type : MvCName
-}
-
-Association Produces : Edge (Exec, Data) {
-    source_lower_cardinality = 1
-}
-Association Consumes : Edge (Exec, Data) {}
-Association DecisionConsumes : Edge (Decision, Data) {
-    target_lower_cardinality = 1
-    target_upper_cardinality = 1
-}
-Association Next : Edge (Activity, Activity) {
-    value ?: MvCName
-}
-Association S2A : Next(Start, Activity){
-    target_lower_cardinality = 1
-    target_upper_cardinality = 1
-}
-Association E2A : Next(Exec, Activity){
-    target_lower_cardinality = 1
-    target_upper_cardinality = 1
-}
-Association F2A : Next(Fork, Activity){
-    target_lower_cardinality = 2
-}
-Association J2A : Next(Join, Activity){
-    target_lower_cardinality = 1
-    target_upper_cardinality = 1
-}
-Association D2A : Next(Decision, Activity){
-    target_lower_cardinality = 2
-}
-
-Class CanvasPosition{
-    x1: Natural
-    y1: Natural
-    x2 ?: Natural
-    y2 ?: Natural
-}
-Association activity_position (Activity, CanvasPosition){}
-Association data_position (Data, CanvasPosition){}
-Association produces_positions (Produces, CanvasPosition){
-    order: Natural
-}
-Association consumes_positions (Consumes, CanvasPosition){
-    order: Natural
-}
-Association decision_consumes_positions (DecisionConsumes, CanvasPosition){
-    order: Natural
-}
-Association next_positions (Next, CanvasPosition){
-    order: Natural
-}

addis/PM_example2.mvc

@@ -1,97 +0,0 @@
-Start start {
-    id = "start"
-}
-Exec A {
-    name = "A"
-    id = "A"
-}
-S2A (start, A){
-    id ="start_A"
-}
-Fork fork_1 {
-    id = "fork_1"
-}
-E2A (A, fork_1){
-    id = "A_fork_1"
-}
-Exec B {
-    name = "B"
-    id = "B"
-}
-Exec C {
-    name = "C"
-    id = "C"
-}
-Exec E {
-    name = "E"
-    id = "E"
-}
-F2A (fork_1, B){
-    id = "fork_1_B"
-}
-F2A (fork_1, C){
-    id = "fork_1_C"
-}
-F2A (fork_1, E){
-    id = "fork_1_E"
-}
-Data data {
-    id = "data"
-    name = "bool"
-    type = "Boolean"
-}
-Produces (E, data){
-    id = "E_data"
-}
-Join join_1 {
-    id = "join_1"
-}
-Join join_2 {
-    id = "join_2"
-}
-E2A (B,join_1){
-    id = "B_join_1"
-}
-E2A (C,join_1){
-    id = "C_join_1"
-}
-Exec D {
-    name = "D"
-    id = "D"
-}
-J2A (join_1, D){
-    id = "join_1_D"
-}
-E2A (D, join_2){
-    id = "D_join_2"
-}
-E2A (E, join_2){
-    id = "E_join_2"
-}
-Exec F {
-    name = "F"
-    id = "F"
-}
-J2A (join_2, F){
-    id = "join_2_f"
-}
-Decision decision_1 {
-    id = "decision_1"
-}
-DecisionConsumes (decision_1, data) {
-    id = "decision_1_data"
-}
-E2A (F, decision_1){
-    id = "F_decision_1"
-}
-D2A (decision_1, A){
-    id = "decision_1_A"
-    value = "True"
-}
-Finish end {
-    id = "finish"
-}
-D2A (decision_1, end){
-    id = "decision_1_end"
-    value = "False"
-}

addis/SCCD_Example.mvc

@@ -1,406 +0,0 @@
-include "primitives.alh"
-Diagram SCCD_my_PM {
-    name = "SCCD example "
-    {diagram_classes} Class A {
-        name = "A"
-        constructor_body = $
-            Void function constructor(attributes : Element, parameters : Element):
-                dict_add(attributes, "id", '')
-                dict_add(attributes, "parent_id", '')
-                return !
-        $
-        {behaviour} CompositeState root_a {
-            name = "main"
-            isInitial = True
-            {composite_children} BasicState initial_a {
-                name = "Init"
-                isInitial = True
-            }
-            {composite_children} BasicState running_a {
-                name = "Running"
-                isInitial = False
-            }
-            {composite_children} BasicState done_a {
-                name = "Done"
-                isInitial = False
-            }
-        }
-    }
-    {diagram_classes} Class B {
-        name = "B"
-        constructor_body = $
-            Void function constructor(attributes : Element, parameters : Element):
-                dict_add(attributes, "id", '')
-                dict_add(attributes, "parent_id", '')
-                return !
-        $
-        {behaviour} CompositeState root_b {
-            name = "main"
-            isInitial = True
-            {composite_children} BasicState initial_b {
-                name = "Init"
-                isInitial = True
-            }
-            {composite_children} BasicState running_b {
-                name = "Running"
-                isInitial = False
-            }
-            {composite_children} BasicState done_b {
-                name = "Done"
-                isInitial = False
-            }
-        }
-    }
-    {diagram_classes} Class C {
-        name = "C"
-        constructor_body = $
-            Void function constructor(attributes : Element, parameters : Element):
-                dict_add(attributes, "id", '')
-                dict_add(attributes, "parent_id", '')
-                return !
-        $
-        {behaviour} CompositeState root_c {
-            name = "main"
-            isInitial = True
-            {composite_children} BasicState initial_c {
-                name = "Init"
-                isInitial = True
-            }
-            {composite_children} BasicState running_c {
-                name = "Running"
-                isInitial = False
-            }
-            {composite_children} BasicState done_c {
-                name = "Done"
-                isInitial = False
-            }
-        }
-    }
-    {diagram_classes} Class E {
-        name = "E"
-        constructor_body = $
-            Void function constructor(attributes : Element, parameters : Element):
-                dict_add(attributes, "id", '')
-                dict_add(attributes, "parent_id", '')
-                return !
-        $
-        {behaviour} CompositeState root_e {
-            name = "main"
-            isInitial = True
-            {composite_children} BasicState initial_e {
-                name = "Init"
-                isInitial = True
-            }
-            {composite_children} BasicState running_e {
-                name = "Running"
-                isInitial = False
-                {onEntryRaise} Raise {
-                    event = "save"
-                    scope = "narrow"
-                    target = $
-                        Element function raise(attributes : Element):
-                            return attributes["parent_id"]!
-                        $
-                    parameter = $
-                        Element function raise(attributes : Element):
-                            Element result
-                            result = list_create()
-                            list_append(result, "bool")
-                            list_append(result, "E")
-                            return result!
-                    $
-                }
-            }
-            {composite_children} BasicState done_e {
-                name = "Done"
-                isInitial = False
-            }
-        }
-    }
-    {diagram_classes} Class D {
-        name = "D"
-        constructor_body = $
-            Void function constructor(attributes : Element, parameters : Element):
-                dict_add(attributes, "id", '')
-                dict_add(attributes, "parent_id", '')
-                return !
-        $
-        {behaviour} CompositeState root_d {
-            name = "main"
-            isInitial = True
-            {composite_children} BasicState initial_d {
-                name = "Init"
-                isInitial = True
-            }
-            {composite_children} BasicState running_d {
-                name = "Running"
-                isInitial = False
-            }
-            {composite_children} BasicState done_d {
-                name = "Done"
-                isInitial = False
-            }
-        }
-    }
-    {diagram_classes} Class F {
-        name = "F"
-        constructor_body = $
-            Void function constructor(attributes : Element, parameters : Element):
-                dict_add(attributes, "id", '')
-                dict_add(attributes, "parent_id", '')
-                return !
-        $
-        {behaviour} CompositeState root_f {
-            name = "main"
-            isInitial = True
-            {composite_children} BasicState initial_f {
-                name = "Init"
-                isInitial = True
-            }
-            {composite_children} BasicState running_f {
-                name = "Running"
-                isInitial = False
-            }
-            {composite_children} BasicState done_f {
-                name = "Done"
-                isInitial = False
-            }
-        }
-    }
-
-}
-transition (initial_a, running_a){
-    event = "set_id"
-    script = $
-            Void function script(attributes : Element, parameters : Element):
-                dict_overwrite(attributes, "id", parameters[0])
-                dict_overwrite(attributes, "parent_id", parameters[1])
-                log("CREATED ---- A")
-                return!
-        $
-}
-transition (running_a, done_a){
-    after = $
-            Float function after(attributes : Element):
-                return 0.5!
-        $
-    script = $
-            Void function script(attributes : Element, parameters : Element):
-                log("FINISHED ---- A")
-                return!
-        $
-    {transition_raises} Raise {
-        scope = "narrow"
-        event = "terminated"
-        target = $
-            String function raise(attributes : Element):
-                return attributes["parent_id"]!
-            $
-        parameter = $
-            Element function raise(attributes : Element, parameters : Element):
-                Element result
-                result = list_create()
-                list_append(result, 'A')
-                return result!
-        $
-    }
-    {transition_raises} Raise {
-        scope = "cd"
-        event = "delete_instance"
-        parameter = $
-            Element function raise(attributes : Element, parameters : Element):
-                Element result
-                result = list_create()
-                list_append(result, attributes["id"])
-                return result!
-        $
-    }
-}
-transition (initial_b, running_b){
-    event = "set_id"
-    script = $
-        Void function script(attributes : Element, parameters : Element):
-            dict_overwrite(attributes, "id", parameters[0])
-            dict_overwrite(attributes, "parent_id", parameters[1])
-            log("CREATED ---- B")
-            return!
-    $
-}
-transition (running_b, done_b){
-    after = $
-        Float function after(attributes : Element):
-            return 0.9!
-    $
-    script = $
-        Void function script(attributes : Element, parameters : Element):
-            log("FINISHED ---- B")
-            return!
-    $
-    {transition_raises} Raise {
-        scope = "narrow"
-        event = "terminated"
-        target = $
-            Element function raise(attributes : Element):
-                return attributes["parent_id"]!
-            $
-        parameter = $
-            Element function raise(attributes : Element, parameters : Element):
-                Element result
-                result = list_create()
-                list_append(result, 'B')
-                return result!
-        $
-    }
-    {transition_raises} Raise {
-        scope = "cd"
-        event = "delete_instance"
-        parameter = $
-            Element function raise(attributes : Element, parameters : Element):
-                Element result
-                result = list_create()
-                list_append(result, attributes["id"])
-                return result!
-        $
-    }
-}
-transition (initial_c, running_c){
-    event = "set_id"
-    script = $
-        Void function script(attributes : Element, parameters : Element):
-            dict_overwrite(attributes, "id", parameters[0])
-            dict_overwrite(attributes, "parent_id", parameters[1])
-            log("CREATED ---- C")
-            return!
-    $
-}
-transition (running_c, done_c){
-    after = $
-        Float function after(attributes : Element):
-            return 0.5!
-    $
-    script = $
-        Void function script(attributes : Element, parameters : Element):
-            log("FINISHED ---- C")
-            return!
-    $
-    {transition_raises} Raise {
-        scope = "narrow"
-        event = "terminated"
-        target = $
-            Element function raise(attributes : Element):
-                return attributes["parent_id"]!
-            $
-        parameter = $
-            Element function raise(attributes : Element, parameters : Element):
-                Element result
-                result = list_create()
-                list_append(result, "C")
-                return result!
-        $
-    }
-    {transition_raises} Raise {
-        scope = "cd"
-        event = "delete_instance"
-        parameter = $
-            Element function raise(attributes : Element, parameters : Element):
-                Element result
-                result = list_create()
-                list_append(result, attributes["id"])
-                return result!
-        $
-    }
-}
-transition (initial_e, running_e){
-    event = "set_id"
-    script = $
-        Void function script(attributes : Element, parameters : Element):
-            dict_overwrite(attributes, "id", parameters[0])
-            dict_overwrite(attributes, "parent_id", parameters[1])
-            log("CREATED ---- E")
-            return!
-    $
-}
-transition (running_e, done_e){
-    after = $
-        Float function after(attributes : Element):
-            return 0.5!
-    $
-    script = $
-        Void function script(attributes : Element, parameters : Element):
-            log("FINISHED ---- E")
-            return!
-    $
-    {transition_raises} Raise {
-        scope = "narrow"
-        event = "terminated"
-        target = $
-            Element function raise(attributes : Element):
-                return attributes["parent_id"]!
-            $
-        parameter = $
-            Element function raise(attributes : Element, parameters : Element):
-                Element result
-                result = list_create()
-                list_append(result, "E")
-                return result!
-        $
-    }
-    {transition_raises} Raise {
-        scope = "cd"
-        event = "delete_instance"
-        parameter = $
-            Element function raise(attributes : Element, parameters : Element):
-                Element result
-                result = list_create()
-                list_append(result, attributes["id"])
-                return result!
-        $
-    }
-}
-transition (initial_f, running_f){
-    event = "set_id"
-    script = $
-        Void function script(attributes : Element, parameters : Element):
-            dict_overwrite(attributes, "id", parameters[0])
-            dict_overwrite(attributes, "parent_id", parameters[1])
-            log("CREATED ---- F")
-            return!
-    $
-}
-transition (running_f, done_f){
-    after = $
-            Float function after(attributes : Element):
-                return 0.5!
-        $
-    script = $
-            Void function script(attributes : Element, parameters : Element):
-                log("FINISHED ---- F")
-                return!
-        $
-    {transition_raises} Raise {
-        scope = "narrow"
-        event = "terminated"
-        target = $
-            Element function raise(attributes : Element):
-                return attributes["parent_id"]!
-            $
-        parameter = $
-            Element function raise(attributes : Element, parameters : Element):
-                Element result
-                result = list_create()
-                list_append(result, attributes['id'])
-                return result!
-        $
-    }
-    {transition_raises} Raise {
-        scope = "cd"
-        event = "delete_instance"
-        parameter = $
-            Element function raise(attributes : Element, parameters : Element):
-                Element result
-                result = list_create()
-                list_append(result, attributes["id"])
-                return result!
-        $
-    }
-}

addis/SCCD_MetaModel.mvc

@@ -1,271 +0,0 @@
-include "primitives.alh"
-include "object_operations.alh"
-include "modelling.alh"
-
-SimpleAttribute Action {}
-SimpleAttribute Neutral {}
-SimpleAttribute Boolean {
-    constraint = $
-    String function constraint(model: Element, id: String):
-        if (bool_not(is_physical_boolean(model["model"][id]))):
-            return "Boolean has no boolean value at " + id!
-        else:
-            return "OK"!
-    $
-}
-SimpleAttribute String {
-    constraint = $
-    String function constraint(model: Element, id: String):
-        if (bool_not(is_physical_string(model["model"][id]))):
-            return "String has no string value at " + id!
-        else:
-            return "OK"!
-    $
-}
-SimpleAttribute Natural {
-    constraint =$
-    String function constraint(model: Element, id: String):
-        if (bool_not(is_physical_int(model["model"][id]))):
-            return "Natural has no integer value at " + id!
-        elif (integer_lt(model["model"][id], 0)):
-            return "Natural does not have a positive or zero value at " + id!
-        else:
-            return "OK"!
-     $
-}
-SimpleAttribute PositiveFloat {
-    constraint =$
-    String function constraint(model: Element, id: String):
-        if (bool_not(is_physical_float(model["model"][id]))):
-            return "PositiveFloat has no float value at " + id!
-        elif (integer_lt(model["model"][id], 0)):
-            return "PositiveFloat does not have a positive or zero value at " + id!
-        else:
-            return "OK"!
-     $
-}
-SimpleAttribute EventScope {
-    constraint =$
-    String function constraint(model: Element, id: String):
-        String self
-        self = model["model"][id]
-        if (bool_not(is_physical_string(self))):
-            return "EventScope has no string value at " + id!
-        elif (bool_and(bool_and(bool_and(self != "broad", self != "cd"), bool_and(self != "narrow", self != "output")), self != "local")):
-            return "EventScope can be either 'local', 'broad', 'cd', 'narrow' or 'output' and it does not have a proper value at " + id!
-        else:
-            return "OK"!
-    $
-}
-
-Class Diagram{
-    name : String
-    author ?: String
-    description ?: String
-    top ?: String
-    class_reference_items ?: String
-    lower_cardinality = 1
-    upper_cardinality = 1
-}
-Class Inport{
-    name: String
-}
-Class Outport{
-    name: String
-}
-Association diagram_inports(Diagram, Inport){}
-Association diagram_outports(Diagram, Outport){}
-
-Class Class{
-    name : String
-    constructor_body ?: Action
-    destructor ?: Action
-    default ?: Boolean
-    external ?: Boolean
-    class_behaviour_items ?: String
-}
-Association diagram_classes(Diagram, Class){
-    target_lower_cardinality = 1
-}
-
-Class Attribute{
-    name : String
-    type ?: String
-}
-Association class_attributes(Class, Attribute){}
-
-Class Method{
-    name : String
-    body : Action
-    return_type ?: String
-}
-
-Class FormalParameter{
-    name: String
-    type ?: String
-    default ?: String
-}
-Association method_parameters(Method, FormalParameter){}
-Association class_methods(Class, Method){}
-Association class_constructor_parameters(Class, FormalParameter){}
-
-Class CanvasPosition{
-    x1: Natural
-    y1: Natural
-    x2 ?: Natural
-    y2 ?: Natural
-}
-Association class_ref_position(Class, CanvasPosition){
-    target_upper_cardinality = 1
-}
-Association class_beh_position(Class, CanvasPosition){
-    target_upper_cardinality = 1
-}
-
-Association association(Class, Class){
-    name : String
-    min ?: Natural
-    max ?: Natural
-    source_upper_cardinality = 1
-}
-Association association_positions(association, CanvasPosition){
-    order: Natural
-}
-
-Association inheritance(Class, Class){
-    priority ?: Natural
-    source_upper_cardinality = 1
-}
-
-Class SuperClassConstructorParameter{
-    value : Neutral
-}
-Association inheritance_parent_constructor_parameters(inheritance, SuperClassConstructorParameter){
-    order : Natural
-}
-Association inheritance_positions(inheritance, CanvasPosition){
-    order: Natural
-}
-
-Class State{
-    name : String
-    state_reference_path ?: String
-}
-Association state_position(State, CanvasPosition){
-    target_upper_cardinality = 1
-}
-
-Class BasicState : State{
-    isInitial ?: Boolean
-    onEntryScript ?: Action
-    onExitScript ?: Action
-}
-
-Class ActualParameter{
-    exp: String
-}
-
-Class Raise{
-    event: String
-    scope ?: EventScope
-    port ?: String
-    target ?: String
-    parameter ?: Action
-}
-Association raise_parameters(Raise, ActualParameter){
-    order : Natural
-}
-Association onEntryRaise(BasicState, Raise){
-    order : Natural
-}
-Association onExitRaise(BasicState, Raise){
-    order ?: Natural
-}
-
-Class CompositeState : BasicState{}
-Association composite_children(CompositeState, State){
-    source_upper_cardinality = 1
-}
-Association behaviour(Class, CompositeState){
-    target_lower_cardinality = 1
-    target_upper_cardinality = 1
-}
-Association behaviour_positions(behaviour, CanvasPosition){
-    order: Natural
-}
-
-Class ParallelState : BasicState{}
-Association parallel_children(ParallelState, CompositeState){
-    source_upper_cardinality = 1
-}
-
-Class HistoryState : State{
-    type : String
-}
-
-Association transition(State, State){
-    name ?: String
-    cond ?: Action
-    script ?: Action
-    after ?: Action
-    event ?: String
-    port ?: String
-    source_upper_cardinality = 1
-}
-Association transition_parameters(transition, FormalParameter){
-    order : Natural
-}
-Association transition_raises(transition, Raise){
-    order : Natural
-}
-Association transition_positions(transition, CanvasPosition){
-    order: Natural
-}
-
-GlobalConstraint {
-        global_constraint = $
-            String function constraint(model : Element):
-                Element composite_states
-                Element parallel_states
-                Element children
-                String state
-                String child
-                String name
-                Boolean CompInitialFound
-                Element encountered_names
-
-                composite_states = allInstances(model, "CompositeState")
-                parallel_states = allInstances(model, "ParallelState")
-
-                while (list_len(composite_states) >0):
-                    CompInitialFound = False
-                    encountered_names = create_node()
-                    state = set_pop(composite_states)
-                    children = allAssociationDestinations(model, state, "composite_children")
-                    while (list_len(children)>0):
-                        child = set_pop(children)
-                        name = read_attribute(model, child, 'name')
-                        if (set_in(encountered_names, name)):
-                            return "Unique state identifier names on the same level/parent violated"!
-                        else:
-                            set_add(encountered_names, name)
-                        if bool_and(read_type(model, child) != 'HistoryState' , read_attribute(model, child, 'isInitial')):
-                            CompInitialFound = True
-                    if CompInitialFound == False:
-                        return "Composite state does not have an initial child state"!
-
-                while (list_len(parallel_states) >0):
-                    encountered_names = create_node()
-                    state = set_pop(parallel_states)
-                    children = allAssociationDestinations(model, state, "parallel_children")
-                    while (list_len(children)>0):
-                        child = set_pop(children)
-                        name = read_attribute(model, child, 'name')
-                        if (set_in(encountered_names, name)):
-                            return "Unique state identifier names on the same level/parent violated"!
-                        else:
-                            set_add(encountered_names, name)
-
-                return "OK"!
-        $
-    }

addis/Test_PM2SCCD.py

@@ -1,45 +0,0 @@
-import sys
-sys.path.append("wrappers")
-from  modelverse import *
-
-try:
-    init()
-    login('admin', 'admin')
-    model_add('PM', "SimpleClassDiagrams", open("addis/PM_MetaModel.mvc", "r").read())
-except Exception as e:
-    print e
-try:
-    model_add('SCCD', "SimpleClassDiagrams", open("addis/SCCD_MetaModel.mvc", "r").read())
-except Exception as e:
-    print e
-
-if "my_PM" in [i[0] for i in model_list()]:
-    model_delete("my_PM")
-model_add("my_PM", "PM", open("addis/PM_example2.mvc", 'r').read())
-print "PM instance model added"
-#print verify('my_PM')
-if "SCCD_my_PM" in [i[0] for i in model_list()]:
-    model_delete("SCCD_my_PM")
-model_add("SCCD_my_PM", "SCCD", open("addis/SCCD_Example.mvc", 'r').read())
-print "SCCD instance model added"
-print verify('SCCD_my_PM')
-
-def Activity2State():
-    instantiate(None, "Association", ("PM/Activity", "SCCD/CompositeState"), ID="Activity2State_link")
-print "before mt_add"
-print transformation_add_MT({"PM":"PM","SCCD":"SCCD"}, {"SCCD":"SCCD"}, "PM2SCCD", open("addis/PM_to_SCCD.mvc", "r").read(), Activity2State)
-print "mt_add_finished"
-print transformation_execute_MT("PM2SCCD", {"PM":"my_PM", "SCCD":"SCCD_my_PM"}, {"SCCD":"PM_2_SCCD_output"})
-
-alter_context("PM_2_SCCD_output", "SCCD")
-model =  element_list_nice("PM_2_SCCD_output")
-for m in model:
-    print m
-
-
-print("Upload SCCD execution semantics")
-# Add SCCD execution semantics
-transformation_add_AL({"SCCD": "SCCD"}, {}, "SCCD_execute", open("models/SCCD_execute.alc", 'r').read())
-print("DONE")
-transformation_execute_AL("SCCD_execute", {"SCCD": "PM_2_SCCD_output"}, {})
-print("Executed")