AbstractIn this paper we present a model transformation from a visual representation (VisualOCL) of the Object Constraint Language (OCL) to the textual one using graph transformation. Starting from VisualOCL diagrams, we show how their underlying abstract syntax can be modeled by typed attributed graphs and converted into an OCL string representation using graph transformation rules
Model-Driven Architecture standardized by OMG facilitates separating the platform-independent part (...
Metamodeling became in the last decade a widely accepted tool to describe the (abstract) syntax of m...
Model processing tasks, like model checking, merging, slicing, and synthesis, need efficient and mai...
AbstractIn this paper we present a model transformation from a visual representation (VisualOCL) of ...
We compare two visualizations of OCL, VisualOCL and Constraint Diagrams, and establish some of their...
AbstractThe Object Constraint Language OCL is an integral part of UML, the Unified Modeling Language...
The formal approach to visual language definition is to use graph grammars and/or graph transformati...
In this paper we present an approach for the analysis of graph transformation rules based on an inte...
The final publication is available at Springer via http://dx.doi.org/10.1007/s10270-009-0129-0In thi...
The Object Constraint Language (OCL) is a precise language for notating behavioural constraints on U...
The growing importance of modeling and model transformation has attracted attention to create precis...
AbstractIn this paper we present an approach that allows to validate properties of UML models. The a...
Abstract: Constraint handling is one of the most focused research field in both model validation and...
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It ...
AbstractThe meta modeling approach to syntax definition of visual modeling techniques has gained wid...
Model-Driven Architecture standardized by OMG facilitates separating the platform-independent part (...
Metamodeling became in the last decade a widely accepted tool to describe the (abstract) syntax of m...
Model processing tasks, like model checking, merging, slicing, and synthesis, need efficient and mai...
AbstractIn this paper we present a model transformation from a visual representation (VisualOCL) of ...
We compare two visualizations of OCL, VisualOCL and Constraint Diagrams, and establish some of their...
AbstractThe Object Constraint Language OCL is an integral part of UML, the Unified Modeling Language...
The formal approach to visual language definition is to use graph grammars and/or graph transformati...
In this paper we present an approach for the analysis of graph transformation rules based on an inte...
The final publication is available at Springer via http://dx.doi.org/10.1007/s10270-009-0129-0In thi...
The Object Constraint Language (OCL) is a precise language for notating behavioural constraints on U...
The growing importance of modeling and model transformation has attracted attention to create precis...
AbstractIn this paper we present an approach that allows to validate properties of UML models. The a...
Abstract: Constraint handling is one of the most focused research field in both model validation and...
The Unified Modeling Language (UML) is a set of notations for modelling object-oriented systems. It ...
AbstractThe meta modeling approach to syntax definition of visual modeling techniques has gained wid...
Model-Driven Architecture standardized by OMG facilitates separating the platform-independent part (...
Metamodeling became in the last decade a widely accepted tool to describe the (abstract) syntax of m...
Model processing tasks, like model checking, merging, slicing, and synthesis, need efficient and mai...