Results 111 to 120 of about 14,072 (220)
OCL: Modularising the Language [PDF]
, 2008 The Object Constraint Language (OCL) was originally designed as an ‘add-on ’ to the Unified Modelling Language (UML) in order to facilitate writing textual constraints complementing the graphical specifications.
D. H. Akehurst +2 more
core
, 2006 . Examples of OCL use often do not exceed a few lines. Larger examples are rare, because the concrete syntax of OCL is verbose and based exclusively on ASCII encoding.
Jörn Guy Süß
core
Towards model checking OCL [PDF]
, 2000 This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems.
Rensink, Arend +6 more
core
OCLGraph: Exploiting Object Structure in a Plan Graph Algorithm [PDF]
In this paper we discuss and describe preliminary results of integrating two strands of planning research - that of using plan graphs to speed up planning, and that of using object representations to better represent planning domain models.
McCluskey, T.L., Liu, D., Simpson, R.M.
core
OCL-Lite: a decidable (yet expressive) fragment of OCL [PDF]
UML has become a de facto standard in conceptual modeling. Class diagrams in UML allow one to model the data in the domainof interest by specifying a set of graphical constraints.
Queralt Calafat, Anna +3 more
core
IET Renewable Power GenerationDirect‐drive wind farms are integrated into power grid through power electronic devices, extensively utilizing voltage source converters (VSCs) for grid connection, which has precipitated frequent stability challenges within the grid integration systems ...
Xumeng Cui, Lei Chen, Yong Min
doaj +1 more source
SAC-OCL: A Tool for A Semi Automatic Co-evolution of OCL Constraints [PDF]
, 2016 Object-Oriented Models(OOM)are widely used in Model-Driven Engineering(MDE).As a complement, OCL constraints are used to specify business rules and detailed aspects of the business domain. Automatically co-evolving OCL constraints w.r.t. the evolved OOM is challenging since alternative resolutions can be applied but also a resolution cannot be applied ...
Djamel Eddine Khelladi +2 more
openaire +1 more source
, 2008 : The Eclipse infrastructure for modeling is based on EMF, with support for OCL 2.0 provided by the Model Development Tools (MDT) project. The combined expressive power of Ecore + OCL allows capturing a sizable amount of development requirements in a ...
A. Jibran Shidqie, Miguel Garcia
core
Revista de la Asociación Española de Neuropsiquiatría, 1991 Revisión de publicaciones de Octubre, Noviembre y Diciembre de 1990 -Actas Luso-Españolas de Neurología y Psiquiatría, 19 -Acta Psychiatrica Scandinavica, Vol. 82, N.o 4, Ocl. 1990. N.o 5, Nov. 1990. N.o 6, Dic. 1990. -American Journal of Psychiatry, Vol.
L Bautista +15 more
doaj
PhotonicsAccurate pressure measurement under high-temperature conditions is challenging for silica-diaphragm-based fiber-optic Fabry–Perot (F-P) sensors because temperature causes both optical cavity length (OCL) baseline drift and pressure-sensitivity variation.
Zhaoyi Li +9 more
doaj +1 more source