From Requirements to code: an Architecture-centric Approach for producing Quality Systems - Computer Science > Software EngineeringReportar como inadecuado




From Requirements to code: an Architecture-centric Approach for producing Quality Systems - Computer Science > Software Engineering - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: When engineering complex and distributed software and hardware systemsincreasingly used in many sectors, such as manufacturing, aerospace,transportation, communication, energy, and health-care, quality has become abig issue, since failures can have economics consequences and can also endangerhuman life. Model-based specifications of a component-based system permit toexplicitly model the structure and behaviour of components and theirintegration. In particular Software Architectures SA has been advocated as aneffective means to produce quality systems. In this chapter by combiningdifferent technologies and tools for analysis and development, we propose anarchitecture-centric model-driven approach to validate required properties andto generate the system code. Functional requirements are elicited and used foridentifying expected properties the architecture shall express. Thearchitectural compliance to the properties is formally demonstrated, and theproduced architectural model is used to automatically generate the Java code.Suitable transformations assure that the code is conforming to both structuraland behavioural SA constraints. This chapter describes the process anddiscusses how some existing tools and languages can be exploited to support theapproach.



Autor: Antonio Bucchiarone, Davide Di Ruscio, Henry Muccini, Patrizio Pelliccione

Fuente: https://arxiv.org/



DESCARGAR PDF




Documentos relacionados