Software Design Spaces: Logical Modeling and Formal Dependence Analysis

Report
Authors:Cai, Yuanfang, Department of Computer ScienceUniversity of Virginia Sullivan, Kevin, Department of Computer ScienceUniversity of Virginia
Abstract:

We lack a useful, formal theory of modularity in abstract software design. A missing key is a framework for the ab- stract representation of software design spaces that sup- ports analysis of design decision coupling structures. We contribute such a framework. We represent design spaces as constraint networks and develop a concept of design de- cision coupling based on the minimal change sets of a vari- able. This work supports derivation, from logical models, of design structure matrices (DSM�s), for which we have a promising but inadequate theory of modularity. We present complexity results and a brute force algorithm. To test for potential software engineering utility, we analyzed the de- sign spaces of Parnas�s 1972 information hiding paper, with positive results that were surprising in several ways.

Rights:
All rights reserved (no additional license for public reuse)
Language:
English
Source Citation:

Cai, Yuanfang, and Kevin Sullivan. "Software Design Spaces: Logical Modeling and Formal Dependence Analysis." University of Virginia Dept. of Computer Science Tech Report (2004).

Publisher:
University of Virginia, Department of Computer Science
Published Date:
2004