Results 291 to 300 of about 293,253 (337)
Some of the next articles are maybe not open access.
Towards efficient support for executing the Object Constraint Language
Proceedings of Technology of Object-Oriented Languages and Systems - TOOLS 30 (Cat. No.PR00278), 2003The Object Constraint Language (OCL) forms part of the UML notation as a language to complete graphical models by expressing precise constraints or assertions. As OCL is developed as a non-executable language, expressed properties cannot be embedded as executable assertions in the resulting implementations to provide correctness testing.
P. Collet, R. Rousseau
openaire +1 more source
On Formalizing the UML Object Constraint Language OCL
1998We present a formal semantics for the Object Constraint Language (OCL) which is part of the Unified Modeling Language (UML) – an emerging standard language and notation for object-oriented analysis and design. In context of information systems modeling, UML class diagrams can be utilized for describing the overall structure, whereas additional ...
Mark Richters, Martin Gogolla
openaire +1 more source
Object constraint language for code generation from activity models
Information and Software Technology, 2018Abstract Context Achieving hundred percent automation in code generation process from Unified Modeling Language (UML) models will make a drastic advancement in software industry. UML does not use a fully formalized semantics. So it leads to ambiguity during automatic implementation of UML models.
E.V. Sunitha, Philip Samuel
openaire +1 more source
Enhancing the Object Constraint Language for more expressive specifications
Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509), 2003The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of constraints which can be described using OCL include invariants on classes, types and interfaces, preconditions and postconditions of operations and methods.
openaire +1 more source
Constraint satisfaction with an object-oriented knowledge representation language
Applied Intelligence, 1994This article presents constraint satisfaction in the hybrid language LAURE. It is deductive using rules which can be processed top-down (recursive query processing) also bottom-up (production rules). Constraints, rules and methods (procedural code) can be combined.
openaire +1 more source
Toward a Unified Logistics Modeling Language: Constraints and Objectives
2016In this paper, we discuss the basic constraints and objectives of a unified logistics modeling language that allows to model dynamic logistic systems on various levels of concern from the requirements definition to their design and realization. It should, furthermore, support the compositionality and interoperability among all processes and other ...
Michael Freitag +5 more
openaire +1 more source
Object Constraint Language for Modelling Computer Games
2022 International Conference on Artificial Intelligence of Things (ICAIoT), 2022Sazan Kamal Sulaiman +1 more
openaire +1 more source
Checking BART Test Scenarios with UML’s Object Constraint Language
2006The Object Constraint Language (OCL) is part of the Unified Modelling Language (UML). Within software engineering, UML is regarded today as an important step towards development of high-quality object-oriented systems. OCL allows to sharpen UML diagrams through invariants and pre- and postconditions.
M. Gogolla, P. Ziemann
openaire +1 more source
Defect activity in metal halide perovskites with wide and narrow bandgap
Nature Reviews Materials, 2021Yang Zhou +2 more
exaly