• Corpus ID: 59827549

Object Constraint Language Specification

@inproceedings{Ulusay1997ObjectCL,
  title={Object Constraint Language Specification},
  author={Reşat Ulusay},
  year={1997},
  url={https://api.semanticscholar.org/CorpusID:59827549}
}
The most recent updates on the Unified Modeling Language are available via the worldwide web: the UML logo is a trademark of Rational Software Corp.
people.cis.ksu.edu
128 Citations
Highly Influential Citations
9
Background Citations
31
Methods Citations
22

128 Citations

On Constraints and Queries in UML

A comparison of OCL with a language for specification of queries and integrity constraints in an Extended Entity-Relationship model shows similarities between both approaches, which could lead to a better understanding of the language.

An Extension of OCL with Temporal Logic

This paper extends OCL with elements of temporal logic, so constraints on the temporal development of the system structure as well as on the system behavior can be stated in terms of temporal invariants and pre-and postconditions.

YAAB (Yet another AST browser): using OCL to navigate ASTs

The current status in implementing an OCL interpreter with the ability of querying an object model representing the abstract syntax tree, as well as some interesting applications, such as extracting software metrics or computing clones are presented.

Support for OCL libraries and static features

Previous and new resolutions prototyped in Eclipse OCL are combined to make libraries feasible to make them feasible for re-usable use.

An OCL Extension for Low-Coupling Preserving Contracts

It is claimed that the OCL powerful mechanism of navigation through associations should be used moderately when building contracts, and that the effects of non-query operations should be allowed to be referred to within pre- and post-conditions.

A proposal for an executable equational semantics for OCL

This paper proposes a formal semantics for a significant subset of OCL, which is based on a novel mapping from UML models with OCL expressions to equational theories, which provides both a formal and an executable semantics for OCL.

When Grammars do not Suffice: Data and Content Integrity Constraints Verification in XML through a Conceptual Model

This paper examines the possibility of using Object Constraint Language (OCL) for expressing constraints over a conceptual model for XML data, and introduces a function library OclX, which provides constructs necessary to translate those OCL constructs that have no counterpart in XPath.

An extensibly dynamically typed object orientated language with an application to model transformations

A large scale example of a model transformation approa ch MT implemented as a Converge DSL is shown and used as a basis for a novel change propagating m odel transformation approach PMT which explores practical approaches to this challenging pr oblem.

On Formalizing the UML Object Constraint Language OCL

We present a formal semantics for the Object Constraint Language (OCL) which is part of the Unified Modeling Language (UML) – an emerging standard language and notation for object-oriented analysis…

Definitions and Computational Properties of OCL: A Systematic Review

A summary of available knowledge about definitions of OCL semantics and computational properties of the language encapsulates knowledge about two foundational themes of OCL that will help practitioners use it effectively and support researchers in its evolution and standardization.
...