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.
Highly Cited
2017
Highly Cited
2017
Explorer Pleiotropic effects of extended blockade of CSF 1 R signaling in adult mice
We investigated the role of CSF1R signaling in adult mice using prolonged treatment with anti-CSF1R antibody. Mutation of the… 
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… 
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… 
2005
2005
Articulating and enforcing authorisation policies with UML and OCL
Nowadays, more and more security-relevant data are stored on computer systems; security-critical business processes are mapped to… 
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… 
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)