Skip to search formSkip to main contentSkip to account menu

Object Constraint Language

Known as: OCL, ObjectConstraintLanguage 
The Object Constraint Language (OCL) is a declarative language for describing rules that apply to Unified Modeling Language (UML) models developed at… 
Wikipedia (opens in a new tab)

Related topics

Related topics

40 relations
Alloy (specification language)ArgoUMLDomain-specific languageEclipse

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The Object Constraint Language (OCL)
Currently, UML is widely accepted by the software industry to be the modeling language used to construct models. Several UML… 
Highly Cited
2012
Highly Cited
2012
ATLTest: a white-box test generation approach for ATL transformations
MDE is being applied to the development of increasingly complex systems that require larger model transformations. Given that the… 
Highly Cited
2011
Highly Cited
2011
After-the-Fact Leakage in Public-Key Encryption
What does it mean for an encryption scheme to be leakage-resilient? Prior formulations require that the scheme remains… 
2008
2008
Towards a Catalogue of Patterns for defining Metrics over i* Models
Metrics applied at the early stages of the Information Systems development process are useful for assessing further decisions… 
Review
2008
Review
2008
A theoretical and experimental study of geometric networks
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important… 
Highly Cited
2005
Highly Cited
2005
A Detailed Comparison of UML and OWL
As models and ontologies assume an increasingly central role in software and information systems engineering, the question of how… 
Review
2004
Review
2004
AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling
The Agent Modeling Language(AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a… 
2004
2004
Formalizing metrics for COTS
This paper describes a technique for formalizing metrics for COTS-based architectures. This technique is built upon the UML 2.0… 
2002
2002
An Extension of OCL with Temporal Logic
. UML class diagrams are widely used to model the static structure of object-oriented software systems. As a supplement, OCL… 
2002
2002
A UML Profile for Real-Time Constraints with the OCL
This article presents a UML profile for an OCL extension that enables modelers to specify behavioral, state-oriented real-time… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)