Automatic Integrity Constraint Evolution due to Model Subtract Operations
When evolving Conceptual Schemas (CS) one of the most common operations is the removal of some model elements. This removal affects the set of integrity constraints (IC) defined over the CS. Most times they must be modified to remain consistent with the evolved CS. The aim of this paper is to define an automatic evolutionary method to delete only the minimum set of constraints (or some of their parts) needed to keep the consistency with the CS after subtract operations. We consider that a set of constraints is consistent with an evolved CS when: 1) none of them refer to an element removed from the original CS and 2) the set of constraints is equal or less restrictive than the original one. In this paper we present our method assuming CS defined in UML with ICs specified in OCL, but it can be applied to other languages with similar results.
Unable to display preview. Download preview PDF.
- 2.Brèche, P.: Advanced Primitives for Changing Schemas of Object Databases. In: Constantopoulos, P., Vassiliou, Y., Mylopoulos, J. (eds.) CAiSE 1996. LNCS, vol. 1080, pp. 476–495. Springer, Heidelberg (1996)Google Scholar
- 3.Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (1999)Google Scholar
- 6.Halpin, T.A.: Information Modeling and Relational Databases. Morgan Kaufmann, San Francisco (2001)Google Scholar
- 7.ISO/TC97/SC5/WG3. Concepts and Terminology for the Conceptual Schema and Information Base, J.J. van Griethuysen, ed. (1982)Google Scholar
- 8.Monk, S.: A Model for Schema Evolution in ObjectOriented Database Systems. PhD thesis, Lancaster University (1993)Google Scholar
- 9.OMG, OMG Adopted Specification. UML 2.0 Superstructure Specification (2002) Google Scholar
- 10.OMG. Request for proposal: MOF 2.0 Query/Views/Transformations. OMG (2002)Google Scholar
- 11.OMG, OMG Adopted Specification, UML 2.0 OCL (2003)Google Scholar
- 12.OMG. Model Driven Architecture (MDA). OMG (2003) Google Scholar
- 13.Opdyke, W.F.: Refactoring Object-Oriented Frameworks. PhD thesis, University of Illinois (1992)Google Scholar