This Article 
 Bibliographic References 
 Add to: 
A General Theory for Evolving Application Models
December 1995 (vol. 7 no. 6)
pp. 984-996

Abstract—In this article we provide a general theory for evolving information systems. This theory makes a distinction between the underlying information structure at the conceptual level, its evolution on the one hand, and the description and semantics of operations on the information structure and its population on the other hand. Main issues within this theory are object typing, type relatedness and identification of objects. In terms of these concepts, we propose some axioms on the well-formedness of evolution. In this general theory, the underlying data model is a parameter, making the theory applicable for a wide range of modelling techniques, including object-role modelling and object oriented techniques.

[1] J. Allen, "Towards A General Theory of Action and Time," Artificial Intelligence, Vol. 23, No. 2, July 1984, pp. 123-154.
[2] J. Banerjee, W. Kim, H.J. Kim, and H.F. Korth, “Semantics and Implementation of Schema Evolution in Object-Oriented Databases,” Proc. ACM-SIGMOD Int'l Conf. Management of Data, pp. 311–322, May 1987.
[3] R. Bretl et al., "The GemStone Data Management System." Object-Oriented Concepts, Applications, and Databases, W. Kim, and F. Lochovsky, eds. Addison-Wesley, 1989.
[4] K.B. Bruce and P. Wegner,“An algebraic model of subtype and inheritance,” F. Bancilhon and P. Buneman, eds., Advances in Database Programming Languages.Reading, Mass.: ACM Press, Frontier Series, pp. 75-96, 1990.
[5] L. Cardelli and P. Wegner, "On Understanding Types, Data Abstraction, and Polymorphism," ACM Computing Surveys, vol. 17, no. 4, pp. 471-522, 1985.
[6] P.P. Chen, “The Entity‐Relationship Model: Toward a Unified View of Data,” ACM Trans. Database Systems, Vol. 1, No. 1, Jan. 1976, pp. 9–36.
[7] J. Clifford and A. Rao,“A simple, general structure for temporal domains,” C. Rolland, F. Bodart, and M. Leonard, eds., Temporal Aspects in Information Systems.Amsterdam, The Netherlands: North-Holland/IFIP, 1987, pp. 17-28
[8] O.M.F. De Troyer,“The OO-binary relationship model: A truly object oriented conceptual model,” R. Andersen, J.A. Bubenko, and A. Solvberg, eds., Proc. Third Int’l Conf. CAiSE’91 on Advanced Information SystemsEngineering, vol. 498, Lecture Notes in Computer Science, pp. 561-578,Trondheim, Norway, May 1991.New York: Springer-Verlag, 1991.
[9] G. Engels,M. Gogolla,U. Hohenstein,K. Hülsmann,P. Löhr-Richter,G. Saake,, and H.-D. Ehrich,“Conceptual modelling of database applications using an extended ER model,” Data&Knowledge Eng., vol. 9, no. 4, pp. 157-204, 1992.
[10] E.D. Falkenberg,J.L.H. Oei,, and H.A. Proper,“A conceptual framework for evolving information systems,” H.G. Sol and R.L. Crosslin, eds., Dynamic Modelling of Information Systems, vol. 2. Amsterdam, The Netherlands: North-Holland, pp. 353-375, 1992.
[11] E.D. Falkenberg,J.L.H. Oei,, and H.A. Proper,“Evolving information systems: Beyond temporal information systems,” A.M. Tjoa and I. Ramos, eds., Proc. Data Base and Expert System Applications Conf. (DEXA 92),Valencia, Spain, Sept. 1992.New York: Springer-Verlag, pp. 282-287, 1992.
[12] A.H.M. ter Hofstede,“Information modelling in data intensive domains,” PhD thesis, Univ. of Nijmegen, Nijmegen, The Netherlands, 1993.
[13] A.H.M. ter Hofstead and E.R. Nieuwiand, “Task Structure Semantics Through Process Algebra,” Software Eng. J., vol. 8, pp. 14–20, Jan. 1993.
[14] A.H.M. ter Hofstede,H.A. Proper,, and T.P. van der Weide,“Data modelling in complex application domains,” P. Loucopoulos, ed., Proc. Fourth Int’l Conf. CAiSE’92 on Advanced Information SystemsEngineering, vol. 593of Lecture Notes in Computer Science, pp. 364-377,Manchester, United Kingdom, May 1992.New York: Springer-Verlag, 1992.
[15] A.H.M. ter Hofstede,H.A. Proper,, and T.P. van der Weide,“Formal definition of a conceptual language for the description andmanipulation of information models,” Information Systems, vol. 18, no. 7, pp. 489-523, 1993.
[16] A.H.M. ter Hofstede,H.A. Proper,, and T.P. van der Weide,“Supporting information disclosure in an evolving environment,” D. Karagiannis, ed., Proc. Fifth Int’l Conf. DEXA’95 on Database and Expert SystemsApplications, vol. 856of Lecture Notes in Computer Science, pp. 433-444Athens, Greece, Sept. 1994.New York: Springer Verlag, 1994.
[17] A.H.M. ter Hofstede and T.P. van der Weide,“Expressiveness in conceptual data modelling,” Data&Knowledge Eng., vol. 10, no. 1, pp. 65-100, Feb. 1993.
[18] R.H. Katz,“Toward a unified framework for version modelling in engineeringdatabases,” ACM Computing Surveys, vol. 22, no. 4, pp. 375-408, 1990.
[19] W. Kim, N. Ballou, H.T. Chou, J.F. Garza, and D. Woelk, "Features of the ORION Object-Oriented Database System," Object-Oriented Concepts, Databases, and Applications, Addison Wesley, pp. 251-282, 1989.
[20] T. Korson and J. McGregor,“Understanding object oriented: A unifying paradigm,” Comm. ACM, vol. 33, no. 9, pp. 40-60, Sept. 1990.
[21] L. Lamport,“The temporal logic of actions,” Report 79, Digital Systems Research Center, Palo Alto, Calif., Dec. 1991.
[22] G.T. Nguyen and D. Rieu,“Schema evolution in object-oriented database systems,” Data&Knowledge Eng., vol. 4, pp. 43-67, 1989.
[23] G.M. Nijssen and T.A. Halpin,Conceptual Schema and Relational Database Design: A Fact OrientedApproach.Englewood Cliffs, N.J.: Prentice Hall, 1989.
[24] J.L.H. Oei,H.A. Proper,, and E.D. Falkenberg,“Evolving information systems: Meeting the ever-changing environment,” Information Systems J. vol. 4, no. 3, pp. 213-233, July 1994.
[25] A. Ohori,“Orderings and types in databases,” F. Bancilhon and P. Buneman, eds., Advances in Database Programming Languages.Reading, Mass.: ACM Press, Frontier Series, pp. 97-116, 1990.
[26] H.A. Proper,“A theory for conceptual modelling of evolving application domains,” PhD thesis, Univ. of Nijmegen, Nijmegen, The Netherlands, 1994.
[27] H.A. Proper and T.P. van der Weide,“Information disclosure in evolving information systems: Taking a shot at amoving target,” Technical Report 93-22, Information Systems Group, Computing Science Inst.,Univ. of Nijmegen, The Netherlands, 1993.
[28] H.A. Proper and T.P. van der Weide,“Towards a general theory for the evolution of application models,” M.E. Orlowska and M. Papazoglou, eds., Proc. Fourth Australian Database Conf. Advances in Database Research, pp. 346-362. World Scientific, Brisbane, Australia, Feb. 1993.
[29] H.A. Proper and T.P. van der Weide,“A general theory for the evolution of application models,” Technical Report 317, Dept. of Computer Science, Univ. of Queensland, Brisbane, Australia, 1994.
[30] H.A. Proper and T.P. van der Weide,“EVORM: A conceptual modelling technique for evolving application domains,” Data&Knowledge Eng., vol. 10, no. 12, pp. 313-359, 1994.
[31] J.F. Roddick,“Dynamically changing schemas within database models,” Australian Computer J., vol. 23, no. 3, pp. 105-109, Aug. 1991.
[32] J.F. Roddick and J.D. Patrick,“Temporal semantics in information systems—a survey,” Information Systems, vol. 17, no. 3, pp. 249-267, 1992.
[33] A.H. Skarra and S.B. Zdonik,“The management of changing types in an object-oriented database,” N. Meyrowitz, ed., Proc. ACM Conf. of Object-Oriented Systems, Languages and Applications(OOPSLA), pp. 483-495,Portland, Ore., Sept. 1986.
[34] R. Snodgrass,“Temporal databases status and research directions,” SIGMOD Record, vol. 19, no. 4, pp. 83-89, Dec. 1990.
[35] R. Snodgrass and I. Ahn, "A Taxonomy of Time in Databases," Proc. ACM SIGMOD Conf., 1985.
[36] M.T. Tresch and M.H. Scholl,“Meta object management and its application to database evolution,” G. Pernul and A.M. Tjoa, eds., 11th Int’l Conf. Entity-Relationship Approach, vol. 645of Lecture Notes in Computer Science, pp. 299-321, Karlsruhe, Germany, Oct. 1992.New York Springer-Verlag, 1992.
[37] G. Wiederhold, S. Jajodia, and W. Litwin, "Dealing with Granularity of Time in Temporal Databases," Proc. Nordic Conf. Advanced Information Systems Eng., R. Anderson et al., eds., pp. 124-140. Springer, 1991,
[38] A. van Wijngaarden,B.J. Mailloux,J.E.L. Peck,C.H.A. Koster,M. Sintzoff,C.H. Lindsey,L.T. Meertens,, and R.G. Fisker,Revised Report on the Algorithmic Language ALGOL 68.New York: Springer-Verlag, 1976.
[39] E. Yourdon, Modern Structured Analysis, Prentice Hall, Englewood Cliffs, N.J., 1989.

Index Terms:
Evolving information systems, temporal information systems, schema evolution, data modelling, type relatedness, predicator set model, ER model.
H.a. Proper, T.p. van der Weide, "A General Theory for Evolving Application Models," IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 6, pp. 984-996, Dec. 1995, doi:10.1109/69.476503
Usage of this product signifies your acceptance of the Terms of Use.