Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,461,302 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
40 relations
Alloy (specification language)
ArgoUML
Domain-specific language
Eclipse
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The Object Constraint Language (OCL)
Petraq Papajorgji
,
P. Pardalos
2014
Corpus ID: 60283844
Currently, UML is widely accepted by the software industry to be the modeling language used to construct models. Several UML…
Expand
Highly Cited
2012
Highly Cited
2012
ATLTest: a white-box test generation approach for ATL transformations
Carlos A. González
,
Jordi Cabot
ACM/IEEE International Conference on Model Driven…
2012
Corpus ID: 7606652
MDE is being applied to the development of increasingly complex systems that require larger model transformations. Given that the…
Expand
Highly Cited
2011
Highly Cited
2011
After-the-Fact Leakage in Public-Key Encryption
S. Halevi
,
Huijia Lin
IACR Cryptology ePrint Archive
2011
Corpus ID: 17573294
What does it mean for an encryption scheme to be leakage-resilient? Prior formulations require that the scheme remains…
Expand
2008
2008
Towards a Catalogue of Patterns for defining Metrics over i* Models
Xavier Franch
,
Gemma Grau
Jornadas de Ingeniería del Software y Bases de…
2008
Corpus ID: 26661814
Metrics applied at the early stages of the Information Systems development process are useful for assessing further decisions…
Expand
Review
2008
Review
2008
A theoretical and experimental study of geometric networks
Mohammad Farshi
2008
Corpus ID: 267152010
• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important…
Expand
Highly Cited
2005
Highly Cited
2005
A Detailed Comparison of UML and OWL
C. Atkinson
,
Kilian Kiko
2005
Corpus ID: 9232334
As models and ontologies assume an increasingly central role in software and information systems engineering, the question of how…
Expand
Review
2004
Review
2004
AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling
R. Cervenka
,
Ivan Trencanský
,
M. Calisti
,
D. Greenwood
International Workshop on Agent-Oriented Software…
2004
Corpus ID: 12064948
The Agent Modeling Language(AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a…
Expand
2004
2004
Formalizing metrics for COTS
M. Goulão
International Conference on Software Engineering
2004
Corpus ID: 11802824
This paper describes a technique for formalizing metrics for COTS-based architectures. This technique is built upon the UML 2.0…
Expand
2002
2002
An Extension of OCL with Temporal Logic
P. Ziemann
,
Martin Gogolla
2002
Corpus ID: 16445010
. UML class diagrams are widely used to model the static structure of object-oriented software systems. As a supplement, OCL…
Expand
2002
2002
A UML Profile for Real-Time Constraints with the OCL
S. Flake
,
W. Müller
International Conference on the Unified Modeling…
2002
Corpus ID: 15292334
This article presents a UML profile for an OCL extension that enables modelers to specify behavioral, state-oriented real-time…
Expand
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)
ACCEPT & CONTINUE