Results 91 to 100 of about 14,072 (220)
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 [PDF]
Arch. Formal Proofs, 2014 The Unified Modeling Language (UML) is one of the few modeling languages that is widely used in industry. While UML is mostly known as diagrammatic modeling language (e.g., visualizing class models), it is complemented by a textual language, called Object Constraint Language (OCL).
Brucker, Achim D. +2 more
openaire +2 more sources
Alzheimer's &Dementia, Volume 22, Issue 6, June 2026.Abstract BACKGROUND Remote, smartphone‐based cognitive testing may improve access to cognitive assessments for Alzheimer's disease and related dementias. We evaluated the feasibility, reliability, and validity of unsupervised smartphone‐based cognitive tests in a registry‐based cohort.
Sreya Dhanam +18 more
wiley +1 more source
Electronic Communications of the EASST [PDF]
, 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üß, Volume Ocl For
core
OCL and model driven engineering [PDF]
, 2005 Precise modeling is essential to the success of the OMG's Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable models. Can OCL be extended to become a full high-level executable language
Hussmann, Heinrich +26 more
core +3 more sources
OCL: Implementing the Standard [PDF]
, 2003 OCL 2.0 is the newest version of the OMGs constraint language to accompany their suit of Object Oriented modelling languages. The use of OCL as an accompanying constraint and query language to modelling with these languages is essential.
Akehurst, David H. +2 more
core +1 more source
Object-oriented modeling and design of database federations [PDF]
We describe a logical architecture and a general semantic framework for precise specification of so-called database federations. A database federation provides for tight coupling of a collection of heterogeneous component databases into a global ...
Balsters, H.
core +1 more source
Integrating OCL and Model Transformations in Fujaba [PDF]
, 2006 This paper discusses the integration of the Dresden OCL Toolkit into the Fujaba Tool Suite. The integration not only adds OCL support for class diagrams but also makes OCL usable in Fujaba's model transformations.
Stölzel,, M +6 more
core +2 more sources
Teaching OCL Standard Library: First Part of an OCL 2.x Course [PDF]
, 2011 Our aim is to provide a complete set of materials to teach OCL. They can be used in bachelor or master programs of computer science curricula and for training in an industrial context.
Demuth, Birgit, Chimiak-Opoka, Joanna
core +2 more sources
CAAI Transactions on Intelligence TechnologyObject Constraint Language (OCL) is one kind of lightweight formal specification, which is widely used for software verification and validation in NASA and Object Management Group projects. Although OCL provides a simple expressive syntax, it is hard for
Yilong Yang +5 more
doaj +1 more source
Effect of Osteocyte-Ablation on Inorganic Phosphate Metabolism: Analysis of Bone–Kidney–Gut Axis
Frontiers in Endocrinology, 2017 In response to kidney damage, osteocytes increase the production of several hormones critically involved in mineral metabolism. Recent studies suggest that osteocyte function is altered very early in the course of chronic kidney disease.
Osamu Fujii +11 more
doaj +1 more source