Results 291 to 300 of about 294,479 (334)
Some of the next articles are maybe not open access.
Integrating objects with constraint-programming languages
1994Constraint-programming languages represent an emerging paradigm for solving combinatorial problems, where programs define sets of variables and sets of constraints on these variables. The execution of a constraint program determines the values of the variables that satisfy the constraints. This paper enhances the notions of variable and constraint with
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
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
Integrity Constraints Definition in Object-Oriented Conceptual Modeling Languages
2003We propose two new methods for the definition of integrity constraints in object-oriented conceptual modeling languages. The first method applies to static constraints, and consists in representing them by special operations, that we call constraint operations.
openaire +1 more source
Defect activity in metal halide perovskites with wide and narrow bandgap
Nature Reviews Materials, 2021Yang Zhou +2 more
exaly