Transforming OCL constraints

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Transforming OCL constraints: a context change approach

Full text

Pdf (152 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2006 ACM symposium on Applied computing table of contents

Dijon, France

SESSION: Model transformation (MT 2006) table of contents

Pages: 1196 - 1201

Year of Publication: 2006

ISBN:1-59593-108-2

Authors

Jordi Cabot	Universitat Oberta de Catalunya, Av. Tibidabo, Barcelona
Ernest Teniente	Universitat Politècnica de Catalunya, Campus Nord, Barcelona

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 56, Citation Count: 2

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1141277.1141562 What is a DOI?

ABSTRACT

Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the high expressiveness of the OCL, the designer has different syntactic alternatives to express each IC, mainly depending on the type used as a context of the constraint. The method presented in this paper assists the designer during the definition of ICs by means of automatically transforming the initially defined constraints into equivalent alternatives. The method is also useful in the context of the MDA, where the choice of a particular alternative has a direct effect on the efficiency of the automatically generated implementation.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Correa, A. and Werner, C., Applying Refactoring Techniques to UML/OCL Models. in 7th Int. Conf. on the Unified Modeling Language (UML'04), (2004), Springer, 173--187.
	2	David W. Embley , Barry D. Kurtz , Scott N. Woodfield, Object-oriented systems analysis: a model-driven approach, Yourdon Press, Upper Saddle River, NJ, 1991
	3	Martin Gogolla , Mark Richters, Expressing UML Class Diagrams Properties with OCL, Object Modeling with the OCL, The Rationale behind the Object Constraint Language, p.85-114, January 2002
	4	ISO/TC97/SC5/WG3. Concepts and Terminology for the Conceptual Schema and Information Base. Griethuysen, J. J. v. ed., ISO, 1982.
	5	Jungnickel, D. Graphs, networks and algorithms. Springer-Verlag, 1999.
	6	Ledru, Y., Dupuy-Chessa, S. and Fadil, H. Towards computer-aided design of OCL constraints. in CAiSE'04 Workshops Proceedings, Vol. 1, Riga Technical University, 2004, 329--338.
	7	Markovic, S. and Baar, T., Refactoring OCL Annotated UML Class Diagrams. in 8th Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS'05), (2005), LNCS, 280--294.
	8	Andrew McAllister, Complete rules for n-ary relationship cardinality constraints, Data & Knowledge Engineering, v.27 n.3, p.255-288, Oct. 1, 1998 [doi>10.1016/S0169-023X(98)00007-X ]
	9	OMG. MDA Guide Version 1.0.1. OMG ed., 2003.
	10	OMG. UML 2.0 OCL Specification. OMG ed., 2003.
	11	OMG. UML 2.0 Superstructure Specification. OMG ed., 2003.

CITED BY 2

	J. Cabot , E. Teniente, Transformation techniques for OCL constraints, Science of Computer Programming, v.68 n.3, p.179-195, October, 2007
	J. Cabot , E. Teniente, Transformation techniques for OCL constraints, Science of Computer Programming, v.68 n.3, p.152-168, October, 2007