[Show abstract][Hide abstract] ABSTRACT: We investigate the classical notion of object composition in the framework of scenario-based specification and programming. We con- centrate on live sequence charts (LSC), which extend the classical par- tial order semantics of sequence diagrams with universal/existential and must/may modalities. In order to tackle object composition, we extend the language with appropriate syntax and semantics that allow the spec- ification and interpretation of scenario hierarchies - trees of scenarios - based on the object composition hierarchy in the underlying model. We then describe and implement a composition algorithm for scenario hier- archies, and discuss a trace-based semantics and operational semantics (play-out) for the extension. The extension has been fully implemented, and the ideas are demonstrated using a small example application.
Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings; 01/2008
[Show abstract][Hide abstract] ABSTRACT: The scenario-based approach to programming is adapted for use in tactical simulators, in which highly structured inter- entity scenarios are used for practicing and assessing decision making. The adapted approach, using the LSC language, en- ables end-users to capture scenario specification directly from the unfolding 3D scene. The specified scenarios are then used both for behavior monitoring and for the orchestration of sim- ulation runs.
Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007; 01/2007