From Requirements to Code Revisited - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

From Requirements to Code Revisited

Tewfik Ziadi
Xavier Blanc

Résumé

In this article paper entitled "From Play-In Scenarios to Code: An Achievable Dream",David Harel presented a development schema that makes it possible to go from high-level user-friendly requirements to a full system model, and from there to the final implementation. Even if Harel's schema represents a real contribution to filing the gap between 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 diagram as a formalism for requirement specification. Then an approach that synthesizes state machines from UML2 sequence diagrams is presented. From the obtained state machines, we implement 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.
Fichier principal
Vignette du fichier
isorc09_ZIADI_Blanc_Raji_PrePrint.pdf (556.7 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00470512 , version 1 (06-04-2010)

Identifiants

Citer

Tewfik Ziadi, Xavier Blanc, Amine Raji. From Requirements to Code Revisited. 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Mar 2009, Tokyo, Japan. pp.228 - 235, ⟨10.1109/ISORC.2009.29⟩. ⟨hal-00470512⟩
226 Consultations
384 Téléchargements

Altmetric

Partager

More