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.

stacy
Download Presentation

Solution to Exercise M2

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

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