Abstract
As complex software and systems development projects need models as an important planning, structuring and development technique, models now face issues resolved for software earlier: models need to be versioned, differences captured, syntactic and semantic correctness checked as early as possible, documented, presented in easily accessible forms, etc. Quality management needs to be established for models as well as their relationship to other models, to code and to requirement documents precisely clarified and tracked. Business and product requirements, product technologies as well as development tools evolve. This also means we need evolutionary technologies both for models within a language and if the language evolves also for an upgrade of the models.
This chapter discusses the state of the art in model management and evolution and sketches what is still necessary for models to become as usable and used as software.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Bézivin, J., Favre, J.M., Rumpe, B.: Introduction to gamma 2006 first international workshop on global integrated model management. In: GaMMa 2006: Proceedings of the 2006 International Workshop on Global Integrated Model Management, pp. 1–3. ACM, New York (2006)
Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A manifesto for model merging. In: GaMMa 2006: Proceedings of the 2006 International Workshop on Global Integrated Model Management, pp. 5–12. ACM, New York (2006)
Tolvanen, J.P., Gray, J., Sprinkle, J. (eds.): 6th OOPSLA Workshop on Domain-Specific Modeling (DSM 2006). University of Jyväskylä, Jyväskylä, Finland, OOPSLA (October 2006), ISBN: 951-39-2631-1
MathWorks Automotive Advisory Board: Control Algorithm Modeling Guidelines Using MATLAB Simulink, Simulink, and Stateflow (2007)
The MathWorks: Using MATLAB (2002)
Bézivin, J.: On the unification power of models. Software and Systems Modeling 4(2), 171–188 (2005)
Stürmer, I., Dziobek, C., Pohlheim, H.: Modeling Guidelines and Model Analysis Tools in Embedded Automotive Software Development. In: Rumpe, B., Giese, H., Klein, T., Schätz, B. (eds.) Modellbasierte Entwicklung eingebetteter Systeme (2008)
Deissenboeck, F., Juergens, E., Hummel, B., Wagner, S., Parareda, B.M., Pizka, M.: Tool Support for Continuous Quality Control. IEEE Software 25(5) (2008)
Farkas, T., Röbig, H.: Automatisierte, werkzeugübergreifende Richtlinienprüfung zur Unterstützung des Automotive-Entwicklungsprozesses. In: Rumpe, B., Giese, H., Klein, T., Schätz, B. (eds.) Modellbasierte Entwicklung eingebetteter Systeme (2006)
OMG: Object Constraint Language Specification. Technical Report 1.1, ad/97-08-08, Object Management Group, OMG (1997), http://www.omg.org
Schätz, B.: Mastering the Complexity of Embedded Systems - The AutoFocus Approach. In: Kordon, F., Lemoine, M. (eds.) Formal Techniques for Embedded Distributed Systems: From Requirements to Detailed Design. Kluwer, Dordrecht (2004)
Deissenboeck, F., Hummel, B., Jürgens, E., Schätz, B., Wagner, S., Girard, J.F., Teuchert, S.: Clone detection in automotive model-based development. In: Schäfer, W., Dwyer, M.B., Gruhn, V. (eds.) 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, pp. 603–612. ACM, New York (2008)
Pretschner, A., Prenninger, W.: Computing refactorings of state machines. Software and Systems Modeling 6(4), 381–399 (2007)
Fabro, M.D., Valduriez, P.: Semi-automatic model integration using matching transformations and weaving models. In: MT 2007 - Model Transformation Track, The 22nd Annual ACM SAC, pp. 963–970 (2007)
Porres, I.: Rule-based update transformations and their application to model refactorings. Software and Systems Modeling 4(5), 368–385 (2005)
Mens, T., Taentzer, G., Runge, O.: Analysing refactoring dependencies using graph transformation. Software and Systems Modeling 6(3), 269–285 (2007)
Klar, F., Königs, A., Schürr, A.: Model transformation in the large. In: ESEC/FSE 2007. ACM Press, New York (2007)
Varro, D., Pataricza, A.: Generic and meta-transformations for model transformation engineering. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 290–304. Springer, Heidelberg (2004)
Grunske, L., Geiger, L., Lawley, M.: A graphical specification of model transformations with triple graph grammars. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 284–298. Springer, Heidelberg (2005)
Minas, M.: Spezifikation und Generierung graphischer Diagrammeditoren. Habilitation, Universität Erlangen-Nürnberg (2001)
de Lara, J., Vangheluwe, H., Alfonseca, M.: Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. Software and Systems Modeling 3(3), 194–209 (2004)
Sprinkle, J., Agrawal, A., Levendovszky, T.: Domain Model Translation Using Graph Transformations. In: ECBS 2003 - Engineering of Computer-Based Systems (2003)
Rozenberg, G. (ed.): Handbook on Graph Grammars and Computing by Graph Transformation: Foundations. World Scientific, Singapore (1997)
Klar, F., Königs, A., Schürr, A.: Model Transformation in the Large. In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM Digital Library Proceedings, pp. 285–294. ACM Press, New York (2007)
Schürr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol. 903. Springer, Heidelberg (1995)
OMG: Initial submisison to the MOF 2.0 Q/V/T RFP. Technical Report ad/03-03-27, Object Management Group (OMG) (2003), http://www.omg.org
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I., Valduriez, P.: ATL: a QVT-like transformation language. In: OOPSLA 2006, pp. 719–720. ACM Press, New York (2006)
Gerber, A., Lawley, M., Raymond, K., Steel, J., Wood, A.: Transformation: The Missing Link of MDA. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 90–105. Springer, Heidelberg (2002)
Lawley, M., Steel, J.: Practical declarative model transformation with tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 139–150. Springer, Heidelberg (2006)
Schätz, B.: Formalization and Rule-Based Transformation of EMF Ecore-Based Models. In: Gašević, D., Lämmel, R., Van Wyk, E. (eds.) SLE 2008. LNCS, vol. 5452, pp. 227–244. Springer, Heidelberg (2009)
Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621–646 (2006)
Mens, T., Czarnecki, K., Gorp, P.V.: A taxonomy of model transformations. In: Dasgstuhl Proceedings of the Seminar on Language Engineering for Model-Driven Software Development, vol. 04101 (March 2004)
Schmidt, M.: Generische, auf Ähnlichkeiten basierende Berechnung von Modelldifferenzen. SiDiff 27(2) (2007)
Bernstein, P.A., Melnik, S.: Model Management 2.0: Manipulating Richer Mappings. In: SIGMOD 2007 (2007)
Banerjee, J., Kim, W., Kim, H.J., Korth, H.F.: Semantics and Implementation of Schema Evolution in Object-Oriented Databases. In: Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data, pp. 311–322 (1987)
Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring: Improving the Design of Existing Code. Addison-Wesley Object Technology. Addison-Wesley Professional, Reading (1999), ISBN: 978-0201485677
Zhang, J., Lin, Y., Gray, J.: Generic and domain-specific model refactoring using a model transformation engine. Research and Practice in Software Engineering, vol. II, pp. 199–218. Springer, Heidelberg (2005)
France, R., Ghosh, S., Song, E., Kim, D.K.: A metamodeling approach to pattern-based model refactoring. IEEE Softw. 20(5), 52–58 (2003)
Ambler, S.W.: Agile Modeling: Effective Practices for Extreme Programming and the Unified Process. Wiley, Chichester (2002), ISBN: 978-0471202820
Woodcock, J., Davies, J.: Using Z: Specification, Refinment and Proof. Prentice-Hall, Englewood Cliffs (1996), ISBN: 0-13-948472-8
Hoffmann, G.M., Huang, H., Wasl, S.L., Tomlin, C.J.: Quadrotor helicopter flight dynamics and control: Theory and experiment. In: Proc. AIAA Guidance, Navigation, and Control Conf. (2007)
Korel, B., Tahat, L., Vaysburg, B.: Model based regression test reduction using dependence analysis. In: Proceedings of International Conference on Software Maintenance, pp. 214–223 (2002)
Ledeczi, A., Bakay, A., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing domain-specific design environments. Computer 34(11), 44–51 (2001)
Sprinkle, J.: Metamodel Driven Model Migration. PhD thesis, Vanderbilt University, Nashville, TN 37203 (August 2003)
Sprinkle, J., Karsai, G.: A domain-specific visual language for domain model evolution. Journal of Visual Languages and Computing 15(3-4), 291–307 (2004); Special Issue: Domain-Specific Modeling with Visual Languages
Karsai, G., Agrawal, A., Shi, F., Sprinkle, J.: On the use of graph transformation in the formal specification of model interpreters. Journal of Universal Computer Science 9(11), 1296–1321 (2003)
Bell, P.: Automated transformation of statements within in evolving domain-specific languages. In: Sprinkle, J., Gray, J., Rossi, M., Tolvanen, J.P. (eds.) 7th OOPSLA Workshop on Domain-Specific Modeling (DSM 2007), Montreal, pp. 172–177 (October 2007)
Tratt, L.: Model transformations and tool integration. Software and Systems Modeling 4(2), 112–122 (2005)
Bézivin, J., Brunelière, H., Jouault, F., Kurtev, I.: Model engineering support for tool interoperability. In: MODELS Workshop in Software Model Engineering (WiSME), Montego Bay, Jamaica (September 2005)
Mens, T.: A state-of-the-art survey on software merging. IEEE Transactions on Software Engineering 28(5), 449–462 (2002)
Balasubramanian, D., van Buskirk, C., Karsai, G., Narayanan, A., Ness, S.N.B., Shi, F.: Evolving paradigms and models in multi-paradigm modeling. Technical Report ISIS-08-912-2008, Institute for Software Integrated Systems (December 2008)
Narayanan, A., Levendovszky, T., Balasubramanian, D., Karsai, G.: Automatic domain model migration to manage meta-model evolution. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 706–711. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Levendovszky, T., Rumpe, B., Schätz, B., Sprinkle, J. (2010). 9 Model Evolution and Management. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Schätz, B. (eds) Model-Based Engineering of Embedded Real-Time Systems. MBEERTS 2007. Lecture Notes in Computer Science, vol 6100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16277-0_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-16277-0_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16276-3
Online ISBN: 978-3-642-16277-0
eBook Packages: Computer ScienceComputer Science (R0)