1 / 5

# Solution to Exercise M2

Solution to Exercise M2. Graph-based Operational Semantics. M2.1: Generate the accepted sequences of events. dial(n). current. on(). 0. Idle. Dialing or Talking. off(). end. off(). on(). Talking. trans. s1. s1. x. x. current. a. a. a. end. s2. s2. y. end. current.

## Solution to Exercise M2

E N D

### Presentation Transcript

1. Solution to Exercise M2 Graph-based Operational Semantics

2. M2.1: Generate the accepted sequences of events. dial(n) current on() 0 Idle Dialing or Talking off() end off() on() Talking trans s1 s1 x x current a a a end s2 s2 y end current

3. M2.2: Operational semantics of statecharts with complex OR states current down super super current s1 s1 current super super up current s1 s1 Problem: we could apply down immediately after up !

4. M2.2: Operational semantics of statecharts with complex OR states inter super super up2 current or inter s1 s1 Solution: create current loop for intermediate states of interpreter so that down is not applicable after up unless trans is applied ! trans2 s1 s1 x x current or inter a a a end s2 s2 y end current

5. Presentation based on abstract syntax (meta model) super first next current State name:string init:bool Trans label:string Component inter src tar last Tranitition label:string current super:State c:Component super:State c:Component down super super current sub:State init=true sub:State init=true

More Related