Bottom-up Change Specification and Change Model



Modeling changes offers sufficient formalization required by change management in LCSs. Changes have been modeled using various tools and technologies [82]. For example, the Z language has been used to reflect changes in database schema [33]. However, changes to Web services are fundamentally different from changes in databases. Web services consist of behavioral aspects that are not relevant to data. In this chapter, we first propose a taxonomy of bottom-up changes. This allows us to define specific strategies to be applied to different types of changes. Based on the taxonomy, we then propose a formal model of bottom-up changes.


Change Model Change Management Member Service Safe State Reactive Change 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2011

Authors and Affiliations

  1. 1.Department of Computer ScienceRochester Institute of TechnologyRochesterUSA
  2. 2.Department of Information TechnologyThe George Washington UniversityAshburn VirginiaUSA
  3. 3.CSIRO ICT CenterActon, ACTAustralia

Personalised recommendations