This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Synthesizing Modal Transition Systems from Triggered Scenarios
July 2013 (vol. 39 no. 7)
pp. 975-1001
German Emir Sibay, Imperial College London, London
Victor Braberman, University of Buenos Aires, Buenos Aires
Sebastian Uchitel, Imperial College London, London and University of Buenos Aires, Buenos Aires
Jeff Kramer, Imperial College, London
Synthesis of operational behavior models from scenario-based specifications has been extensively studied. The focus has been mainly on either existential or universal interpretations. One noteworthy exception is Live Sequence Charts (LSCs), which provides expressive constructs for conditional universal scenarios and some limited support for nonconditional existential scenarios. In this paper, we propose a scenario-based language that supports both existential and universal interpretations for conditional scenarios. Existing model synthesis techniques use traditional two-valued behavior models, such as Labeled Transition Systems. These are not sufficiently expressive to accommodate specification languages with both existential and universal scenarios. We therefore shift the target of synthesis to Modal Transition Systems (MTS), an extension of labeled Transition Systems that can distinguish between required, unknown, and proscribed behavior to capture the semantics of existential and universal scenarios. Modal Transition Systems support elaboration of behavior models through refinement, which complements an incremental elicitation process suitable for specifying behavior with scenario-based notations. The synthesis algorithm that we define constructs a Modal Transition System that uses refinement to characterize all the Labeled Transition Systems models that satisfy a mixed, conditional existential and universal scenario-based specification. We show how this combination of scenario language, synthesis, and Modal Transition Systems supports behavior model elaboration.
Index Terms:
Semantics,Analytical models,Online banking,Merging,Unified modeling language,Indexes,Cognition,partial behavior models,Scenarios,MTS,synthesis
Citation:
German Emir Sibay, Victor Braberman, Sebastian Uchitel, Jeff Kramer, "Synthesizing Modal Transition Systems from Triggered Scenarios," IEEE Transactions on Software Engineering, vol. 39, no. 7, pp. 975-1001, July 2013, doi:10.1109/TSE.2012.62
Usage of this product signifies your acceptance of the Terms of Use.