Proceedings of the 2012 ACM international conference on Intelligent User Interfaces
| Hi-index | 0.00 |
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 onits feasibility and none within UML2.This paper addresses this lack. First we use UML2 sequence diagrams as a formalism forrequirement specification. Thenan approach that synthesizes state machinesfrom UML2 sequence diagrams is presented. From the obtained state machines, weimplementa 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.