Compiling and validating OCL constraints in metamodeling environments and visual model compilers

Proceedings of the IASTED International Conference on Software Engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005

Volumn , Issue , 2005, Pages 48-54

  Lengyel, László ^a   Levendovszky, Tihamér ^a   Kozma, Péter ^a   Charaf, Hassan ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Constraint checking; MDA model compiler; Metamodel based model transformation; OCL; PIM; PSM; UML

Indexed keywords

CONSTRAINT CHECKING; MODEL COMPILER; MODEL TRANSFORMATION; OCL; PIM; PSM; UML;

INFORMATION SCIENCE; SEMICONDUCTOR DEVICE MODELS; SOFTWARE ARCHITECTURE;

MODEL CHECKING;

EID: 33644904692     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Visual Modeling and Transformation System Web Site http://avalon.aut.bme. hu/~tihamer/research/vmts/.
2. Levendovszky T., Lengyel L., Mezei G., Charaf H., A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS, International Workshop on Graph-Based Tools (GraBaTs) Electronic Notes in Theoretical Computer Science, Rome, 2004.
3. MDA Guide Version 1.0.1, OMG, doc. number: omg/2003- 06-01, 12th June 2003 www.omg.org/docs/omg/03-06-01.pdf.
4. Levendovszky T., Lengyel L., Charaf H., Implementing a Metamodel-Based Model Transformation System, Buletinul Stiintific al Universitatii "Politehnica" din Timisoara, ROMANIA Seria AUTOMATICA si CALCULATOARE PERIODICA POLITECHNICA, Transactions on AUTOMATIC CONTROL and COMPUTER SCIENCE Vol.49 (63), 2004, ISSN 1224-600X.
5. Object Constraint Language Spec. (OCL), www.omg.org.
6. UML 2.0 Specifications, http://www.omg.org/uml/.
7. David Akehurst, Octavian Patrascoiu, OCL 2.0 - Implementing the Standard for Multiple Metamodels, Workshop Proceedings, 6th International Conference on the Unified Modeling Language and its Applications, UML2003, Electronic Notes in Theoretical Computer Science (ENTCS), October 2003.
8. Sten Loecher, Stefan Ocke, A Metamodel-Based OCLCompiler for UML and MOF. In OCL 2.0 - Industry standard or scientific playground, Workshop Proceedings, 6th International Conference on the Unified Modeling Language and its Applications, UML2003, Electronic Notes in Theoretical Computer Science (ENTCS), October 2003.
9. Ali Hamie, John Howse, Stuart Kent, Interpreting the Object Constraint Language, Proceedings 5th Asia Pacific Software Engineering Conference (APSEC '98), December 2-4, 1998, Taipei, Taiwan, 1998.
10. Generic Modeling Environment (GME) 2000, http://www.isis.vanderbilt.edu/ Projects/gme/default.html.
11. Karsai G. at al., On the Use of Graph Transformation in the Formal Specification of Model Interpreters, Journal of Universal Computer Science, Special issue on Formal Specification of CBS, 2003.
12. PROGRES system can be downloaded from http://mozart.informatik. rwthzaachen.de/research/projects/progres/main.html.
13. Bertrand Meyer, Object-Oriented Software Construction, Prentice Hall, New York, 1988.
14. G. Rozenberg (ed.), Handbook on Graph Grammars and Computing by Graph Transformation: Foundations, Vol.1 World Scientific, Singapore, 1997.
15. Levendovszky T., Karsai G., Maroti M., Ledeczi A., Charaf H., Model reuse with metamodel-based transformations, Lecture Notes in Computer Science - ICSR7, Austin, TX, April 18, 2002.
16. Levendovszky T., Lengyel L., Charaf H., Software Composition with a Multipurpose Modeling and Model Transformation Framework, IASTED 2004, Innsbruck, 2004, pp.590-594.