Add to ORKGAbstract: In this paper we report on our experience developing the Eye OCL Software (EOS) evaluator, a Java component for efficient OCL evaluation. We first motivate the need for an efficient implementation of OCL in order to cope with novel usages of the language. We then discuss some aspects that, based on our experience, should be taken into account when building an OCL evaluator for medium-large scenarios. Finally, we explore various approaches for evaluating OCL expressions on really large scenarios
There are many benefits of checking design constraints at runtime---for example, automatic detection...
Abstract. In a model assessment framework different quality aspects can be examined. In our approach...
The Object Constraint Language OCL is a textual specification language that could be used for constr...
International audienceThe Object Constraint Language (OCL) is a central component in modeling and tr...
We present a pragmatic approach using formal methods to increase the quality of distributed componen...
Abstract. In this paper, we report on our experiences integrating OCL evaluation support in an indus...
Abstract: At this time, to decide on which tool supporting OCL to use, is a difficult task. This is ...
Abstract: Previously we have developed the idea of an Integrated Development Environment for OCL (ID...
We present a pragmatic approach using formal methods to increase the quality of distributed componen...
Abstract: In software engineering, reliability and development time are two of the most important as...
Abstract: This paper presents mOdCL, a Maude based evaluator of OCL expres-sions and validator of OC...
Abstract: OCL is used to specify systems by defining pre and post-conditions for class operations. T...
Abstract. In this paper, we describe the architecture and the functionality of our own OCL tool call...
OCL is used to specify systems by defining pre and postconditions for class operations. Typically, t...
OCL is used to specify systems by defining pre and post-conditions for class operations. Typically, ...
There are many benefits of checking design constraints at runtime---for example, automatic detection...
Abstract. In a model assessment framework different quality aspects can be examined. In our approach...
The Object Constraint Language OCL is a textual specification language that could be used for constr...
International audienceThe Object Constraint Language (OCL) is a central component in modeling and tr...
We present a pragmatic approach using formal methods to increase the quality of distributed componen...
Abstract. In this paper, we report on our experiences integrating OCL evaluation support in an indus...
Abstract: At this time, to decide on which tool supporting OCL to use, is a difficult task. This is ...
Abstract: Previously we have developed the idea of an Integrated Development Environment for OCL (ID...
We present a pragmatic approach using formal methods to increase the quality of distributed componen...
Abstract: In software engineering, reliability and development time are two of the most important as...
Abstract: This paper presents mOdCL, a Maude based evaluator of OCL expres-sions and validator of OC...
Abstract: OCL is used to specify systems by defining pre and post-conditions for class operations. T...
Abstract. In this paper, we describe the architecture and the functionality of our own OCL tool call...
OCL is used to specify systems by defining pre and postconditions for class operations. Typically, t...
OCL is used to specify systems by defining pre and post-conditions for class operations. Typically, ...
There are many benefits of checking design constraints at runtime---for example, automatic detection...
Abstract. In a model assessment framework different quality aspects can be examined. In our approach...
The Object Constraint Language OCL is a textual specification language that could be used for constr...