Breadcrumb

 
 

Formal methods for reuse of design patterns and micro-architectures

Title:

Formal methods for reuse of design patterns and micro-architectures

Narayanan, Sridhar (1996) Formal methods for reuse of design patterns and micro-architectures. Masters thesis, Concordia University.

[img]
Preview
PDF
6Mb

Abstract

Software reuse is recognized to have the potential for improved productivity of quality software. Class reuse, micro-architecture reuse, and reuse of application frameworks are the three distinct levels of software reuse. This thesis examines the critical issues in providing support for different levels of reuse through formal specifications of reusable components. The formal specification language Larch/C++ has been used in reuse research projects and has been found to be adequate for specifying the behavior of class interfaces. We strengthen this claim by applying this methodology to several classes chosen from Rogue Wave library. We then provide extensions to the language for specifying object collaborations in a micro-architecture. We then illustrate this specification methodology for a micro-architecture chosen from a design pattern repository. In this context, we have also discussed the need to formally document design patterns and provided a formal framework within which design patterns can be formalized. Finally, we present the conceptual schema for a design pattern repository and discuss the query language features for storage and retrieval of design patterns.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Narayanan, Sridhar
Pagination:x, 148 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:Theses (M.Comp.Sc.)
Program:Dept. of Computer Science
Date:1996
Thesis Supervisor(s):Alagar, V. S.
ID Code:220
Deposited By:Concordia University Libraries
Deposited On:27 Aug 2009 13:10
Last Modified:08 Dec 2010 10:13
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Document Downloads

More statistics for this item...

Concordia University - Footer