Transformation techniques for OCL constraints

Science of Computer Programming

Volumn 68, Issue 3, 2007, Pages 179-195

  Cabot, J ^a   Teniente, E ^b  

^a UNIVERSITAT OBERTA DE CATALUNYA   (Spain)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Integrity constraints; OCL; Transformation

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING; CONSTRAINT THEORY; MATHEMATICAL TRANSFORMATIONS;

INTEGRITY CONSTRAINTS; PIM-TO-CODE TRANSFORMATIONS;

MARKUP LANGUAGES;

EID: 34548506230     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2007.05.001     Document Type: Article

References (22)

1. A.D. Brucker, B. Wolff, The HOL-OCL book, ETH Technical Report 525, 2006
2. Cabot J., and Teniente E. Incremental evaluation of OCL constraints. Proc. 18th Int. Conf. on Advanced Information Systems Engineering. LNCS vol. 4001 (2006) 81-95
3. Cabot J., and Teniente E. Constraint support in MDA tools: A survey. Proc. 2nd European Conference on Model Driven Architecture. LNCS vol. 4066 (2006) 256-267
4. Cabot J., and Teniente E. Transforming OCL constraints: A context change approach. Proc. of the 2006 ACM Symposium on Applied Computing (SAC), Track on Model Transformation (2006), ACM 1196-1201
5. J. Cabot, E. Teniente, A tool for the transformation of OCL constraints. [Online]. Available: www.lsi.upc.edu/~jcabot/research/OCLTransformations
6. Correa A., and Werner C. Refactoring object constraint language specifications. Software and Systems Modeling 6 (2006)
7. Dresden. Dresden OCL Toolkit. http://dresden-ocl.sourceforge.net/index.html
8. Embley D.W., Barry D.K., and Woodfield S. Object-Oriented Systems Analysis. A Model-Driven Approach. Yourdon Press Computing Series (1992), Yourdon
9. Giese M., and Larsson D. Simplifying Transformations of OCL Constraints. Proc. 8th Int. Conf. on Model Driven Engineering Languages and Systems. MODELS'05. LNCS vol. 3713 (2005) 309-323
10. Gogolla M., and Richters M. Expressing UML class diagrams properties with OCL. In: Clark A., and Warmer J. (Eds). Object Modeling with the OCL (2002), Springer-Verlag 85-114
11. ISO/TC97/SC5/WG3: Concepts and terminology for the Conceptual Schema and Information Base. ISO, 1982
12. Jungnickel D. Graphs, Networks and Algorithms (1999), Springer-Verlag
13. Holt J. UML for Systems Engineering: Watching the Wheels. 2nd ed. (2004), IEEE (Chapter 9)
14. Y. Ledru, S. Dupuy-Chessa, H. Fadil, Towards computer-aided design of OCL constraints, in: CAiSE'04 Workshops Proceedings, vol. 1. Faculty of Computer Science and Information Technology, Riga Technical University, Riga, Latvia, 2004, pp. 329-338
15. Markovic S., and Baar T. Refactoring OCL annotated UML class diagrams. Proc. 8th Int. Conf. on Model Driven Engineering Languages and Systems. MoDELS'05. Lecture Notes in Computer Science vol. 3713 (2005) 280-294
16. McAllister A. Complete rules for n-ary relationship cardinality constraints. Data Knowl. Eng. 27 (1998) 255-288
17. OMG: UML 2.0 OCL Specification. OMG Adopted Specification (ptc/03-10-14) (2003)
18. OMG: UML 2.0 Superstructure Specification. OMG Adopted Specification (ptc/03-08-02) (2003)
19. OMG: MDA Guide Version 1.0.1 (2003)
20. OMG: XML Metadata Interchange (XMI) Specification v.2.0. OMG Adopted Specification (formal/03-05-02) (2003)
21. OMG: Revised submission for MOF 2.0 Query/Views/Transformations RFP. (ad/2005-03-02) (2005)
22. Sunyé G., Pollet D., Traon Y.L., and Jézéquel J.-M. Refactoring UML models. Proc. 4th Int. Conf. on the Unified Modeling Language. UML'01. LNCS vol. 2185 (2001) 134-148