modelverse/models/WSC/PM_to_DEVS.mvc

include "primitives.alh"
include "modelling.alh"
include "object_oeprations.alh"

Composite schedule {
    {Contains} Success success {}

    {Contains} Atomic add_resource_handler {
        LHS {}
        RHS {
            Post_CDEVS/DEVSInstance post_resource_1 {
                label = "1"
                value_name = $
                    String function value(model : Element, name : String, mapping : Element):
                        return "resource_handler"!
                    $
                value_type = $
                    String function value(model : Element, name : String, mapping : Element):
                        return "ResourceHandler"!
                    $
            }
            Post_CDEVS/InputPort post_resource_2 {
                label = "2"
                name = "resource_in"
            }
            Post_CDEVS/DEVSInstanceToPort (post_resource_1, post_resource_2) {
                label = "3"
            }
            Post_CDEVS/OutputPort post_resource_3 {
                label = "4"
                name = "resource_out"
            }
            Post_CDEVS/DEVSInstanceToPort (post_resource_1, post_resource_3) {
                label = "5"
            }
        }
    }
    
    {Contains} ForAll initial {
        LHS {
            Pre_PM/Initial pre_init_0 {
                label = "0"
            }
        }

        RHS {
            Post_PM/Initial post_init_0 {
                label = "0"
            }
            Post_CDEVS/DEVSInstance post_init_1 {
                label = "1"
                value_name = $
                    String function value(model : Element, name : String, mapping : Element):
                        return read_attribute(model, mapping["0"], "name")!
                    $
                value_type = $
                    String function value(model : Element, name : String, mapping : Element):
                        return "Initial"!
                    $
            }
            Trace (post_init_0, post_init_1) {
                label = "1"
            }

            Post_CDEVS/OutputPort post_init_2 {
                label = "2"
                name = "control_out"
            }
            Post_CDEVS/DEVSInstanceToPort (post_init_1, post_init_2) {
                label = "3"
            }
        }
    }
    
    {Contains} ForAll finish {
        LHS {
            Pre_PM/Initial pre_finish_0 {
                label = "0"
            }
        }

        RHS {
            Post_PM/Initial post_finish_0 {
                label = "0"
            }
            Post_CDEVS/DEVSInstance post_finish_1 {
                label = "1"
                value_name = $
                    String function value(model : Element, name : String, mapping : Element):
                        return read_attribute(model, mapping["0"], "name")!
                    $
                value_type = $
                    String function value(model : Element, name : String, mapping : Element):
                        return "Finish"!
                    $
            }
            Trace (post_finish_0, post_finish_1) {
                label = "2"
            }

            Post_CDEVS/InputPort post_finish_2 {
                label = "3"
                name = "control_in"
            }
            Post_CDEVS/DEVSInstanceToPort (post_finish_1, post_finish_2) {
                label = "4"
            }
        }
    }
    
    {Contains} ForAll activity {
        LHS {
            Pre_PM/Initial pre_activity_0 {
                label = "0"
            }
        }

        RHS {
            Post_PM/Initial post_activity_0 {
                label = "0"
            }
            Post_CDEVS/DEVSInstance post_activity_1 {
                label = "1"
                value_name = $
                    String function value(model : Element, name : String, mapping : Element):
                        return read_attribute(model, mapping["0"], "name")!
                    $
                value_type = $
                    String function value(model : Element, name : String, mapping : Element):
                        return "Activity"!
                    $
                value_parameters = $
                    String function value(model : Element, name : String, mapping : Element):
                        return "[" + cast_value(read_attribute(model, mapping["0"], "name")) + ", " + cast_string(read_attribute(model, mapping["0"], "distribution")) + "]"!
                    $
            }
            Trace (post_activity_0, post_activity_1) {
                label = "1"
            }

            Post_CDEVS/InputPort post_activity_2 {
                label = "2"
                name = "resource_in"
            }
            Post_CDEVS/DEVSInstanceToPort (post_activity_1, post_activity_2) {
                label = "2"
            }

            Post_CDEVS/OutputPort post_activity_3 {
                label = "3"
                name = "resource_out"
            }
            Post_CDEVS/DEVSInstanceToPort (post_activity_1, post_activity_3) {
                label = "4"
            }

            Post_CDEVS/InputPort post_activity_4 {
                label = "5"
                name = "control_in"
            }
            Post_CDEVS/DEVSInstanceToPort (post_activity_1, post_activity_4) {
                label = "6"
            }

            Post_CDEVS/OutputPort post_activity_5 {
                label = "7"
                name = "control_out"
            }
            Post_CDEVS/DEVSInstanceToPort (post_activity_1, post_activity_5) {
                label = "8"
            }
        }
    }

    {Contains} ForAll parallelsplit {
        LHS {
            Pre_PM/Initial pre_split_0 {
                label = "0"
            }
        }

        RHS {
            Post_PM/Initial post_split_0 {
                label = "0"
            }
            Post_CDEVS/DEVSInstance post_split_1 {
                label = "1"
                value_name = $
                    String function value(model : Element, name : String, mapping : Element):
                        return read_attribute(model, mapping["0"], "name")!
                    $
                value_type = $
                    String function value(model : Element, name : String, mapping : Element):
                        return "ParallelSplit"!
                    $
            }
            Trace (post_split_0, post_split_1) {
                label = "2"
            }

            Post_CDEVS/InputPort post_split_2 {
                label = "3"
                name = "control_in"
            }
            Post_CDEVS/DEVSInstanceToPort (post_split_1, post_split_2) {
                label = "4"
            }

            Post_CDEVS/OutputPort post_split_3 {
                label = "5"
                name = "control_out"
            }
            Post_CDEVS/DEVSInstanceToPort (post_split_1, post_split_3) {
                label = "6"
            }
        }
    }

    {Contains} ForAll synchronization {
        LHS {
            Pre_PM/Initial pre_sync_0 {
                label = "0"
            }
        }

        RHS {
            Post_PM/Initial post_sync_0 {
                label = "0"
            }
            Post_CDEVS/DEVSInstance post_sync_1 {
                label = "1"
                value_name = $
                    String function value(model : Element, name : String, mapping : Element):
                        return read_attribute(model, mapping["0"], "name")!
                    $
                value_type = $
                    String function value(model : Element, name : String, mapping : Element):
                        return "Synchronization"!
                    $
            }
            Trace (post_sync_0, post_sync_1) {
                label = "2"
            }

            Post_CDEVS/InputPort post_sync_2 {
                label = "3"
                name = "control_in"
            }
            Post_CDEVS/DEVSInstanceToPort (post_sync_1, post_sync_2) {
                label = "4"
            }

            Post_CDEVS/OutputPort post_sync_3 {
                label = "5"
                name = "control_out"
            }
            Post_CDEVS/DEVSInstanceToPort (post_sync_1, post_sync_3) {
                label = "6"
            }
        }
    }

    {Contains} ForAll xor {
        LHS {
            Pre_PM/Initial pre_xor_0 {
                label = "0"
            }
        }

        RHS {
            Post_PM/Initial post_xor_0 {
                label = "0"
            }
            Post_CDEVS/DEVSInstance post_xor_1 {
                label = "1"
                value_name = $
                    String function value(model : Element, name : String, mapping : Element):
                        return read_attribute(model, mapping["0"], "name")!
                    $
                value_type = $
                    String function value(model : Element, name : String, mapping : Element):
                        return "ExclusiveChoice"!
                    $
            }
            Trace (post_xor_0, post_xor_1) {
                label = "2"
            }

            Post_CDEVS/InputPort post_xor_2 {
                label = "3"
                name = "control_in"
            }
            Post_CDEVS/DEVSInstanceToPort (post_xor_1, post_xor_2) {
                label = "4"
            }

            Post_CDEVS/OutputPort post_xor_3 {
                label = "5"
                name = "control_out1"
            }
            Post_CDEVS/DEVSInstanceToPort (post_xor_1, post_xor_3) {
                label = "6"
            }
            Post_CDEVS/OutputPort post_xor_4 {
                label = "7"
                name = "control_out2"
            }
            Post_CDEVS/DEVSInstanceToPort (post_xor_1, post_xor_4) {
                label = "8"
            }
        }
    }

    {Contains} ForAll merge {
        LHS {
            Pre_PM/Initial pre_merge_0 {
                label = "0"
            }
        }

        RHS {
            Post_PM/Initial post_merge_0 {
                label = "0"
            }
            Post_CDEVS/DEVSInstance post_merge_1 {
                label = "1"
                value_name = $
                    String function value(model : Element, name : String, mapping : Element):
                        return read_attribute(model, mapping["0"], "name")!
                    $
                value_type = $
                    String function value(model : Element, name : String, mapping : Element):
                        return "SimpleMerge"!
                    $
            }
            Trace (post_merge_0, post_merge_1) {
                label = "2"
            }

            Post_CDEVS/InputPort post_merge_2 {
                label = "3"
                name = "control_in"
            }
            Post_CDEVS/DEVSInstanceToPort (post_merge_1, post_merge_2) {
                label = "4"
            }

            Post_CDEVS/OutputPort post_merge_3 {
                label = "5"
                name = "control_out"
            }
            Post_CDEVS/DEVSInstanceToPort (post_merge_1, post_merge_3) {
                label = "6"
            }
        }
    }

    {Contains} ForAll multi {
        LHS {
            Pre_PM/Initial pre_multi_0 {
                label = "0"
            }
        }

        RHS {
            Post_PM/Initial post_multi_0 {
                label = "0"
            }
            Post_CDEVS/DEVSInstance post_multi_1 {
                label = "1"
                value_name = $
                    String function value(model : Element, name : String, mapping : Element):
                        return read_attribute(model, mapping["0"], "name")!
                    $
                value_type = $
                    String function value(model : Element, name : String, mapping : Element):
                        return "MultiInstance"!
                    $
                value_parameters = $
                    String function value(model : Element, name : String, mapping : Element):
                        return "[" + cast_value(read_attribute(model, mapping["0"], "name")) + ", " + cast_string(read_attribute(model, mapping["0"], "nr_instances")) + ", " + cast_string(read_attribute(model, mapping["0"], "distribution")) + "]"!
                    $
            }
            Trace (post_multi_0, post_multi_1) {
                label = "2"
            }

            Post_CDEVS/InputPort post_multi_2 {
                label = "3"
                name = "resource_in"
            }
            Post_CDEVS/DEVSInstanceToPort (post_multi_1, post_multi_2) {
                label = "4"
            }

            Post_CDEVS/OutputPort post_multi_3 {
                label = "5"
                name = "resource_out"
            }
            Post_CDEVS/DEVSInstanceToPort (post_multi_1, post_multi_3) {
                label = "6"
            }

            Post_CDEVS/InputPort post_multi_4 {
                label = "7"
                name = "control_in"
            }
            Post_CDEVS/DEVSInstanceToPort (post_multi_1, post_multi_4) {
                label = "8"
            }

            Post_CDEVS/OutputPort post_multi_5 {
                label = "9"
                name = "control_out"
            }
            Post_CDEVS/DEVSInstanceToPort (post_multi_1, post_multi_5) {
                label = "10"
            }
        }
    }

    {Contains} ForAll map_resources_to {
        LHS {
            Pre_CDEVS/DEVSInstance pre_mrt_0 {
                label = "0"
                constraint_name = $
                    Boolean function constraint(model : Element, name : String):
                        return (cast_string(read_attribute(model, name, "type")) == "ResourceHandler")!
                    $
            }
            Pre_CDEVS/Port pre_mrt_1 {
                label = "1"
                constraint_name = $
                    Boolean function constraint(model : Element, name : String):
                        return (cast_string(read_attribute(model, name, "type")) == "resource_in")!
                    $
            }
            Pre_CDEVS/DEVSInstanceToPort (pre_mrt_0, pre_mrt_1) {
                label = "2"
            }

            Pre_CDEVS/DEVSInstance pre_mrt_2 {
                label = "3"
                constraint_name = $
                    Boolean function constraint(model : Element, name : String):
                        return (cast_string(read_attribute(model, name, "type")) != "ResourceHandler")!
                    $
            }
            Pre_CDEVS/Port pre_mrt_3 {
                label = "4"
                constraint_name = $
                    Boolean function constraint(model : Element, name : String):
                        return (cast_string(read_attribute(model, name, "type")) == "resource_out")!
                    $
            }
            Pre_CDEVS/DEVSInstanceToPort (pre_mrt_2, pre_mrt_3) {
                label = "5"
            }
        }
    
        RHS {
            Post_CDEVS/DEVSInstance post_mrt_0 {
                label = "0"
            }
            Post_CDEVS/Port post_mrt_1 {
                label = "1"
            }
            Post_CDEVS/DEVSInstanceToPort (post_mrt_0, post_mrt_1) {
                label = "2"
            }

            Post_CDEVS/DEVSInstance post_mrt_2 {
                label = "3"
            }
            Post_CDEVS/Port post_mrt_3 {
                label = "4"
            }
            Post_CDEVS/DEVSInstanceToPort (post_mrt_2, post_mrt_3) {
                label = "5"
            }

            Post_CDEVS/Channel (post_mrt_3, post_mrt_1) {
                label = "6"
            }
        }
    }

    {Contains} ForAll map_resources_from {
        LHS {
            Pre_CDEVS/DEVSInstance pre_mrt_0 {
                label = "0"
                constraint_name = $
                    Boolean function constraint(model : Element, name : String):
                        return (cast_string(read_attribute(model, name, "type")) == "ResourceHandler")!
                    $
            }
            Pre_CDEVS/Port pre_mrt_1 {
                label = "1"
                constraint_name = $
                    Boolean function constraint(model : Element, name : String):
                        return (cast_string(read_attribute(model, name, "type")) == "resource_out")!
                    $
            }
            Pre_CDEVS/DEVSInstanceToPort (pre_mrt_0, pre_mrt_1) {
                label = "2"
            }

            Pre_CDEVS/DEVSInstance pre_mrt_2 {
                label = "3"
                constraint_name = $
                    Boolean function constraint(model : Element, name : String):
                        return (cast_string(read_attribute(model, name, "type")) != "ResourceHandler")!
                    $
            }
            Pre_CDEVS/Port pre_mrt_3 {
                label = "4"
                constraint_name = $
                    Boolean function constraint(model : Element, name : String):
                        return (cast_string(read_attribute(model, name, "type")) == "resource_in")!
                    $
            }
            Pre_CDEVS/DEVSInstanceToPort (pre_mrt_2, pre_mrt_3) {
                label = "5"
            }
        }
    
        RHS {
            Post_CDEVS/DEVSInstance post_mrt_0 {
                label = "0"
            }
            Post_CDEVS/Port post_mrt_1 {
                label = "1"
            }
            Post_CDEVS/DEVSInstanceToPort (post_mrt_0, post_mrt_1) {
                label = "2"
            }

            Post_CDEVS/DEVSInstance post_mrt_2 {
                label = "3"
            }
            Post_CDEVS/Port post_mrt_3 {
                label = "4"
            }
            Post_CDEVS/DEVSInstanceToPort (post_mrt_2, post_mrt_3) {
                label = "5"
            }

            Post_CDEVS/Channel (post_mrt_1, post_mrt_3) {
                label = "6"
            }
        }
    }

    {Contains} ForAll map_control {
        LHS {
            Pre_PM/ProcessNode pre_map_4 {
                label = "6"
            }
            Pre_Trace (pre_map_4, pre_map_0) {
                label = "7"
            }
            Pre_PM/ProcessNode pre_map_5 {
                label = "8"
            }
            Pre_Trace (pre_map_5, pre_map_1) {
                label = "9"
            }
            Pre_PM/Next (pre_map_4, pre_map_5) {
                label = "10"
            }

            Pre_CDEVS/DEVSInstance pre_map_0 {
                label = "0"
            }
            Pre_CDEVS/Port pre_map_1 {
                label = "1"
                constraint_name = $
                    Boolean function constraint(model : Element, name : String):
                        return (cast_string(read_attribute(model, name, "type")) == "control_out")!
                    $
            }
            Pre_CDEVS/DEVSInstanceToPort (pre_map_0, pre_map_1) {
                label = "2"
            }

            Pre_CDEVS/DEVSInstance pre_map_2 {
                label = "3"
            }
            Pre_CDEVS/Port pre_map_3 {
                label = "4"
                constraint_name = $
                    Boolean function constraint(model : Element, name : String):
                        return (cast_string(read_attribute(model, name, "type")) == "control_in")!
                    $
            }
            Pre_CDEVS/DEVSInstanceToPort (pre_map_2, pre_map_3) {
                label = "5"
            }
        }
    
        RHS {
            Post_CDEVS/DEVSInstance post_map_0 {
                label = "0"
            }
            Post_CDEVS/Port post_map_1 {
                label = "1"
            }
            Post_CDEVS/DEVSInstanceToPort (post_map_0, post_map_1) {
                label = "2"
            }

            Post_CDEVS/DEVSInstance post_map_2 {
                label = "3"
            }
            Post_CDEVS/Port post_map_3 {
                label = "4"
            }
            Post_CDEVS/DEVSInstanceToPort (post_map_2, post_map_3) {
                label = "5"
            }

            Post_PM/ProcessNode post_map_4 {
                label = "6"
            }
            Post_Trace (post_map_4, post_map_0) {
                label = "7"
            }
            Post_PM/ProcessNode post_map_5 {
                label = "8"
            }
            Post_Trace (post_map_5, post_map_1) {
                label = "9"
            }
            Post_PM/Next (post_map_4, post_map_5) {
                label = "10"
            }
            Post_CDEVS/Channel (post_map_1, post_map_3) {
                label = "11"
            }
        }
    }

    {Contains} ForAll map_control_decision_true {
        LHS {
            Pre_PM/ProcessNode pre_map_4 {
                label = "6"
            }
            Pre_Trace (pre_map_4, pre_map_0) {
                label = "7"
            }
            Pre_PM/ProcessNode pre_map_5 {
                label = "8"
            }
            Pre_Trace (pre_map_5, pre_map_1) {
                label = "9"
            }
            Pre_PM/DecisionTrue (pre_map_4, pre_map_5) {
                label = "10"
            }

            Pre_CDEVS/DEVSInstance pre_map_0 {
                label = "0"
            }
            Pre_CDEVS/Port pre_map_1 {
                label = "1"
                constraint_name = $
                    Boolean function constraint(model : Element, name : String):
                        return (cast_string(read_attribute(model, name, "type")) == "control_out1")!
                    $
            }
            Pre_CDEVS/DEVSInstanceToPort (pre_map_0, pre_map_1) {
                label = "2"
            }

            Pre_CDEVS/DEVSInstance pre_map_2 {
                label = "3"
            }
            Pre_CDEVS/Port pre_map_3 {
                label = "4"
                constraint_name = $
                    Boolean function constraint(model : Element, name : String):
                        return (cast_string(read_attribute(model, name, "type")) == "control_in")!
                    $
            }
            Pre_CDEVS/DEVSInstanceToPort (pre_map_2, pre_map_3) {
                label = "5"
            }
        }
    
        RHS {
            Post_CDEVS/DEVSInstance post_map_0 {
                label = "0"
            }
            Post_CDEVS/Port post_map_1 {
                label = "1"
            }
            Post_CDEVS/DEVSInstanceToPort (post_map_0, post_map_1) {
                label = "2"
            }

            Post_CDEVS/DEVSInstance post_map_2 {
                label = "3"
            }
            Post_CDEVS/Port post_map_3 {
                label = "4"
            }
            Post_CDEVS/DEVSInstanceToPort (post_map_2, post_map_3) {
                label = "5"
            }

            Post_PM/ProcessNode post_map_4 {
                label = "6"
            }
            Post_Trace (post_map_4, post_map_0) {
                label = "7"
            }
            Post_PM/ProcessNode post_map_5 {
                label = "8"
            }
            Post_Trace (post_map_5, post_map_1) {
                label = "9"
            }
            Post_PM/DecisionTrue (post_map_4, post_map_5) {
                label = "10"
            }
            Post_CDEVS/Channel (post_map_1, post_map_3) {
                label = "11"
            }
        }
    }

    {Contains} ForAll map_control_decision_false {
        LHS {
            Pre_PM/ProcessNode pre_map_4 {
                label = "6"
            }
            Pre_Trace (pre_map_4, pre_map_0) {
                label = "7"
            }
            Pre_PM/ProcessNode pre_map_5 {
                label = "8"
            }
            Pre_Trace (pre_map_5, pre_map_1) {
                label = "9"
            }
            Pre_PM/DecisionFalse (pre_map_4, pre_map_5) {
                label = "10"
            }

            Pre_CDEVS/DEVSInstance pre_map_0 {
                label = "0"
            }
            Pre_CDEVS/Port pre_map_1 {
                label = "1"
                constraint_name = $
                    Boolean function constraint(model : Element, name : String):
                        return (cast_string(read_attribute(model, name, "type")) == "control_out2")!
                    $
            }
            Pre_CDEVS/DEVSInstanceToPort (pre_map_0, pre_map_1) {
                label = "2"
            }

            Pre_CDEVS/DEVSInstance pre_map_2 {
                label = "3"
            }
            Pre_CDEVS/Port pre_map_3 {
                label = "4"
                constraint_name = $
                    Boolean function constraint(model : Element, name : String):
                        return (cast_string(read_attribute(model, name, "type")) == "control_in")!
                    $
            }
            Pre_CDEVS/DEVSInstanceToPort (pre_map_2, pre_map_3) {
                label = "5"
            }
        }
    
        RHS {
            Post_CDEVS/DEVSInstance post_map_0 {
                label = "0"
            }
            Post_CDEVS/Port post_map_1 {
                label = "1"
            }
            Post_CDEVS/DEVSInstanceToPort (post_map_0, post_map_1) {
                label = "2"
            }

            Post_CDEVS/DEVSInstance post_map_2 {
                label = "3"
            }
            Post_CDEVS/Port post_map_3 {
                label = "4"
            }
            Post_CDEVS/DEVSInstanceToPort (post_map_2, post_map_3) {
                label = "5"
            }

            Post_PM/ProcessNode post_map_4 {
                label = "6"
            }
            Post_Trace (post_map_4, post_map_0) {
                label = "7"
            }
            Post_PM/ProcessNode post_map_5 {
                label = "8"
            }
            Post_Trace (post_map_5, post_map_1) {
                label = "9"
            }
            Post_PM/DecisionFalse (post_map_4, post_map_5) {
                label = "10"
            }
            Post_CDEVS/Channel (post_map_1, post_map_3) {
                label = "11"
            }
        }
    }
}

Initial (schedule, initial) {}

OnSuccess (initial, finish) {}
OnFailure (initial, finish) {}

OnSuccess (finish, activity) {}
OnFailure (finish, activity) {}

OnSuccess (activity, parallelsplit) {}
OnFailure (activity, parallelsplit) {}

OnSuccess (parallelsplit, synchronization) {}
OnFailure (parallelsplit, synchronization) {}

OnSuccess (synchronization, xor) {}
OnFailure (synchronization, xor) {}

OnSuccess (xor, merge) {}
OnFailure (xor, merge) {}

OnSuccess (merge, multi) {}
OnFailure (merge, multi) {}

OnSuccess (multi, map_resources_to) {}
OnFailure (multi, map_resources_to) {}

OnSuccess (map_resources_to, map_resources_from) {}
OnFailure (map_resources_to, map_resources_from) {}

OnSuccess (map_resources_from, map_control) {}
OnFailure (map_resources_from, map_control) {}

OnSuccess (map_control, map_control_decision_true) {}
OnFailure (map_control, map_control_decision_true) {}

OnSuccess (map_control_decision_true, map_control_decision_false) {}
OnFailure (map_control_decision_true, map_control_decision_false) {}

OnSuccess (map_control_decision_false, success) {}
OnFailure (map_control_decision_false, success) {}