FAQ

Object Constraint Language

An extension to UML that provides constraint and object query expressions on an object-oriented model that cannot otherwise be expressed by… (More)
National Institutes of Health

Topic mentions per year

Topic mentions per year

1981-2018
05101519812018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Model and Object Verification by Using Dresden OCL
1 The Object Constraint Language (OCL) is a formal language standardized by the OMG (Object Management Group) that allows the… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2004
2004
Description and Status Update on GELLO: a Proposed Standardized Object-Oriented Expression Language for Clinical Decision Support
A major obstacle to sharing computable clinical knowledge is the lack of a common language for specifying expressions and… (More)
  • figure 1
  • figure 2
Is this relevant?
Review
2004
Review
2004
The Object Constraint Language for UML 2.0 – Overview and Assessment
In parallel to the release of UML 2.0, also a new version of the Object Constraint Language (OCL) has been published. OCL is a… (More)
  • figure 1
Is this relevant?
2003
2003
A Constraint Diagram Reasoning System
The Unified Modeling Language (UML) is a collection of notations which are mainly diagrammatic. These notations are used by… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 6
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Using OCL to Formalize Object-Oriented Design Metrics Definitions
This paper describes the formalization effort of different sets of object-oriented metrics definitions using the Object… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2002
2002
Mapping UML Models incorporating OCL Constraints into Object-Z
Focusing on object-oriented designs, this paper proposes a mapping for translating systems modelled in the Unified Modelling… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Translating the Object Constraint Language into First-order Predicate Logic
In this paper, we define a translation of UML class diagrams with OCL constraints into first-order predicate logic. The goal is… (More)
  • figure 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Designing Data Warehouses with OO Conceptual Models
M ost developers agree that data warehouse, multidimensional database (MDB), and online analytical processing (OLAP) applications… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1999
1999
On the Expressive Power of the Object Constraint Language OCL
The Object Constraint Language (OCL) has been introduced by IBM for business modelling and adopted by UML as a mean to specify… (More)
  • figure 1
Is this relevant?
1999
1999
Time-Based Constraints in the Object Constraint Language
The Object Constraint Language (OCL) is a specification language which could be used for describing constraints on object… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?