Results 181 to 190 of about 14,072 (220)
Some of the next articles are maybe not open access.
2006 IEEE International Conference on Systems, Man and Cybernetics, 2006
System validation allows to check whether the modeled system complies with the customer requirements. For UML modeling, these requirements can be specified by the designer as invariants using the Object Constraint Language (OCL). To validate the OCL invariants, we first propose to derive the UML dynamic models to Petri nets.
openaire +1 more source
System validation allows to check whether the modeled system complies with the customer requirements. For UML modeling, these requirements can be specified by the designer as invariants using the Object Constraint Language (OCL). To validate the OCL invariants, we first propose to derive the UML dynamic models to Petri nets.
openaire +1 more source
A Visualization of OCL Using Collaborations
2001We propose a visualization of OCL within the context of the UML meta model, so that OCL expressions are represented by extending collaboration diagrams. We exploit the OCL meta model introduced in [9] and further elaborated on in [1] and base the description of properties of objects on collaborations, while classifier and association roles are used to ...
BOTTONI, Paolo Gaspare +3 more
openaire +2 more sources
2001
Compositional plug-and-play-like reuse of black box components requires sophisticated techniques to specify components, especially if we combine third-party components, which are traded on component markets, to customer-individual business application systems.
Stefan Conrad, Klaus Turowski
openaire +1 more source
Compositional plug-and-play-like reuse of black box components requires sophisticated techniques to specify components, especially if we combine third-party components, which are traded on component markets, to customer-individual business application systems.
Stefan Conrad, Klaus Turowski
openaire +1 more source
International Workshop on OCL and Textual Modeling (OCL 2023)
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2023Robert Clarisó, Lars Hamann
openaire +1 more source
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007
Executable UML allows precisely describing the software system at a higher level of abstraction. The executable models can be translated to a less abstract program-ming language completely or executed directly. Object Constraint Language (OCL), as a formal specification language, is a standard published along with UML.
Ke Jiang, Lei Zhang, Shigeru Miyake
openaire +1 more source
Executable UML allows precisely describing the software system at a higher level of abstraction. The executable models can be translated to a less abstract program-ming language completely or executed directly. Object Constraint Language (OCL), as a formal specification language, is a standard published along with UML.
Ke Jiang, Lei Zhang, Shigeru Miyake
openaire +1 more source
Partial Evaluation of OCL Expressions
2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2017In the academic literature, many uses of the Object Constraint Language (OCL) have been proposed. By contrast, the utilization of OCL in contemporary modelling tools lags behind, suggesting that leverage of OCL remains limited in practice. We consider this undeserved, and present a scheme for partially evaluating OCL expressions that allows one to ...
Bastian Ulke +2 more
openaire +1 more source
≪Java≫OCL Based on New Presentation of the OCL-Syntax
2002The Object Constraint Language (OCL) is a part of the Unified Modeling Language (UML) - an emerging standard language for object-oriented analysis and design. OCL is designed as a formal language for specifying constraints that cannot be expressed conveniently using UML's diagrammatic notation.This article describes results of a careful analysis of the
openaire +1 more source
Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275), 2005
Summary form only given, as follows. Visual modeling languages are appealing because "a picture tells more than a thousand words." The UML is such a visual language and is well known for its graphical notation and diagramming techniques. However, pictures often only tell half of the story and additional information needs to be captured in a different ...
openaire +1 more source
Summary form only given, as follows. Visual modeling languages are appealing because "a picture tells more than a thousand words." The UML is such a visual language and is well known for its graphical notation and diagramming techniques. However, pictures often only tell half of the story and additional information needs to be captured in a different ...
openaire +1 more source
OCL Extended with Temporal Logic
2004UML class diagrams have become a standard for modeling the static structure of object-oriented software systems. OCL can be used for formulating additional constraints that can not be expressed with the diagrams. In this paper, we extend OCL with temporal operators to formulate temporal constraints.
Paul Ziemann, Martin Gogolla
openaire +1 more source