Computer Science – Software Engineering
Scientific paper
2009-10-02
Computer Science
Software Engineering
Chapter of the book "Model-Driven Software Development: Integrating Quality Assurance". Idea Group Inc., Information Science P
Scientific paper
When engineering complex and distributed software and hardware systems (increasingly used in many sectors, such as manufacturing, aerospace, transportation, communication, energy, and health-care), quality has become a big issue, since failures can have economics consequences and can also endanger human life. Model-based specifications of a component-based system permit to explicitly model the structure and behaviour of components and their integration. In particular Software Architectures (SA) has been advocated as an effective means to produce quality systems. In this chapter by combining different technologies and tools for analysis and development, we propose an architecture-centric model-driven approach to validate required properties and to generate the system code. Functional requirements are elicited and used for identifying expected properties the architecture shall express. The architectural compliance to the properties is formally demonstrated, and the produced architectural model is used to automatically generate the Java code. Suitable transformations assure that the code is conforming to both structural and behavioural SA constraints. This chapter describes the process and discusses how some existing tools and languages can be exploited to support the approach.
Bucchiarone Antonio
Muccini Henry
Pelliccione Patrizio
Ruscio Davide Di
No associations
LandOfFree
From Requirements to code: an Architecture-centric Approach for producing Quality Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with From Requirements to code: an Architecture-centric Approach for producing Quality Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and From Requirements to code: an Architecture-centric Approach for producing Quality Systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-432114