SCS-Poster sessions 2008 START Conference Manager    

Synthetizing scenarios to DEVS models

Mamoun Sqali, Lucile Torres and Claudia Frydman

2008 Spring Simulation Multiconference (SpringSim'08)- Poster Sessions (SCS-Poster sessions 2008)
Ottawa, Canada, April 14 - 17, 2008

Summary

Scenarios are widely used in the requirement phase of system development for the behavior specification of reactive systems. They provide a graphical way to capture sample behaviors corresponding to typical use cases.Transforming scenario-based to state-based specification brings the gap between a set of partial system behaviors and a full and global behavioral specification that constitutes the final objective of behavioral modeling. This paper explores some ways to synthesize an approximation of the global behavioral specification from scenarios, expressing the target specification with the DEVS formalism, that is a wider formalism than state-based formalisms associated to an unambiguous operational semantics. Then, the obtained DEVS specification can be simulated to be validated by end-users.

  
START Conference Manager (V2.54.5)