Formal and tool support for model driven engineering with Maude

Journal of Object Technology

Volumn 6, Issue 9, 2007, Pages 187-207

  Romero, J Raúl ^a   Rivera, José E ^b   Durán, Francisco ^b   Vallecillo, Antonio ^b  

^a UNIVERSITY OF CÓRDOBA   (Spain)

^b UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35548986790     PISSN: None     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2007.6.9.a10     Document Type: Conference Paper

References (19)

1. S. Alagic and P. Bernstein. A model theory for generic schema management. In G. Ghelli and G. Granne, editors, Proc. of Database Programming Languages 2001 (DPL'01), volume 2397 of Lecture Notes in Computer Science, pages 228-246. Springer-Verlag, 2002.
2. P. Bernstein. Applying model management to classical metadata problems. In Proc. of Innovative Database Research, pages 209-220, 2003.
3. J. Bézivin. On the unification power of models. Journal on Software and Systems Modeling, 4(2):171-188, 2005.
4. J. Bézivin and F. Jouault. KM3: a DSL for metamodel specification. In Procs. of the 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), volume 4037 of Lecture Notes in Computer Science, pages 171-185, Bologna, Italy, Apr. 2006. Springer-Verlag.
5. J. Bézivin, F. Jouault, P. Rosenthal, and P. Valduriez. Modeling in the large and modeling in the small. In U. Aßmann, M. Aksit, and A. Rensink, editors, Model Driven Architecture, European MDA Workshops: Foundations and Applications (MDA-FA 2003/2004), volume 3599 of Lecture Notes in Computer Science, pages 33-46. Springer-Verlag, 2005.
6. X. Blanc, M.-P. Gervais, and P. Sriplakich. Model bus: Towards the interoperability of modelig tools. In U. Aßmann, M. Aksit, and A. Rensink, editors, Model Driven Architecture, European MDA Workshops: Foundations and Applications (MDA-FA 2003/2004), volume 3599 of Lecture Notes in Computer Science, pages 17-32. Springer-Verlag, 2005.
7. A. Boronat, J. A. Carsí, and I. Ramos. Algebraic specification of a model transformation engine. In Proc. of FASE 2006, pages 262-277, Vienna, Austria, Mar. 2006.
8. C. Calero, M. Genero, and M. Piattini. Metrics for Software Conceptual Models. Imperial College Press, London, 2005.
9. K. Chen, J. Sztipanovits, S. Abdelwalhed, and E. Jackson. Semantic anchoring with model transformations. In Proc. of Model Driven Architecture: Foundations and Applications (ECMDA-FA 2005), volume 3748 of Lecture Notes in Computer Science, pages 115-129. Springer-Verlag, 2005.
10. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Quesada. Maude: specification and programming in rewriting logic. Theoretical Comput. Sci., 285:187-243, Aug. 2002.
11. M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. Maude 2.0 Manual, June 2003. http://maude.cs.uiuc.edu.
12. D. di Ruscio, F. Jouault, I. Kurtev, J. Bézivin, and A. Pierantonio. Extending AMMA for supporting dynamic semantics specifications of DSLs. Technical Report 06.02, Laboratoire d'Informatique de Nantes-Atlantique (LINA), Nantes, France, Apr. 2006. Submitted for publication.
13. J. Edwards, D. Jackson, and E. Torlak. A type system for object models. In Proc. of the 12th International Symposium on Foundations of Software Engineering (SIGSOFT'04/FSE-12), pages 189-199. ACM Press, 2004.
14. J. A. Goguen. Data, schema, ontology and logic integration. Logic Journal of the IGPL, 13(6):685-715, Nov. 2005.
15. N. Martí-Oliet and J. Meseguer. Rewriting logic: roadmap and bibliography. Theoretical Comput. Sci., 285(2):121-154, 2002.
16. I. Porres and M. Alanen. A generic deep copy algorithm for MOF-based models. In Proc. of Model Driven Architecture: Foundations and Applications (MDA-FA 2003), pages 49-60, Enschede, The Netherlands, July 2003. http://crest.abo.fi/publications/public/2002/TR486.pdf.
17. J. Steel and J. M. Jézéquel. Typing relationships in MDA. In Proc. of the 2th Second European Workshop on Model Driven Architecture (MDA), pages 154-159. University of Kent, 2004.
18. J. Steel and J.-M. Jézéquel. Model typing for improving reuse in model-driven engineering. In L. Briand and C. Williams, editors, Procs. of MoDELS 2005, volume 3713 of Lecture Notes in Computer Science, pages 84-96. Springer-Verlag, July 2005.
19. The Eclipse/GMT/AM3 project, Generative Modeling Technologies/ATLAS MegaModel Management, http://www.eclipse.org/~gmt/am3/.