@InProceedings{Schmerl1996a,
      AUTHOR = {Schmerl, Bradley and Marlin, Chris},
      TITLE = {Consistency issues in partially bound dynamically composed systems},
      YEAR = {1996},
      MONTH = {June},
      BOOKTITLE = {Proceedings of the 1996 Australian Software Engineering Conference},
      PAGES = {183-191},
      ADDRESS = {Melbourne, Australia},
      PDF = {http://www.cs.cmu.edu/~schmerl/publications/schmerl96consistency,pdf},
      ABSTRACT = {Dynamically composed systems are able to incorporate new components as they execute. Therefore, configurations of these systems are not fully elaborated until at least the time that they are executed, and they are perhaps never fully elaborated. Such incomplete configurations are termed partially bound configurations. Although partially bound, it is still important to be able to analyse these configurations to ascertain whether they meet certain assumptions about their composition. We are endevouring to provide such support for the construction of dynamically composed systems through the application of configuration management concepts. One way in which these concepts can be applied in this domain is to explicitly state such assumptions and hence be able to validate partially bound configurations against these assumptions; in this way, inconsistencies can be reported as soon as they arise. This paper disucsses the issues involved in providing this kind of consistency mechanism for dynamically composed systems.}
}