Polymorphic Scenario-Based Specification Models: Semantics and Applications

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.

[1]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[2]  David Harel,et al.  From multi-modal scenarios to code: compiling LSCs into aspectJ , 2006, SIGSOFT '06/FSE-14.

[3]  Alexander Knapp.  A Formal Semantics for UML Interactions , 1999, UML.

[4]  David Harel,et al.  Towards Trace Visualization and Exploration for Reactive Systems , 2007 .

[5]  David Harel,et al.  From Play-In Scenarios to Code: An Achievable Dream , 2000, Computer.

[6]  Manfred Broy,et al.  From MSCs to Statecharts , 1998, DIPES.

[7]  Gregor Engels,et al.  Structural and Behavioural Views on OMT-Classes , 1994, ISOOMS.

[8]  David Harel,et al.  Come, Let’s Play , 2003, Springer Berlin Heidelberg.

[9]  David Harel,et al.  On tracing reactive systems , 2011, Software & Systems Modeling.

[10]  David Harel,et al.  Assert and negate revisited: Modal semantics for UML sequence diagrams , 2008, SCESM '06.

[11]  Sebastián Uchitel,et al.  Synthesis of Behavioral Models from Scenarios , 2003, IEEE Trans. Software Eng..

[12]  David Harel,et al.  S2A: A Compiler for Multi-modal UML Sequence Diagrams , 2007, FASE.

[13]  Orna Kupferman,et al.  Weak alternating automata are not that weak , 2001, TOCL.

[14]  David Harel,et al.  Multiple instances and symbolic variables in executable sequence charts , 2002, OOPSLA '02.

[15]  David Harel,et al.  Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .

[16]  Amir Pnueli,et al.  Smart Play-out of Behavioral Requirements , 2002, FMCAD.

[17]  María Victoria Cengarle,et al.  System model for UML -- The interactions case , 2006, MMOSS.

[18]  Bernd Westphal,et al.  The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts , 2006, FASE.

[19]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[20]  Jon Whittle,et al.  From scenarios to code: An air traffic control case study , 2004, Software & Systems Modeling.

[21]  Gregor Engels,et al.  Specialization of Object Life Cycle Definitions , 1997 .

[22]  David Harel,et al.  Synthesizing State-Based Object Systems from LSC Specifications , 2000, Int. J. Found. Comput. Sci..

[23]  Jeannette M. Wing,et al.  A behavioral notion of subtyping , 1994, TOPL.

[24]  Jochen Klose,et al.  An Automata Based Interpretation of Live Sequence Charts , 2001, TACAS.

[25]  Shahar Maoz,et al.  Model-Based Traces , 2009, MoDELS.

[26]  David Harel,et al.  On Object Systems and Behavioral Inheritance , 2002, IEEE Trans. Software Eng..

[27]  Alexander Knapp,et al.  Model checking of UML 2.0 interactions , 2006, MoDELS'06.

[28]  David Harel,et al.  Object Composition in Scenario-Based Programming , 2008, FASE.

[29]  Robert B. France,et al.  A UML-based pattern specification technique , 2004, IEEE Transactions on Software Engineering.

[30]  Bernd Westphal,et al.  Check It Out: On the Efficient Formal Verification of Live Sequence Charts , 2006, CAV.

[31]  Ingolf Krüger,et al.  Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs , 2003, FASE.

[32]  Ina Schieferdecker,et al.  Model-Driven Testing: Using the UML Testing Profile , 2007 .

[33]  William G. Griswold,et al.  An Overview of AspectJ , 2001, ECOOP.

[34]  Ketil Stølen,et al.  A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice , 2006, FM.

[35]  Amir Pnueli,et al.  Temporal Logic for Scenario-Based Specifications , 2005, TACAS.

[36]  Ketil Stølen,et al.  STAIRS towards formal design with sequence diagrams , 2005, Software & Systems Modeling.