Creating and reconciling diagrams after executing model transformations

Science of Computer Programming

Volumn 68, Issue 3, 2007, Pages 155-178

  Alanen, Marcus ^a   Lundkvist, Torbjörn ^a   Porres, Ivan ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

DI; Diagram Interchange; Model transformation; Visual languages

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; SUPERVISORY AND EXECUTIVE PROGRAMS;

DIAGRAM INTERCHANGE; MODEL TRANSFORMATION; VISUAL LANGUAGES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34548488191     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2007.05.002     Document Type: Article

References (52)

1. Alanen M., Lundkvist T., and Porres I. Comparison of modeling frameworks for software engineering. Nordic Journal of Computing 12 4 (2005) 321-342
2. Alanen M., Lundkvist T., and Porres I. A mapping language from models to DI diagrams. In: Harel D., Nierstrasz O., Whittle J., and Reggio G. (Eds). Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems. MoDELS 2006. Lecture Notes in Computer Science vol. 4199 (2006), Springer, Berlin, Heidelberg 454-468
3. Alanen M., Lundkvist T., and Porres I. Reconciling diagrams after executing model transformations. In: Haddad H.M., et al. (Ed). Proceedings of the 2006 ACM Symposium on Applied Computing (2006), ACM. 1-59593-108-2 1267-1272
4. Alanen M., and Porres I. Difference and Union of Models. In: Stevens P., Whittle J., and Booch G. (Eds). UML 2003 - The Unified Modeling Language. Lecture Notes in Computer Science vol. 2863 (2003), Spinger-Verlag 2-17
5. José Álvarez, Andy Evans, Paul Sammut, MML and the metamodel architecture, in: Jon Whittle (Ed.) WTUML: Workshop on Transformation in UML 2001, April 2001
6. Baar T. Metamodels without metacircularities. L'Objet 9 4 (2003) 95-114
7. Ralph-Johan Back, Johannes Eriksson, Luka Milovanov, Experience on using stepwise feature introduction in software construction, Technical Report 705, TUCS, 2005
8. G. Beneken, F. Marschall, A. Rausch, A model framework weaving approach - Position paper, in: Proceedings of the First Workshop on Models and Aspects - Handling Crosscutting Concerns in MDSD at the 19th European Conference on Object-Oriented Programming, ECOOP 2005, July 2005
9. Bézivin J. On the unification power of models. Springer Journal on Software and Systems Modeling 3 4 (2004)
10. Bézivin J., Bouzitouna S., Del Fabro M.D., Gervais M.-P., Jouault F., Kolovos D., Kurtev I., and Paige R. A canonical scheme for model composition. In: Rensink A., and Warmer J. (Eds). Model Driven Architecture - Foundations and Applications: Second European Conference. ECMDA-FA 2006. LNCS vol. 4066 (2006), Springer-Verlag 346-360
11. Jean Bézivin, Erwan Breton, Grégoire Dupé, Patrick Valduriez, The ATL transformation-based model management framework, Technical Report 03.08, University of Nantes, France, 2003
12. Lossan Bondé, Pierre Boulet, Jean-Luc Dekeyser, Traceability and interoperability at different levels of abstraction in model transformations, in: Forum on Specification and Design Languages, FDL'05, September 2005
13. Budinsky F., Steinberg D., Merks E., Ellersick R., and Grose T.J. Eclipse Modeling Framework (2003), Addison-Wesley Professional
14. Cabot J., and Teniente E. Determining the structural events that may violate an integrity constraint. In: Baar T., Strohmeier A., Moreira A., and Mellor S.J. (Eds). UML 2004 - The Unified Modeling Language. Model Languages and Applications. 7th International Conference. Lisbon, Portugal. LNCS vol. 3273 (2004), Springer 320-334
15. Cabot J., and Teniente E. Computing the relevant instances that may violate an OCL constraint. In: Pastor O., and Falcão e Cunha J. (Eds). Advanced Information Systems Engineering, 17th International Conference. CAiSE 2005, Porto, Portugal. LNCS vol. 3520 (2005), Springer 48-62
16. Castello R., Mili R., and Tollis I.G. Automatic layout of statecharts. Software: Practice and Experience 32 1 (2001) 25-55
17. Edgars Celms, Audris Kalnins, Lelde Lace, Diagram definition facilities based on metamodel mappings, in: Invited talk at the Third OOPSLA Workshop on Domain-Specific Modeling, October 2003
18. Tony Clark, Andy Evans, Stuart Kent, The metamodelling language calculus: Foundation semantics for UML, in: Proceedings of the Fundamental Aspects of Software Engineering, FASE, 2001, pp. 17-31
19. Akehurst D.H., Kent S., and Patrascoiu O. A relational approach to defining and implementing transformations between metamodels. Software and System Modeling 2 4 (2003) 215-239
20. de Lara Jaramillo J., Vangheluwe H., and Moreno M.A. Using meta-modelling and graph grammars to create modelling environments. Electronic Notes in Theoretical Computer Science 72 3 (2003)
21. Eiglsperger M., Kaufmann M., and Siebenhaller M. A topology-shape-metrics approach for the automatic layout of UML class diagrams. Proceedings of the 2003 ACM Symposium on Software Visualization (2003), ACM Press
22. EMF development team. The eclipse modeling framework website. http://www.eclipse.org/emf
23. Marcos Didonet Del Fabro, Jean Bézivin, Frédéric Jouault, Erwan Breton, Guillaume Gueltas, AMW: A generic model weaver, in: Proceedings of the 1ère Journée sur l'Ingénierie Dirigée par les Modèles, IDM05, 2005
24. Fondement F., and Baar T. Making metamodels aware of concrete syntax. European Conference on Model Driven Architecture. ECMDA. LNCS vol. 3748 (2005) 190-204
25. Gentleware, The poseidon for UML product. http://www.gentleware.com/
26. Harel D. On visual formalisms. Communications of the ACM 31 5 (1988) 514-530
27. Hausmann J.H., and Kent S. Visualizing model mappings in UML. SoftVis '03: Proceedings of the 2003 ACM Symposium on Software Visualization (2003), ACM Press, New York, NY, USA 169-178
28. Audris Kalnins, Janis Barzdins, Edgars Celms, Basics of model transformation language MOLA, in: Workshop on Model Transformation and Execution in the Context of MDA, ECOOP 2004, June 2004
29. Steven Kelly, Comparison of Eclipse EMF/GEF and MetaEdit+ for DSM, in: 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, Workshop on Best Practices for Model Driven Software Development, October 2004
30. Kent S. Model driven engineering. Proc. of IFM International Formal Methods 2002. LNCS vol. 2335 (2002), Springer-Verlag
31. Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack, Merging models with the epsilon merging language (EML), in: MoDELS, 2006, pp. 215-229
32. Dimitrios S. Kolovos, Richard F. Paige, Fiona A.C. Polack, On-demand merging of traceability links with models, in: Proceedings of the 2nd EC-MDA Workshop on Traceability, 2006
33. Lilius J., Lillqvist T., Lundkvist T., Oliver I., Porres I., Sandström K., Sveholm G., and Pervez Zaka A. An architecture exploration environment for system on chip design. Nordic Journal of Computing 12 4 (2005) 361-378
34. Torbjörn Lundkvist, Diagram reconciliation and interchange in a modeling tool, Master's Thesis in Computer Science, Department of Computer Science, Åbo Akademi University, Turku, Finland, November 2005
35. Luis Mandel, María Victoria Cengarle, On the expressive power of the Object Constraint Language OCL. Technical report, Forschungsinstitut fur angewandte Software-Technologie (FAST e.V.), 1999
36. Mens T., Van Der Straeten R., and D'Hondt M. Detecting and resolving model inconsistencies using transformation dependency analysis. Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems. MoDELS'06, Genoa, Italy, October. LNCS vol. 4199 (2006), Springer 200-214
37. Miroslaw Milewski, Graham Roberts, The model weaving description language (MWDL)-Towards a formal Aspect Oriented Language for MDA model transformations, in: Proceedings of the 1st Workshop on Models and Aspects - Handling Crosscutting Concerns in MDSD, in Conjunction with the 19th European Conference on Object-Oriented Programming, 2005
38. Myers E.W. An O(ND) difference algorithm and its variations. Algorithmica 1 2 (1986) 251-266
39. Jan Pettersen Nytun, Andreas Prinz, Andreas Kunert, Representation of levels and instantiation in a metamodelling environment, in: Proceedings of the 2nd Nordic Workshop on the Unified Modeling Language NWUML 2004, 2003, pp. 1-17
40. OMG, XML Metadata Interchange (XMI) specification, version 1.2, January 2002. Available at: http://www.omg.org/
41. OMG. MOF 2.0 Query/View/Transformation final adopted specification, November 2005. OMG Document ptc/05-11-01. Available at: http://www.omg.org/
42. OMG, Diagram interchange version 1.0, April 2006. OMG document formal/06-04-04. Available at: http://www.omg.org
43. OMG, Meta Object Facility (MOF) core Specification, version 2.0, January 2006. Document formal/06-01-01. Available at: http://www.omg.org/
44. OMG, Model View to diagram request for proposal, November 2006. Document ad/06-11-07. Available at: http://www.omg.org/
45. OMG, UML 2.0 Infrastructure Specification, March 2006. Document formal/05-07-05, available at: http://www.omg.org/
46. Octavian Patrascoiu, YATL: Yet another transformation language, in: Proceedings of the 1st European MDA Workshop, MDA-IA, University of Twente, The Netherlands, January 2004, pp. 83-90
47. Porres I. A toolkit for model manipulation. Springer International Journal on Software and Systems Modeling 2 4 (2003)
48. In: Rozenberg G. (Ed). Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations (1997), World Scientific
49. Stoeckle H., Grundy J.C., and Hosking J.G. Approaches to supporting software visual notation exchange. Human Centric Computing Languages and Environments (2003), IEEE Computer Society 59-66
50. Dániel Varró, Automatic program generation for and by model transformation systems, in: Hans-Jörg Kreowski, Peter Knirsch (Eds.), Proc. AGT 2002: Workshop on Applied Graph Transformation, Grenoble, France, 12-13 April 2002, pp. 161-173
51. Winter A., Kullbach B., and Riediger V. An overview of the GXL graph exchange language. Revised Lectures on Software Visualization, International Seminar (2002), Springer-Verlag, London, UK 324-336
52. Zhu N., Grundy J., and Hosking J. Pounamu: A meta-tool for multi-view visual language environment construction. VLHCC '04: Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing. VLHCC'04 (2004), IEEE Computer Society, Washington, DC, USA 254-256