Constraint validation in model compilers

Journal of Object Technology

Volumn 5, Issue 4, 2006, Pages 107-127

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

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33744792361     PISSN: 16601769     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2006.5.4.a3     Document Type: Article

References (21)

1. [Akehurst03] D. Akehurst, O. Patrascoiu: "OCL 2.0 - Implementing the Standard for Multiple Metamodels", Workshop Proceedings, 6th International Conference on the Unified Modeling Language and its Applications, «UML» 2003, Electronic Notes in Theoretical Computer Science (ENTCS), October 2003.
2. [Blostein95] D. Blostein, H. Fahmy, A. Grbavec: "Practical Use of Graph Rewriting", Technical Report No. 95-373, Department of Computing and Information Science, Queen's University, Kingston, Ontario, Canada, January, 1995.
3. [Czarnecki00] K. Czarnecki et al.: "Generative programming: methods, tools, and applications", Addison-Wesley, 2000.
4. [Ehrig97] H. Ehrig (ed.): "Handbook on Graph Grammars and Computing by Graph Transformation: Foundations", Vol. 2. World Scientific, Singapore, 1997.
5. [Hamie98] A. Hamie, J. Howse, S. Kent: "Interpreting the Object Constraint Language", Proceedings 5th Asia Pacific Software Engineering Conference (APSEC '98), December 2-4, 1998, Taipei, Taiwan, 1998.
6. [Karsai03] G. Karsai, A. Agrawal, F. Shi, J. Sprinkle: "On the Use of Graph Transformations for the Formal Specification of Model Interpreters", Journal of Universal Computer Science, Special issue on Formal Specification of CBS, 2003.
7. [Lengyel05a] L. Lengyel, T. Levendovszky, P. Kozma, H. Charaf: "Compiling and validating OCL constraints in metamodeling environments and visual model compilers", IASTED on SE, Feb. 15-17, 2005, Innsbruck, Austria, pp. 48-54.
8. [Lengyel05b] L. Lengyel, T. Levendovszky, H. Charaf: "Implementing an OCL Compiler for NET", In Proceedings of the 3rd International Conference on .NET Technologies, Pilsen, Czech Republic, May-June 2005, pp. 121-130.
9. [Levendovszky04a] T. Levendovszky, L. Lengyel, G. Mezei, H. Charaf: "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
10. [Levendovszky04b] T. Levendovszky, L. Lengyel, H. Charaf: "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.
11. [Levendovszky04c] T. Levendovszky, L. Lengyel, H. Charaf: "Software Composition with a Multipurpose Modeling and Model Transformation Framework", LASTED 2004, Innsbruck, 2004, pp.590-594
12. [Levendovszky05] T. Levendovszky, H. Charaf: "Pattern Matching in Metamodel-Based Model Transformation Systems", submitted to Periodica Polytechnica Electrical Engineering, ISSN 0324-6000
13. [Loecher03] S. Loecher, S. Ocke: "A Metamodel-Based OCL-Compiler 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, «UML»2003, ENTCS, October 2003
14. [Meyer88] B. Meyer: "Object-Oriented Software Construction", Prentice Hall, New York, 1988
15. [.NET] Microsoft.NET Framework http://msdn.microsoft.com/netframework/
16. [OMG MDA] MDA Guide Version 1.0.1, OMG, doc. number: omg/2003-06-01, June 2003 www.omg.org/docs/omg/03-06-01.pdf
17. [OMG OCL] Object Constraint Language Specification (OCL), www.omg.org
18. [OMG UML] UML 2.0 Specifications, http://www.omg.org/uml/
19. [PROGRES] PROGRES system can be downloaded from http://www-i3.informatik. rwth-aachen.de/research/proiects/progres/main.html
20. [Rozenberg97] G. Rozenberg (ed.): "Handbook on Graph Grammars and Computing by Graph Transformation: Foundations", Vol.1 World Scientific, Singapore, 1997
21. [VMTS] VMTS Web Site, http://avalon.aut.bme.hu/~tihamer/research/vmts/