TY - JOUR
T1 - Polymorphic scenario-based specification models
T2 - Semantics and applications
AU - Maoz, Shahar
N1 - Funding Information:
Preliminary version appeared in MoDELS’09: Proc. ACM/IEEE 12th Int. Conf. on Model Driven Engineering Languages and Systems (October 2009) [30]. This research was supported by The John von Neumann Minerva Center for the Development of Reactive Systems at the Weizmann Institute of Science. In addition, part of this research was funded by an Advanced Research Grant awarded to David Harel of the Weizmann Institute from the European Research Council (ERC) under the European Community’s 7th Framework Programme (FP7/2007–2013). Part of this work was done while the author was a post-doctoral researcher at RWTH Aachen University, Germany.
PY - 2012/7
Y1 - 2012/7
N2 - 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 at the Weizmann Institute of Science. We further discuss advanced semantic issues arising from the use of scenarios in a polymorphic setting, suggest possible extensions, present a UML profile to support polymorphic scenarios, consider the application of the polymorphic semantics to other variants of scenario-based specification languages, and position our work in the broader context of behavioral subtyping.
AB - 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 at the Weizmann Institute of Science. We further discuss advanced semantic issues arising from the use of scenarios in a polymorphic setting, suggest possible extensions, present a UML profile to support polymorphic scenarios, consider the application of the polymorphic semantics to other variants of scenario-based specification languages, and position our work in the broader context of behavioral subtyping.
KW - Behavioral subtyping
KW - Live sequence charts
KW - Polymorphism
KW - Scenario-based modeling
KW - Sequence diagrams
KW - UML interactions
UR - http://www.scopus.com/inward/record.url?scp=84863228758&partnerID=8YFLogxK
U2 - 10.1007/s10270-010-0168-6
DO - 10.1007/s10270-010-0168-6
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:84863228758
SN - 1619-1366
VL - 11
SP - 327
EP - 345
JO - Software and Systems Modeling
JF - Software and Systems Modeling
IS - 3
ER -