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… 
2013
2013
Model Querying with FunnyQT - (Extended Abstract)
FunnyQT is a new model querying and transformation approach. It is designed as an extensible API in the functional, JVM-based… 
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… 
Review
2008
Review
2008
Overview of the Project ODRA
ODRA (Object Database for Rapid Application development) is an objectoriented database management system provided as an… 
2005
2005
Foundations for MDA-based Forward Engineering
Model Driven Architecture (MDA) is an emerging technology that is supposed to provide a technical framework for information… 
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
Specifying JAVA CARD API in OCL
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)