TY - GEN
T1 - Polymorphic scenario-based specification models
T2 - 12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009
AU - Maoz, Shahar
N1 - Funding Information:
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 has been funded by an Advanced Research Grant from the European Research Council (ERC) under the European Community’s 7th Framework Programme (FP7/2007-2013).
PY - 2009
Y1 - 2009
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 in our group.
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 in our group.
UR - http://www.scopus.com/inward/record.url?scp=70350303570&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-04425-0_38
DO - 10.1007/978-3-642-04425-0_38
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:70350303570
SN - 3642044247
SN - 9783642044243
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 499
EP - 513
BT - Model Driven Engineering Languages and Systems - 12th International Conference, MODELS 2009, Proceedings
Y2 - 4 October 2009 through 9 October 2009
ER -