Support for Managing Design-Time Decisions.

Egyed, Alexander; Wile, David S.

Support for Managing Design-Time Decisions.

by Alexander Egyed, David S. Wile

Abstract:

The desirability of maintaining multiple stakeholdersâ€™ interests during the software design process argues for leaving choices undecided as long as possible. Yet, any form of underspecification, either missing information or undecided choices, must be resolved before automated analysis tools can be used. This paper demonstrates how Constraint Satisfaction Problem Solution Techniques (CSTs) can be used to automatically reduce the space of choices for ambiguities by incorporating the local effects of constraints, ultimately with more global consequences. As constraints typical of those encountered during the software design process, we use UML consistency and well-formedness rules. It is somewhat surprising that CSTs are suitable for the software modeling domain since the constraints may relate many ambiguities during their evaluation, encountering a well-known problem with CSTs called the k-consistency problem. This paper demonstrates that our CST-based approach is computationally scalable and effectiveâ€”as evidenced by empirical experiments based on dozens of industrial models.

View PDF

Reference:

Alexander Egyed, David S. Wile, "Support for Managing Design-Time Decisions.", In IEEE Transactions on Software Engineering, vol. 32, no. 5, pp. 299-314, 2006.

Bibtex Entry:

@Article{dblp:journals/tse/EgyedW06,
  Title                    = {Support for Managing Design-Time Decisions.},
  Author                   = {Alexander Egyed and David S. Wile},
  Journal                  = {IEEE Transactions on Software Engineering},
  Year                     = {2006},
  Number                   = {5},
  Pages                    = {299-314},
  Volume                   = {32},

  Abstract                 = {The desirability of maintaining multiple stakeholdersâ€™ interests during the software design process argues for leaving choices undecided as long as possible. Yet, any form of underspecification, either missing information or undecided choices, must be resolved before automated analysis tools can be used. This paper demonstrates how Constraint Satisfaction Problem Solution Techniques (CSTs) can be used to automatically reduce the space of choices for ambiguities by incorporating the local effects of constraints, ultimately with more global consequences. As constraints typical of those encountered during the software design process, we use UML consistency and well-formedness rules. It is somewhat surprising that CSTs are suitable for the software modeling domain since the constraints may relate many ambiguities during their evaluation, encountering a well-known problem with CSTs called the k-consistency problem. This paper demonstrates that our CST-based approach is computationally scalable and effectiveâ€”as evidenced by empirical experiments based on dozens of industrial models.},
  File                     = {Support for Managing Design-Time Decisions:Journals\\TSE 2006 - Support for Managing Design-Time Decisions\\Support for Managing Design-Time Decisions.pdf:PDF},
  Keywords                 = {variability, consistency, decision},
  Url                      = {http://doi.ieeecomputersociety.org/10.1109/TSE.2006.48}
}