modelverse/models/environment_model.mvc

Environment_PW environment_model_PW {
    Boundary DriverBlockWindow {
        name = "DriverBlockWindow"

        Port p_lockOut {
            name = "lockOut"
        }
        Port p_windowCommands {
            name = "windowCommands"
        }
        Port p_stickHead {
            name = "stickHead"
        }

        Parallel {
            name = "s_"

            {HasActivity} CommunicationSequence {
                name = "driver"
                actor = "driver"

                Output cmdUpD {
                    name = "cmdUpD"
                    duration = 3
                }
                Output cmdStopD {
                    name = "cmdStopD"
                    duration = 4
                }
                Output cmdDownP {
                    name = "cmdDown"
                    duration = 3
                }
                Output lockOut {
                    name = "lockOut"
                    duration = 1
                }
            }

            {HasActivity} CommunicationSequence {
                name = "passenger"
                actor = "passenger"

                Output cmdUp1 {
                    name = "cmdUp"
                    duration = 3
                }
                Output stickHead {
                    name = "stickHead"
                    duration = 3
                }
                Output cmdUp2 {
                    name = "cmdUp"
                    duration = 2
                }
            }
        }
    }

    NextEvent (cmdUpD, cmdStopD) {}
    NextEvent (cmdStopD, cmdDownP) {}
    NextEvent (cmdDownP, lockOut) {}

    NextEvent (cmdUp1, stickHead) {}
    NextEvent (stickHead, cmdUp2) {}

    PortEvent (p_stickHead, stickHead) {}
    PortEvent (p_windowCommands, cmdUpD) {}
    PortEvent (p_windowCommands, cmdDownD) {}
    PortEvent (p_windowCommands, cmdUp1) {}
    PortEvent (p_windowCommands, cmdUp2) {}
    PortEvent (p_lockOut, lockOut) {}
}