Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,227,054 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.
2017
2017
An approach based on the domain perspective to develop WSAN applications
Taniro Rodrigues
,
Flávia Coimbra Delicato
,
T. Batista
,
Paulo F. Pires
,
L. Pirmez
Journal of Software and Systems Modeling
2017
Corpus ID: 1524781
As wireless sensor and actuator networks (WSANs) can be used in many different domains, WSAN applications have to be built from…
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
2014
2014
Test Data Generation for Model Transformations Combining Partition and Constraint Analysis
Carlos A. González
,
Jordi Cabot
International Conference on Model Transformation
2014
Corpus ID: 46512405
Model-Driven Engineering (MDE) is a software engineering paradigm where models play a key role. In a MDE-based development…
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
2011
2011
SBVR2UML: A Challenging Transformation
Hina Afreen
,
Imran Sarwar Bajwa
,
B. Bordbar
International Conference on Frontiers of…
2011
Corpus ID: 8808725
UML is a de-facto standard used for generating the software models. UML support visualization of the software artifacts. To…
Expand
2010
2010
The abstract semantics of tasks and activity in the discovery method
C. A. Fernández
2010
Corpus ID: 36171479
Developing software is a complex activity supported by software engineering, a discipline that is still immature in some respects…
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
Review
2006
Review
2006
Évolution des corps gras utilisés dans la formulation des rouges à lèvres au cours des quinze dernières années
H. de Clermont-Gallerande
2006
Corpus ID: 86636307
Cosmetic companies all consider the lipstick as an attractive product. It has indeed a strong image for trademarks and represents…
Expand
2005
2005
Deriving Software Product Line ’ s Architectural Requirements from Use Cases : an Experimental Approach
Alexandre 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
2004
2004
Formalizing Object-Relational Structural Metrics
A. Baroni
,
C. Calero
,
Francisco Ruiz
,
Fernando Brito e Abreu
2004
Corpus ID: 6928775
This paper describes a meta-modeling approach to formalize a set of metrics suited for object-relational databases. Those metrics…
Expand