Istituto di Scienza e Tecnologie dell'Informazione     
Banci M., Fantechi A., Gnesi S., Lombardi G. Model driven development and code generation: an automotive case study. In: SDL 2007: Design for Dependable Systems. 13th International SDL Forum (Paris, France, 18-21 September 2007). Proceedings, pp. 19 - 34. Emmanuel Gaudin, Elie Najm and Rick Reed (eds.). (Lecture Notes in Computer Science, vol. 4745). Springer, 2007.
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived and to be formalized at a high abstraction level. Several languages and formalisms have been proposed to this aim; UML diagrams are also used to this purpose. Starting from such an abstract description, still much work is needed to derive a working application, with a model-driven development process that needs to introduce and formalize many details. In this paper we report an experience in deriving an executable formal model from a high level specifications, originally given following a mainly architectural UML approach. The development process is illustrated on an automotive case study. A state of the art code generation tool is then applied to produce a prototype implementation of the analyzed system.
URL: http://www.springerlink.com/content/v6n128460206t7u6/fulltext.pdf
Subject Service-Oriented applications
Automatic code generation
Formal modeling
Formal verification
Formal validation
D.2.2 Design Tools and Techniques

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional