Copyright and Licensing
Articles accepted for publication will be licensed under the Creative Commons BY-NC-SA. Authors must sign a non-exclusive distribution agreement after article acceptance.
Model evolution and system evolution
Keywords:
formal modeling, system evolution, model evolution, dynamic logic, UMLAbstract
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.
Downloads
Download data is not yet available.
References
[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, http://www.rational.com/
[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.
[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, http://www.rational.com/
[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.
Downloads
Published
2000-10-02
Issue
Section
Original Articles
License
How to Cite
[1]
“Model evolution and system evolution”, JCS&T, vol. 1, no. 03, p. 18 p., Oct. 2000, Accessed: Jul. 08, 2025. [Online]. Available: https://journal.info.unlp.edu.ar/JCST/article/view/1002
