Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,374,548 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.
Highly Cited
2017
Highly Cited
2017
Explorer Pleiotropic effects of extended blockade of CSF 1 R signaling in adult mice
Kristin A. D. Sauter
,
Clare Pridans
,
+9 authors
D. Hume
2017
Corpus ID: 1153088
We investigated the role of CSF1R signaling in adult mice using prolonged treatment with anti-CSF1R antibody. Mutation of the…
Expand
2015
2015
An Efficient Computation Strategy for allInstances()
Ran Wei
,
D. Kolovos
BigMDE@STAF
2015
Corpus ID: 15791227
Contemporary model query and transformation engines typically provide built-in facilities for retrieving all instances of a…
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
2010
2010
Representational Analysis of Business Process and Business Rule Languages
Vid Prezel
,
D. Gašević
,
Milan Milanovic
2010
Corpus ID: 18411826
We conducted a representational analysis of a set of business process and business rule modeling languages by using the well…
Expand
2007
2007
Semantic Web Service Composition by Consistency-Based Model Refinement
R. Thiagarajan
,
M. Stumptner
,
Wolfgang E Mayer
IEEE Asia-Pacific Services Computing Conference
2007
Corpus ID: 1276679
Modelling complex processes in the service oriented architecture paradigm typically requires the composition of a number of…
Expand
2006
2006
Defining Patterns Using UML Profiles
N. Debnath
,
Ana Gabriela Garis
,
D. Riesco
,
G. Montejano
IEEE International Conference on Computer Systems…
2006
Corpus ID: 11837699
Sometimes, UML is not enough expressive to describe patterns property. UML profiles allow extending UML syntax and semantic for…
Expand
2006
2006
Comparative Study of Using CNet, IEC 61499, and Statecharts for Behavioral Models of Real-time Control Applications
Arastoo Barji
,
N. Hagge
,
B. Wagner
IEEE Conference on Emerging Technologies and…
2006
Corpus ID: 7033214
This paper identifies different aspects of modeling techniques used for the design and implementation of industrial distributed…
Expand
2005
2005
Foundations for MDA-based Forward Engineering
L. Favre
Journal of Object Technology
2005
Corpus ID: 2096000
Model Driven Architecture (MDA) is an emerging technology that is supposed to provide a technical framework for information…
Expand
2005
2005
Deriving Software Product Line ’ s Architectural Requirements from Use Cases : an Experimental Approach
A. Bragança
,
R. J. Machado
2005
Corpus ID: 17901744
One of the most important artifacts of a product line is the product line architecture. In this paper we present an approach for…
Expand
2002
2002
An Extension of OCL with Temporal Logic
P. Ziemann
,
M. 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
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