2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing From Requirements to Code Revisited Tokyo, Japan March 17-March 20 ISBN: 978-0-7695-3573-9
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISORC.2009.29
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.
Index Terms:
Requirements, UML sequence diagrams, State machines, Code generation, AIBO
Citation:
Tewfik Ziadi, Xavier Blanc, Amine Raji, "From Requirements to Code Revisited," isorc, pp.228-235, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb