Yoram Atir

Weizmann Institute of Science, Israel

Are you Yoram Atir?

Claim your profile

Publications (2)0 Total impact

  • Source
    Yoram Atir · David Harel · Asaf Kleinbort · Shahar Maoz
    [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.
    Preview · Conference Paper · Mar 2008
  • Source
    Yoram Atir · David Harel
    [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.
    Preview · Conference Paper · Jan 2007

Publication Stats

15 Citations

Top Journals


  • 2007-2008
    • Weizmann Institute of Science
      • Department of Computer Science and Applied Mathematics