Wiki

#While#

#While contains initial message# ###Would be activated by env -> a.opA1()### env -> a.opA1() occures 4 times then b -> a.opA1() occures and so on.

#!java

specification scenario requirementScenario1 {
    var EInt i = 0
    while [i < 4] {
        message env -> a.opA1()
        i = i + 1
    }   
    message strict requested b -> a.opA1()
    message strict requested b -> a.opA2()
}