|
Published Articles >> Table of Contents >> Abstract
Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99)
p. 32
A Framework for Analyzing Configurations of Deployable Software Systems
Dennis Heimbigner, University of Colorado
Richard S. Hall, University of Colorado
Alexander L. Wolf, University of Colorado
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.1999.802842
Send link to a friend
| Abstract |
|
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In such a scenario, it is difficult for end-users to specify and install an appropriate configuration for their specific environment. Defining all valid configurations of a software system is challenging, and can be addressed through a concise specification that can generate all of the possible configurations. The Deployable Software Description (DSD), part of the University of Colorado Software Dock project, is one such specification format. But using the DSD runs the risk that the set of generated configurations includes some that are invalid with respect to constraints defined independently of the DSD. This paper describes a framework to support the analysis of DSD specifications to help developers detect potentially invalid configurations.This analysis assumes that the system components are annotated with properties, and an analysis tool is provided that takes a specific configuration and analyzes it for conflicts with respect to some set of constraints. Using the DSD, we can enumerate and analyze configurations to verify their validity. The results can be used to modify the DSD to avoid future generation of invalid configurations.
|
 Additional Information
|
Citation:
Dennis Heimbigner, Richard S. Hall, Alexander L. Wolf,
"A Framework for Analyzing Configurations of Deployable Software Systems,"
iceccs,
p. 32,
Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99),
1999
|
|
