Model-based DSL frameworks

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn 2006, Issue , 2006, Pages 602-615

  Kurtev, Ivan ^a   Bézivin, Jean ^a   Jouault, Frédéric ^a   Valduriez, Patrick ^a  

^a UNIVERSITÉ DE NANTES   (France)

Author keywords

DSL engineering; MDA; Model driven engineering; Tool based approaches

Indexed keywords

INFORMATION RETRIEVAL SYSTEMS; JAVA PROGRAMMING LANGUAGE; PROBLEM SOLVING; XML;

DSL ENGINEERING; MODEL-DRIVEN ENGINEERING; TOOL-BASED APPROACHES;

COMPUTER ARCHITECTURE;

EID: 34248384412     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1176617.1176632     Document Type: Conference Paper

References (52)

1. Agrawal A., Karsai G., Kalmar Z., Neema S., Shi F., Vizhanyo A. The Design of a Simple Language for Graph Transformations, Journal in Software and System Modeling, 2005
2. Apostel, L. Towards the formal study of models in the nonformal sciences. In H. Freudenthal (Ed.), The concept and the role of the model in mathematics and natural and social sciences. D. Reidel Publishing Company, Dordrecht, the Netherlands, 1960
3. ATL, ATLAS Transformation Language Reference site http://www.sciences. univ-nantes.rr/lina/atl/
4. ATLAS Group KM3: Kernel MetaMetaModel. Available from http://dev.eclipse.org/viewcvs/indextech.cgi/~checkout~/gmt-home/doc/atl/index. html
5. Bates, D. & al. The R language definition for statistical data analysis. http://stat.ethz.ch/R-manual/R-patched/doc/manual/R-lang.html
6. Bell, J., Bellegarde, F., Hook, J., Kieburtz, R. B., Kotov, A., Lewis, J., McKinney, L., Oliva, D. P., Sheard, T., Tong, L., Walton, L., and Zhou, T. Software design for reliability and reuse: a proof-of-concept demonstration. In Proceedings of the Conference on Tri-Ada '94 (Baltimore, Maryland, United States, November 06-11, 1994)
7. Bézivin, J. On the Unification Power of Models, Software and System Modeling, SoSym Journal, 4(2):171-188, 2005
8. Bézivin, J. sNets: A First Generation Model Engineering Platform. In: Springer-Verlag, Lecture Notes in Computer Science, Volume 3844, Satellite Events at the MoDELS 2005 Conference, edited by Jean-Michel Bruel. Montego Bay, Jamaica, pages 169-181
9. Bézivin, J., DiRuscio, D., Jouault, F., Kurtev, I., Pierantonio, A. A practical Experiment to Give Execution Semantics to a DSL for Telephony Services Development, Submitted for Publication, March 2006
10. Bézivin, J., Hillairet, G., Jouault, F., Kurtev, I., Piers, W. Bridging the MS/DSL Tools and the eclipse EMF Framework. OOPSLA Workshop on Software Factories, http://softwarefactories.com/workshops/OOPSLA-2005/Papers/ Bezivin.pdf
11. Bézivin, J., Brunette, C., Chevrel, R., Jouault, F., and Kurtev, I. Bridging the Generic Modeling Environment (GME) and the Eclipse Modeling Framework (EMF). Proceedings of the Best Practices for Model Driven Software Development at OOPSLA'05, San Diego, California, USA, http://www.softmetaware. com/oopsla2005/bezivin2.pdf
12. Bézivin, J., Jouault, F., Rosenthal, P., Valduriez, P. Modeling in the Large and Modeling in the Small. MDAFA'2004, Springer-Verlag LNCS 3599, pages 33-46.
13. Bézivin, J., Jouault, F., Valduriez, P., On the Need for Megamodels, OOPSLA & GPCE, Workshop on best MDSD practices, Vancouver, Canada, 2004
14. Bézivin, J., Kurtev, I. Model-based Technology Integration with the Technical Space Concept, In Metainformatics Symposium 2005, Esbjerg, Denmark, November 2005, to be published in LNCS volume
15. Borger, E. High Level System Design and Analysis using Abstract State Machines. In FMTrends 98, Current Trends in Applied Formal Methods, volume 1641 of LNCS, pages 1-43. Springer, 1999
16. Bugzilla official site, http://www.bugzilla.org
17. Burgy, L., Consel, C., Latry, F., Lawall, J., Reveillère, L., Palix, N. Language technology for internet-telephony service creation, to appear In IEEE International Conference on Communications, 2006
18. Cantwell Smith, B. The Limits of Correctness; a paper prepared for the Symposium on Unintentional Nuclear War, Fifth Congress of the International Physicians for the Prevention of Nuclear War, Budapest, Hungary, June 28 - July 1 1985
19. Consel, C. Domain Specific Languages. LABRI, Bordeaux, http://compose.labri.fr/documentation/dsl/
20. Didonet Del Fabro, M., Bézivin, J., Jouault, F., and Valduriez, P., Applying Generic Model Management to Data Mapping, in proceedings of the Journées Bases de Données Avancées (BDA05), France, 2005
21. Eclipse Modeling Framework http://www.eclipse.org/emf/
22. Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. In Graph Transformations: Second International Conference, ICGT 2004. Volume 3256 of Lecture Notes in Computer Science., Springer-Verlag (2004) 161-177
23. Gansner, E.R., North, S.C. An open graph visualization system and its applications to software engineering. Software - Practice and Experience, Volume 30, Issue 11, Pages 1203-1233, 2000
24. GMT, General Model Transformer Eclipse Project, http://www.eclipse.org/ gmt/
25. GME, The Generic Modeling Environment, Reference site. http://www.isis.vanderbilt.edu/Projects/gme/
26. Greenfield, J., Short, K., Cook, S., Kent, S., Software Factories, Wiley, ISBN 0-471-20284-3, 2004
27. Gruber, T. R. Toward Principles for the Design of Ontologies Used for Knowledge Sharing.,International Journal of Human and Computer Studies, 43(5/6): 907-928, 1995
28. Hajiyev, E., Verbaere, M., de Moor, O. CodeQuest: Scalable Source Code Queries with Datalog Programming Tools ECOOP'2006, Nantes, July 2006
29. Hughes, R.I.G., The Ising model, computer simulation, and universal physics. In M. Morgan and M. Morrison (Eds.), Models as mediators. Perspectives on natural and social science. Cambridge University Press, 1999
30. Jouault, F: Loosely Coupled Traceability for ATL. In: Proceedings of the European Conference on Model Driven Architecture (ECMDA) workshop on traceability, Nuremberg, Germany
31. Jouault, F., Kurtev, I. Transforming Models with ATL, Workshop Model Transformations in Practice, collocated with MoDELS 2005, Montego Bay, Jamaica, October 2005
32. Jouault, F, Kurtev, I. On the Architectural Alignment of ATL and QVT. In: Proceedings of ACM Symposium on Applied Computing (SAC 06), Model Transformation Track, Dijon, Bourgogne, France, April 2006.
33. Jouault, F., Bézivin, J. KM3: a DSL for Metamodel Specification, FMOODS 2006, Bologna, Italy, 14-16 June 2006
34. Karsai, G., Gray, J. Component Generation Technology for Semantic Tool Integration. Proceedings of IEEE Aerospace 2000 Conference, Big Sky, MT, March, 2000
35. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J. and Griswold, W.G., An Overview of AspectJ, Lecture Notes in Computer Science, Volume 2072, Jan 2001, Page 327
36. Klint, P., Lämmel, R. Kort, J., Klusener, S., Verhoef, C., Verhoeven, E.J. Engineering of Grammarware. http://www.cs.vu.nl/grammarware/
37. Kurtev, I., Bézivin, J., Aksit, M. Technical Spaces: An Initial Appraisal. CoopIS, DOA'2002 Federated Conferences, Industrial track, Irvine, 2002 http://www.sciences.univnantes.fr/lina/atl/publications/
38. Lennox, J., Wu, X., Schulzrinne, H. Call Processing Language (CPL): A Language for User Control of Internet Telephony Services. RFC 3880, http://www.ietf.org/rfc/rfc3880.txt, 2004
39. Mantis Bug Tracker official site, http://www.mantisbt.org
40. McJones, P. (ed) The 1995 SQL Reunion: People, Projects, and Politics. SRC Technical Note 1997-018, August 1997, Digital System Research Center, http://www.mcjones.org/System_R/SQL_Reunion_95/SRC-1997-018.pdf
41. Minsky, M. L. Matter, Mind and Models Semantic Information Processing, MIT Press, 1968
42. Molenaar, J. Mathematical modeling and dimensional analysis. In A. van den Burgh and J. Simonis (Eds.), Topics in Engineering Mathematics. Modeling and Methods, Kluwer Academic Publishers, 1992
43. OMG. MDA Guide version 1.0.1. OMG document omg/2003-06-01, 2003
44. OMG/MOF Meta Object Facility (MOF) Specification. OMG Document AD/97-08-14, September 1997. Available from www.omg.org
45. OMG/RFP/QVT MOF 2.0 Query/Views/Transformations RFP, OMG document ad/2002-04-10. Available from www.omg.org
46. OMG/XMI XML Model Interchange (XMI) OMG Document AD/98-10-05, October 1998. Available from www.omg.org
47. OMG. Human Usable Textual Notation (HUTN) Specification, Final Adopted Specification. OMG Document ptc-02-12-01, 2002
48. Soley, R., and the OMG staff. The Model Driven Architecture Whitepaper, OMG document, http://www.omg.org/mda
49. Tham, C-K, Buyya, R. SensorGrid: Integrating Sensor Networks and Grid Computing. Available from http://www.gridbus.org/reports/sensor-grid.pdf
50. The ATL Group, The Atlantic metamodel zoo in KM3, http://www.eclipse.org/ gmt/am3/zoos/atlanticZoo/
51. The ATL Group, ATL Transformation Examples, http://www.eclipse.org/gmt/ atl/atlTransformations/
52. Varró, D., Varró, G., Pataricza, A. Designing the automatic transformation of visual languages. Journal of Science of Computer Programming, vol. 44, pp. 205-227, Elsevier, 2002