By Topic

Reusing software architectures: a formal basis

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Ciaccia, P. ; Dipartimento di Elettronica Inf. e Sistemistica, Bologna Univ., Italy ; Ciancarini, P. ; Penzo, W.

The research topic of software architectures is increasing its importance, as software systems become more and more complex, difficult to understand, and too expensive to design from scratch. It is becoming clear that it is possible to reuse and adapt already existing software architectures, if adequate techniques are applied during the development process. We discuss how a method based on a formal design notation supports specification, design, verification, and especially reuse of a software architecture. Our method consists of analyzing a formal specification written in Z to produce a formal design document written in Larch. The use of two different formal notations allows us to exploit specific techniques and tools to help a designer in reasoning on and verifying properties and features of a software architecture document. To validate our approach we present a formal treatment of a software architecture which has been reused in real development processes

Published in:

Software Engineering for Parallel and Distributed Systems, 1997. Proceedings., Second International Workshop on

Date of Conference:

17-18 May 1997