modelverse/models/control_model.mvc

Control_PW control_model_PW {
    Boundary ctrl_powerwindow_dsl {
        name = "ctrl_powerwindow_dsl"

        Port p_cmdStop {
            name = "cmdStop"
        }
        Port p_cmdUp {
            name = "cmdUp"
        }
        Port p_cmdDown {
            name = "cmdDown"
        }
        Port p_detectedObject {
            name = "detectedObject"
        }

        State neutral {
            name = "neutral"
        }
        State movingDown {
            name = "movingDown"
        }
        State emergency {
            name = "emergency"
        }
        State movingUp {
            name = "movingUp"
        }

        Transition cmdStop1 {
            name = "cmdStop"
        }
        Transition cmdDown1 {
            name = "cmdDown"
        }
        Transition cmdUp1 {
            name = "cmdUp"
        }
        Transition cmdStop2 {
            name = "cmdStop"
        }
        Transition cmdDown2 {
            name = "cmdDown"
        }
        Transition cmdUp2 {
            name = "cmdUp"
        }
        Transition detectedObject {
            name = "detectedObject"
        }
        Transition s_ {
            name = ""
        }

        From (movingDown, cmdStop1) {}
        To (cmdStop1, neutral) {}
        From (neutral, cmdDown1) {}
        To (cmdDown1, movingDown) {}
        From (movingDown, cmdDown2) {}
        To (cmdDown2, movingUp) {}
        From (movingUp, cmdUp1) {}
        To (cmdUp1, movingDown) {}
        From (neutral, cmdUp2) {}
        To (cmdUp2, movingUp) {}
        From (movingUp, cmdStop2) {}
        To (cmdStop2, neutral) {}
        From (movingUp, detectedObject) {}
        To (detectedObject, emergency) {}
        From (emergency, s_) {}
        To (s_, neutral) {}

        PortTransition (p_detectedObject, detectedObject) {}
        PortTransition (p_cmdDown, cmdDown1) {}
        PortTransition (p_cmdDown, cmdDown2) {}
        PortTransition (p_cmdUp, cmdUp1) {}
        PortTransition (p_cmdUp, cmdUp2) {}
        PortTransition (p_cmdStop, cmdStop1) {}
        PortTransition (p_cmdStop, cmdStop2) {}
    }
}