From Requirements to code: an Architecture-centric Approach for producing Quality Systems - Computer Science > Software EngineeringReport as inadecuate




From Requirements to code: an Architecture-centric Approach for producing Quality Systems - Computer Science > Software Engineering - Download this document for free, or read online. Document in PDF available to download.

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.



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

Source: https://arxiv.org/







Related documents