Polymorphic scenario-based specification models: Semantics and applications

Shahar Maoz*

*Corresponding author for this work

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

Abstract

We present polymorphic scenarios, a generalization of a UML2-compliant variant of Damm and Harel's live sequence charts (LSC) in the context of object-orientation. Polymorphic scenarios are visualized using (modal) sequence diagrams where lifelines may represent classes and interfaces rather than concrete objects. Their semantics takes advantage of inheritance and interface realization to allow the specification of most expressive, succinct, and reusable universal and existential inter-object scenarios for object-oriented system models. We motivate the use of polymorphic scenarios, formally define their trace-based semantics, and present their application for scenario-based testing and execution, as implemented in the S2A compiler developed in our group.

Original languageEnglish
Title of host publicationModel Driven Engineering Languages and Systems - 12th International Conference, MODELS 2009, Proceedings
Pages499-513
Number of pages15
DOIs
StatePublished - 2009
Externally publishedYes
Event12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009 - Denver, CO, United States
Duration: 4 Oct 20099 Oct 2009

Publication series

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

Conference

Conference12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009
Country/TerritoryUnited States
CityDenver, CO
Period4/10/099/10/09

Fingerprint

Dive into the research topics of 'Polymorphic scenario-based specification models: Semantics and applications'. Together they form a unique fingerprint.

Cite this