Conference proceeding
Modularity analysis of logical design models
ASE 2006: 21ST IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, pp 91-100
01 Jan 2006
Abstract
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectural modeling and analysis approach, and automated tool support, for improved reasoning in these terms. However, the complexity of constraint satisfaction limited the size of models that we could analyze. The contribution of this paper is a more scalable approach. We exploit the dominance relations in our models to guide a divide-and-conquer algorithm, which we have implemented it in our Simon tool. We evaluate its performance in case studies. The approach reduced the time needed to analyze small but representative modelsfrom hours to seconds. This work appears to make our modeling and analysis approach practicalfor research on the evolvability and economic properties of software design architectures.
Metrics
Details
- Title
- Modularity analysis of logical design models
- Creators
- Yuanfang Cai - University of VirginiaKevin J. Sullivan - University of VirginiaIEEE COMPUTER SOC
- Publication Details
- ASE 2006: 21ST IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, pp 91-100
- Series
- IEEE ACM International Conference on Automated Software Engineering
- Publisher
- IEEE
- Number of pages
- 10
- Grant note
- ITR-0086003; FCA-0429786 / National Science Foundation; National Science Foundation (NSF)
- Resource Type
- Conference proceeding
- Language
- English
- Academic Unit
- Computer Science
- Web of Science ID
- WOS:000242043600011
- Scopus ID
- 2-s2.0-34547493165
- Other Identifier
- 991020547440804721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Web of Science research areas
- Computer Science, Software Engineering