From Requirements to Code Revisited

In his article paper entitled "From Play-In Scenarios to Code: An Achievable Dream",David Harel presented a development schema that makes it possible to go fromhigh-level user-friendly requirements to a full system model, andfrom there to the final implementation.Even if Harel's schema represents a real contribution to filing the gapbetween user requirements and final implementations, there is few work on its feasibility and none within UML2.This paper addresses this lack. First we use UML2 sequence diagrams as a formalism forrequirement specification. Then an approach that synthesizes state machinesfrom UML2 sequence diagrams is presented. From the obtained state machines, weimplement a transformation to code. The AIBO platform (one of several typesof robotic pets designed and manufactured by Sony) is used as a case study toillustrate our implementation.

[1]  Jürgen Dingel,et al.  A comparative survey of scenario-based to state-based model synthesis approaches , 2006, SCESM '06.

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

[3]  Johann Schumann,et al.  Generating statechart designs from scenarios , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[4]  Jean-Marc Jézéquel,et al.  Revisiting statechart synthesis with an algebraic approach , 2004, Proceedings. 26th International Conference on Software Engineering.

[5]  Fa A Comprare,et al.  Come , 1890, The Hospital.

[6]  Jean-Christophe Baillie,et al.  Universal programming interfaces for robotic devices , 2005, sOc-EUSAI '05.

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

[8]  Jon Whittle,et al.  Generating Hierarchical State Machines from Use Case Charts , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[9]  Doo-Hwan Bae,et al.  Interaction-based behavior modeling of embedded software using UML 2.0 , 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).

[10]  Tony Clark,et al.  Model-driven development - Guest editor's introduction , 2003 .

[11]  S. Lane,et al.  Let's Play! , 2002 .

[12]  Jean-Marc Jézéquel,et al.  Code generation from UML models with semantic variation points , 2005, MoDELS'05.

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

[14]  Robert B. France,et al.  Model-driven development using UML 2.0: promises and pitfalls , 2006, Computer.

[15]  Ismaïl Khriss,et al.  Automated Prototyping of User Interfaces Based on UML Scenarios , 2006, Automated Software Engineering.

[16]  Pornsiri Muenchaisri,et al.  Design of rules for transforming UML sequence diagrams into Java code , 2002, Ninth Asia-Pacific Software Engineering Conference, 2002..