Results 171 to 180 of about 14,072 (220)
Some of the next articles are maybe not open access.
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Data and Knowledge Engineering, 2012To ensure the quality of an information system we must guarantee the correctness of the conceptual schema that represents the knowledge about its domain. The high expressivity of UML schemas annotated with textual OCL constraints enforces the need for automated reasoning techniques.
Anna Queralt +2 more
exaly +2 more sources
Lazy Evaluation for OCL. [PDF]
, 2015 The Object Constraint Language (OCL) is a central component in modeling and transformation languages such as the Unified Modeling Language (UML), the Meta Object Facility (MOF), and Query View Transformation (QVT). OCL is standardized as a strict functional language. In this article, we propose a lazy evaluation strategy for OCL.
Tisi, Massimo +2 more
openaire +3 more sources
On OCL-based imperative languages [PDF]
Science of Computer Programming, 2014 14th Brazilian Symposium on Formal Methods (SBMF), Sao Paulo, BRAZIL, SEP 26-30, 2011International audienceThe Object Constraint Language (OCL) is a well-accepted ingredient in model-driven engineering and accompanying modeling languages such as UML ...
Fabian Buttner, Martin Gogolla
exaly +2 more sources
Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012
At its origins, OCL was conceived as a strict semantics for undefinedness, with the exception of the logical connectives of type Boolean that constitute a three-valued propositional logic. Recent versions of the OCL standard added a second exception element, which, similar to the null references in programming languages, is given a non-strict semantics.
Achim D. Brucker, Burkhart Wolff
openaire +1 more source
At its origins, OCL was conceived as a strict semantics for undefinedness, with the exception of the logical connectives of type Boolean that constitute a three-valued propositional logic. Recent versions of the OCL standard added a second exception element, which, similar to the null references in programming languages, is given a non-strict semantics.
Achim D. Brucker, Burkhart Wolff
openaire +1 more source
Workshop on OCL and textual modeling
Proceedings of the 12th Workshop on OCL and Textual Modelling, 2012Modeling started out with visual notations such as UML and its precursors. As the modeling paradigm evolves and matures, there is a growing need in a proliferation of well-founded, but also easy-to-use modeling languages, adapted for specific tasks and domains, that might need to work in synergy for achieving complex applications.
Mira Balaban +3 more
openaire +1 more source
On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set
2010Modeling languages like UML or EMF support textual constraints written in OCL. OCL allows the developer to use various collection kinds for objects and values. OCL 1.4 knows sequences, sets, and bags, while OCL 2.0 adds ordered sets. We argue that this addition in the OCL standard was not carried out in a careful way and worsened conceptional problems ...
Fabian Büttner +4 more
openaire +1 more source
Software & Systems Modeling, 2003
The Object Constraint Language (OCL) is a notational language for analysis and design of software systems, which is used in conjunction with the Unified Modelling Language (UML) to specify the semantics of the building blocks precisely. OCL can also be used by other languages, notations, methods and software tools in order to specify restrictions and ...
José Ambrosio Toval Álvarez +2 more
openaire +1 more source
The Object Constraint Language (OCL) is a notational language for analysis and design of software systems, which is used in conjunction with the Unified Modelling Language (UML) to specify the semantics of the building blocks precisely. OCL can also be used by other languages, notations, methods and software tools in order to specify restrictions and ...
José Ambrosio Toval Álvarez +2 more
openaire +1 more source
2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2011
Formal methods such as B and Event-B support the achievement of correct systems design using the refinement technique. These methods allow for the description of data and actions at different levels of abstraction. The OCL provides some precision to UML models.
Mohamed Tahar Bhiri +3 more
openaire +1 more source
Formal methods such as B and Event-B support the achievement of correct systems design using the refinement technique. These methods allow for the description of data and actions at different levels of abstraction. The OCL provides some precision to UML models.
Mohamed Tahar Bhiri +3 more
openaire +1 more source
Object constraint language (OCL) [PDF]
Software Engineering Notes: an Informal Newsletter of the Special Interest Committee on Software Engineering / ACM, 2011 OCL was introduced as a part of UML in 1997 as a business modeling language by IBM. Ever since its inception, the actual use of OCL in the industry has been almost negligible, even amongst the business application development community, for which it was ...
R. K. Pandey
exaly +2 more sources
2002
An extension of the "Object Constraint Language" (OCL) for modeling real-time and reactive systems in the "Unified Modeling Language" (UML) is proposed, called OCL/RT. A general notion of events that may carry time stamps is introduced providing means to describe the detailed dynamic and timing behaviour of UML software models.
Cengarle, María Victoria +1 more
openaire +1 more source
An extension of the "Object Constraint Language" (OCL) for modeling real-time and reactive systems in the "Unified Modeling Language" (UML) is proposed, called OCL/RT. A general notion of events that may carry time stamps is introduced providing means to describe the detailed dynamic and timing behaviour of UML software models.
Cengarle, María Victoria +1 more
openaire +1 more source