Model evolution and system evolution


  • Claudia Pons Lifia, Universidad Nacional de La Plata, (1900) La Plata, Argentina
  • Gabriel Alfredo Baum Lifia, Universidad Nacional de La Plata, (1900) La Plata, Argentina
  • Ralf-Detlef Kutsche TU Berlin, FB Informatik, Einsteinufer 17, D-10587, Berlin, Germany


formal modeling, system evolution, model evolution, dynamic logic, UML


In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the ability to define the relation of intentional and extensional entities within one level, allowing not only for the description of structural relations among the modeling entities, but also for a formal definition of structural constraints and dynamic semantics of the modeled entities. While dynamic semantics on the extensional level means run-time behavior, dynamic semantics on intentional level describes model evolution in the system life cycle.


Download data is not yet available.


[1] E.Bertino, E.Ferrari, G.Guerrini and I.Merlo, Extending the ODMG Object Model with time, proceedings of ECOOP’98, Lecture Notes in Computer Science 1445, July 1998.
[2] Paul Bergstein, Maintenance of object-oriented systems during structural evolution, Theory and Practice of Object Systems, V.3,N.3, John Wiley &Sons, Inc, 1997.
[3] Evans,A., France,R., Lano,K. and Rumpe,B., Towards a core metamodelling semantics of UML, Behavioral specifications of businesses and systems, H,Kilov editor, Kluwer Academic Publishers, 1999.
[4] Andy Evans, Robert France, Kevin Lano and Bernhard Rumpe, Developing the UML as a formal modeling notation. In Muller and Bezivin editors, UML’98 Beyond the notation, International workshop, Lecture Notes in Computer Science 1618, Springer-Verlag,1998.
[5] Robert Geisler, Marcus Klar and Claudia Pons, Dimensions and Dichotomy in Metamodeling, proc. of Third BCS-FACS Northern Formal Methods Workshop, Ikley, UK, September 1998.
[6] F.Kesim and M.Sergot. A logic programming framework for modeling temporal objects, IEEE Transactions on knowledge and data engineering, vol.8,no.5, October 1996.
[7] R.-D. Kutsche and A. Sünbül. A Meta-Data Based Development Strategy for Heterogeneous, Distributed Information Systems. In Proc. 3rd IEEE Metadata Conference, Bethesda, Maryland, April 6-7 1999. IEEE Computer Society.
[8] R.-D. Kutsche and A. Sünbül.Metadata Support for Evolutionary Software Systems.
In Proc. XVIII International Conference of the SCCC, pages 84-90, Antofagasta, Chile, Nov 9-14 1998, IEEE Computer Society.
[9] Formalizing the UML in Structured Temporal Theories, Kevin Lano, Jean Biccaregui,
Second ECOOP Workshop on Precise Behavioral Semantics, TUM-I9813, Technische Universitat Munchen.
[10] Carine Lucas, “Documenting Reuse and evolution with reuse contracts”, PhD Dissertation, Programming Technology Lab, Vrije Universiteit Brussel, September 1997.
[11] M.Mezini, Maintaining the consistency of class libraries during their evolution. In proceedings OOPSLA’97, ACM Sigplan notices, pag.1-21, October 1997.
[12] T.Mens, C.Lucas and P.Steyaert, Giving presice semantics to evolution in the UML, In PSMT
Workshop on Precise Semantics for Software Modeling Techniques, Ed: M.Broy, D.Coleman, T.Maibaum, B.Rumpe, Technische Universitat Munchen, Report TUM-I9803, April 1998.
[13] P.Steyaert, C.Lucas, K.Mens and T.D’Hondt. Reuse Contracts: Managing the evolution of reusable assets. In proceedings of OOPSLA’96, New York, Oct 1996.
[14] James Odell. Meta-modeling. In OOPSLA'95 Workshop on Metamodeling in OO, October 1995.
[15] C.Pons, G.Baum, M.Felder, Foundations of Object-oriented modeling notations in a dynamic logic framework, In Fundamentals of Information Systems, Chapter 1, T.Polle,T.Ripke,K.Schewe Editors, Kluwer Academic Publisher, 1999.
[16] C.Pons. Ph.D Thesis, Universidad Nacional de la Plata, 1999.
[17] The Unified Modeling Language (UML) Specification – Version 1.3, July 1999. UML Specification, revised by the OMG,
[18] R.Wieringa and J.Broersen, Minimal Transition System Semantics for Lightweight Class and Behavior Diagrams, In PSMT Workshop on Precise Semantics for Software Modeling Techniques, Ed: M.Broy, D.Coleman, T.Maibaum, B.Rumpe, Technische Universitat Munchen, Report TUM-I9803, April 1998.




How to Cite

Pons, C., Baum, G. A., & Kutsche, R.-D. (2000). Model evolution and system evolution. Journal of Computer Science and Technology, 1(03), 18 p. Retrieved from



Original Articles

Most read articles by the same author(s)