Object composition in scenario-based programming

Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

We investigate the classical notion of object composition in the framework of scenario-based specification and programming. We concentrate on live sequence charts (LSC), which extend the classical partial 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 specification 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 hierarchies, 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.

Original languageEnglish
Title of host publicationFundamental 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, Proceedings
Pages301-316
Number of pages16
DOIs
StatePublished - 2008
Externally publishedYes
Event"11th International Conferenceon Fundamental Approaches to Software Engineering, FASE 2008" - Budapest, Hungary
Duration: 29 Mar 20086 Apr 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4961 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference"11th International Conferenceon Fundamental Approaches to Software Engineering, FASE 2008"
Country/TerritoryHungary
CityBudapest
Period29/03/086/04/08

Fingerprint

Dive into the research topics of 'Object composition in scenario-based programming'. Together they form a unique fingerprint.

Cite this