[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.
[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.