An algebraic specification of generic OCL queries within the eclipse Modeling Framework

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

Volumn 4066 LNCS, Issue , 2006, Pages 316-330

  Boronat, Artur ^a   Oriente, Joaquín ^a   Gómez, Abel ^a   Ramos, Isidro ^a   Carsí, José Á ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Algebraic specification; MDA; Metamodeling; OCL queries and invariants

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; FORMAL LANGUAGES; LINEAR ALGEBRA; MATHEMATICAL MODELS; SEMANTICS;

ALGEBRAIC SPECIFICATION; MDA; METAMODELING; OCL QUERIES AND INVARIANTS;

QUERY LANGUAGES;

EID: 33746451731     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11787044_24     Document Type: Conference Paper

References (22)

1. Sztipanovits, J., Karsai, G.: Model-Integrated Computing. IEEE Computer Society Press 30 (1997) 110-111
2. Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture - Practice and Promise. (2003)
3. Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. John Wiley & Sons (2004)
4. OMG: Meta Object Facility (MOF) 2.0 Core Specification, ptc/04-10-15. (2004)
5. OMG: MOF 2.0 QVT final adopted specification (ptc/05-11-01). (2005)
6. Boronat, A., Carsí, J.A., Ramos, I.: Algebraic Specification of a Model Transformation Engine. Fundamental Approaches to Software Engineering, FASE'06 Springer LNCS.Vienna, Austria (2006)
7. Bézivin, J., Dupe, G., Jouault, F., Pitette, G., Rougui, J.E.: First experiments with the ATL model transformation language: Transforming XSLT into XQuery. OOPSLA 2003 Workshop.Anaheim, California (2003)
8. The Model Transformation Framework, http://www.alphaworks.ibm.com/tech/ mtf
9. Warmer, J., Kleppe, A.: The Object Constraint Language, Second Edition, Getting Your Models Ready for MDA. Addison-Wesley (2004)
10. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285 (2002) 187-243
11. Martí-Oliet, N., Meseguer, J.: Rewriting Logic: Roadmap and Bibliography. Theoretical Computer Science 285 (2002) 121-154
12. Boronat, A., Carsí, J.A., Ramos, I.: Automatic Support for Traceability in a Generic Model Management Framework. Model Driven Architecture - Foundations and Applications, First European Conference, ECMDA-FA 2005 Springer LNCS.Nuremberg, Germany (2005)
13. Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework. Addison Wesley Professional (2003)
14. Kent, U.o.: Kent Object Constraint Language Library, http://www.cs.kent. ac.uk/projects/ocl/index.html
15. Toval, A., Requena, V., Fernández, J.L.: Emerging OCL tools. Software and System Modeling 2 (2003) 248-261
16. Ahrendt, W., Baar, T., Beckert, B., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Schmitt, P.H.: The KeY System: Integrating Object-Oriented Design and Formal Methods. Fundamental Approaches to Software Engineering. 5th International Conference, FASE 2002 Springer.Grenoble, France (2002)
17. Richters, M.: The USE tool: A UML-based Specification Environment. (2001). http://www.db.informatik.uni-bremen.de/projects/USE/
18. Egea, M., Clavel, M.: The ITP/OCL tool. (2006). http://maude.sip.ucm.es/ itp/ocl/
19. Vanwormhoudt, G.: EMF OCL Plugin. (2006). http://www.enic.fr/people/ Vanwormhoudt/ siteEMFOCL/maven-reports.html
20. Eclipse Modeling Framework Technologies. (2006). http://www.eclipse.org/ emft/projects/
21. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude 2.2 manual and examples. (2005)
22. Eker, S.: Associative-Commutative Rewriting on Large Terms. Proceedings of the 14th International Conference on Rewriting Techniques and Applications (RTA 2003),Lecture Notes in Computer Science (2003)