VIATRA - visual automated transformations for formal verification and validation of UML models

Csertán, György; Huszerl, Gabör; Majzik, István; Pap, Zsigmond; Pataricza, András; Varró, Dániel

doi:10.1109/ase.2002.1115027

Cited by 119 publications

(86 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…For instance, [53] presents a language to design transformations, but focused only on their implementation. There are several approaches that use UML object diagrams to represent each rule pre and postconditions [11,20] as well as notations similar to activity diagrams to represent rule control flow. As an example, UML-like class diagrams are used to represent the structure of rules and cover the low-level design of transformations in [18].…”

Section: Requirements and Analysis Very Few Attempts Tomentioning

confidence: 99%

Engineering model transformations with transML

et al. 2011

View full text Add to dashboard Cite

El acceso a la versión del editor puede requerir la suscripción del recurso Access to the published version may require subscription Abstract Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity and size of model transformations as well. Even though many transformation languages and tools have been proposed in the last few years, most of them are directed to the implementation phase of transformation development. In this way, even though transformations should be built using sound engineering principles -just like any other kind of software -there is currently a lack of cohesive support for the other phases of the transformation development, like requirements, analysis, design and testing.In this paper, we propose a unified family of languages to cover the life-cycle of transformation development enabling the engineering of transformations. Moreover, following an MDE approach, we provide tools to partially automate the progressive refinement of models between the different phases and the generation of code for several transformation implementation languages.

show abstract

Section: Requirements and Analysis Very Few Attempts Tomentioning

confidence: 99%

Engineering model transformations with transML

et al. 2011

View full text Add to dashboard Cite

show abstract

“…The problems of calculating properties of rich syntax, composing syntax with known properties, and constructing design space representations have not received the same attention from graph-theoretic methods. For example, the model transformation tool VIATRA [17] supports executable Horn logic (i.e. Prolog) to specify transformations, but does not focus on restricting expressiveness for the purpose of analysis.…”

Section: Related Workmentioning

confidence: 99%

“…This is accomplished by specifying transformations rules as formulas that deduce the elements of the output model realization from the input model realization. This approach is similar in spirit to the declarative subset of the VIATRA tool suite [17].…”

Section: Model Transformationsmentioning

confidence: 99%

Formalizing the structural semantics of domain-specific modeling languages

Jackson

Sztipanovits

2008

Softw Syst Model

View full text Add to dashboard Cite

Abstract-Model-based approaches to system design are now widespread and successful. These approaches make extensive use of model structure to describe systems using domain-specific abstractions, to specify and implement model transformations, and to analyze structural properties of models. In spite of its general importance the structural semantics of modeling languages are not well-understood. In this paper we develop the formal foundations for the structural semantics of domain specific modeling languages (DSML), including the mechanisms by which metamodels specify the structural semantics of DSMLs. Additionally, we show how our formalization can complement existing tools, and how it yields algorithms for the analysis of DSMLs and model transformations.

show abstract

“…It imposes of some restrictions on a possibility of QVT usage in the MetaLanguage system. VIATRA [15] is a transformation language, based on rules and patterns, which combines two approaches into a single specification paradigm: the algebraic approach for models description and the abstract state machines intended for exposition of control flow. Thanks to constructions of state machines the developers significantly raised the semantics of standard languages of patterns definition and graph transformation.…”

Section: Related Workmentioning

confidence: 99%