skip to main content
10.1145/1141277.1141562acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
Article

Transforming OCL constraints: a context change approach

Published: 23 April 2006 Publication History

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

[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]
Embley, D. W., Barry, D. K. and Woodfield, S. Object-Oriented Systems Analysis. A Model-Driven Approach. Yourdon, 1992.
[3]
Gogolla, M. and Richters, M. Expressing UML Class Diagrams Properties with OCL. in Clark, A. and Warmer, J. eds. Object Modeling with the OCL, Springer-Verlag, 2002, 85--114.
[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]
McAllister, A. Complete rules for n-ary relationship cardinality constraints. Data Knowl. Eng., 27 (3). 255--288.
[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

View all
  • (2017)An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistencyAutomated Software Engineering10.1007/s10515-017-0210-924:2(295-339)Online publication date: 1-Jun-2017
  • (2015)Static Fault Localization in Model TransformationsIEEE Transactions on Software Engineering10.1109/TSE.2014.237520141:5(490-506)Online publication date: 1-May-2015
  • (2012)Tool supported OCL refactoring catalogueProceedings of the 12th Workshop on OCL and Textual Modelling10.1145/2428516.2428518(7-12)Online publication date: 30-Sep-2012
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
SAC '06: Proceedings of the 2006 ACM symposium on Applied computing
April 2006
1967 pages
ISBN:1595931082
DOI:10.1145/1141277
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 April 2006

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. OCL
  2. context change
  3. integrity constraint
  4. transformation

Qualifiers

  • Article

Conference

SAC06
Sponsor:

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25
The 40th ACM/SIGAPP Symposium on Applied Computing
March 31 - April 4, 2025
Catania , Italy

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 14 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2017)An approach to translating OCL invariants into OWL 2 DL axioms for checking inconsistencyAutomated Software Engineering10.1007/s10515-017-0210-924:2(295-339)Online publication date: 1-Jun-2017
  • (2015)Static Fault Localization in Model TransformationsIEEE Transactions on Software Engineering10.1109/TSE.2014.237520141:5(490-506)Online publication date: 1-May-2015
  • (2012)Tool supported OCL refactoring catalogueProceedings of the 12th Workshop on OCL and Textual Modelling10.1145/2428516.2428518(7-12)Online publication date: 30-Sep-2012
  • (2011)Assistance System for OCL Constraints Adaptation during Metamodel EvolutionProceedings of the 2011 15th European Conference on Software Maintenance and Reengineering10.1109/CSMR.2011.21(151-160)Online publication date: 1-Mar-2011
  • (2010)Assessing the influence of import-coupling on OCL expression maintainabilityInformation Sciences: an International Journal10.1016/j.ins.2010.06.028180:20(3837-3862)Online publication date: 1-Oct-2010
  • (2009)A Framework for Modeling, Building and Maintaining Enterprise Information Systems SoftwareProceedings of the 2009 XXIII Brazilian Symposium on Software Engineering10.1109/SBES.2009.24(115-125)Online publication date: 5-Oct-2009
  • (2006)Incremental evaluation of OCL constraintsProceedings of the 18th international conference on Advanced Information Systems Engineering10.1007/11767138_7(81-95)Online publication date: 5-Jun-2006

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media