Model evolution and management

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6100 LNCS, Issue , 2010, Pages 241-270

  Levendovszky, Tihamer ^a   Rumpe, Bernhard ^b   Schätz, Bernhard ^c   Sprinkle, Jonathan ^d  

^a VANDERBILT UNIVERSITY   (United States)

^b RWTH AACHEN UNIVERSITY   (Germany)

^c FORTISS GMBH   (Germany)

^d UNIVERSITY OF ARIZONA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX SOFTWARE; DEVELOPMENT TECHNIQUE; DEVELOPMENT TOOLS; MODEL EVOLUTION; MODEL MANAGEMENT; PRODUCT REQUIREMENTS; PRODUCT TECHNOLOGY; STATE OF THE ART; SYSTEMS DEVELOPMENT;

EMBEDDED SYSTEMS; PLANNING; QUALITY MANAGEMENT;

REAL TIME SYSTEMS;

EID: 78449246576     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16277-0_9     Document Type: Conference Paper

References (52)

1. 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)
2. 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)
3. 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
4. MathWorks Automotive Advisory Board: Control Algorithm Modeling Guidelines Using MATLAB Simulink, Simulink, and Stateflow (2007)
5. The MathWorks: Using MATLAB (2002)
6. Bézivin, J.: On the unification power of models. Software and Systems Modeling 4(2), 171-188 (2005)
7. 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)
8. Deissenboeck, F., Juergens, E., Hummel, B., Wagner, S., Parareda, B.M., Pizka, M.: Tool Support for Continuous Quality Control. IEEE Software 25(5) (2008)
9. 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)
10. OMG: Object Constraint Language Specification. Technical Report 1.1, ad/97- 08-08, Object Management Group, OMG (1997), http://www.omg.org
11. 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)
12. 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)
13. Pretschner, A., Prenninger, W.: Computing refactorings of state machines. Software and Systems Modeling 6(4), 381-399 (2007)
14. 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)
15. Porres, I.: Rule-based update transformations and their application to model refactorings. Software and Systems Modeling 4(5), 368-385 (2005)
16. Mens, T., Taentzer, G., Runge, O.: Analysing refactoring dependencies using graph transformation. Software and Systems Modeling 6(3), 269-285 (2007) (Pubitemid 47278595)
17. Klar, F., Königs, A., Schürr, A.: Model transformation in the large. In: ESEC/FSE 2007. ACM Press, New York (2007)
18. 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)
19. Grunske, L., Geiger, L., Lawley, M.: A graphical specification of model transformations with triple graph grammars. In: Hartman, A., Kreische, D. (eds.) ECMDAFA 2005. LNCS, vol. 3748, pp. 284-298. Springer, Heidelberg (2005)
20. Minas, M.: Spezifikation und Generierung graphischer Diagrammeditoren. Habilitation, Universität Erlangen-Nürnberg (2001)
21. 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)
22. Sprinkle, J., Agrawal, A., Levendovszky, T.: Domain Model Translation Using Graph Transformations. In: ECBS 2003 - Engineering of Computer-Based Systems (2003)
23. Rozenberg, G. (ed.): Handbook on Graph Grammars and Computing by Graph Transformation: Foundations. World Scientific, Singapore (1997)
24. 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)
25. 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)
26. 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
27. 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)
28. 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)
29. 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)
30. 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)
31. Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621-646 (2006)
32. 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)
33. Schmidt, M.: Generische, auf Ähnlichkeiten basierende Berechnung von Modelldifferenzen. SiDiff 27(2) (2007)
34. Bernstein, P.A., Melnik, S.: Model Management 2.0: Manipulating Richer Mappings. In: SIGMOD 2007 (2007)
35. 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)
36. 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
37. 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)
38. France, R., Ghosh, S., Song, E., Kim, D.K.: A metamodeling approach to pattern-based model refactoring. IEEE Softw. 20(5), 52-58 (2003)
39. Ambler, S.W.: Agile Modeling: Effective Practices for Extreme Programming and the Unified Process. Wiley, Chichester (2002), ISBN: 978-0471202820
40. Woodcock, J., Davies, J.: Using Z: Specification, Refinment and Proof. Prentice- Hall, Englewood Cliffs (1996), ISBN: 0-13-948472-8
41. 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)
42. 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)
43. 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)
44. Sprinkle, J.: Metamodel Driven Model Migration. PhD thesis, Vanderbilt University, Nashville, TN 37203 (August 2003)
45. 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
46. 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)
47. Bell, P.: Automated transformation of statements within in evolving domainspecific 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)
48. Tratt, L.: Model transformations and tool integration. Software and Systems Modeling 4(2), 112-122 (2005)
49. 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)
50. Mens, T.: A state-of-the-art survey on software merging. IEEE Transactions on Software Engineering 28(5), 449-462 (2002)
51. 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)
52. 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)