Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude

Rivera, José Eduardo; Guerra, Esther; Lara, Juan de; Vallecillo, Antonio

doi:10.1007/978-3-642-00434-6_5

Cited by 42 publications

(38 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Many other works focus on the translation of the transformation to a formal domain for model checking such as Alloy in [21], Promela in [22], and Maude in [23].…”

Section: Related Workmentioning

confidence: 99%

An OCL-Based Framework for Model Transformations

Dang¹,

Gogolla

2016

JCSCE

View full text Add to dashboard Cite

Model transformation is an important building block for model-driven approaches. It puts forward a necessity and a challenge to specify and realize model transformation as well as to ensure the correctness of transformations. This paper proposes an OCL-based framework for model transformations. The formal foundation of the framework is the integration of Triple Graph Grammars and the Object Constraint Language (OCL). The OCL-based transformation framework offers an on-the-fly verification of model transformations and means for transformation quality assurance.

show abstract

“…Many other works focus on the translation of the transformation to a formal domain for model checking such as Alloy in [21], Promela in [22], and Maude in [23].…”

Section: Related Workmentioning

confidence: 99%

An OCL-Based Framework for Model Transformations

Dang¹,

Gogolla

2016

JCSCE

View full text Add to dashboard Cite

show abstract

“…In this line of work, other approaches like [51,52,57] rely on model-checking techniques to analyse reachability and invariants. In particular, in [57], rules, models and meta-models are transformed into Promela for model-checking with SPIN.…”

Section: Related Workmentioning

confidence: 99%

“…The Groove tool [51] allows also model-checking of graph grammars, by using a dedicated explicit checker. Finally, in [52] a transformation of rules into the rewriting logic system Maude is proposed, where reachability analysis and LTL model checking is performed, using the Maude model checker. These three approaches do not take into account meta-models with integrity constraints or OCL constraints in rules.…”

Section: Related Workmentioning

confidence: 99%

“…These three approaches do not take into account meta-models with integrity constraints or OCL constraints in rules. However, there are several efforts for supporting OCL in Maude, and integrating OCL in the approach of [52] is feasible. Our use of OCL as intermediate representation has the benefit that it is a tool independent, standard language, and moreover we can easily integrate attribute conditions and meta-model constraints.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

A UML/OCL framework for the analysis of graph transformation rules

et al. 2009

Self Cite

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 In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, together with the properties of interest (like rule applicability, conflicts or independence). The intermediate representation serves three purposes: (i) it allows the seamless integration of graph transformation rules with the MOF and OCL standards, and enables taking the meta-model and its OCL constraints (i.e. well-formedness rules) into account when verifying the correctness of the rules; (ii) it permits the interoperability of graph transformation concepts with a number of standards-based model-driven development tools; and (iii) it makes available a plethora of OCL tools to actually perform the rule analysis. This approach is especially useful to analyse the operational semantics of Domain Specific Visual Languages. We have automated these ideas by providing designers with tools for the graphical specification and analysis of graph transformation rules, including a backannotation mechanism that presents the analysis results in terms of the original language notation.

show abstract

“…DSML semantics can be represented in a range of different ways-for example using UML behavioural models [17,20], abstract state machines [8,2], Kermeta [34], or in-place model transformations [33,37]. In the context of MDE it seems natural to describe the semantics by means of models, so that they may be integrated with the rest of the MDE environment and tools.…”

Section: Introductionmentioning

confidence: 99%

Behaviour Protection in Modular Rule-Based System Specifications

Durán

Orejas

Zschaler

2013

Recent Trends in Algebraic Development Techniques

View full text Add to dashboard Cite

Abstract. Model-driven engineering (MDE) and, in particular, the notion of domain-specific modelling languages (DSMLs) is an increasingly popular approach to systems development. DSMLs are particularly interesting because they allow encoding domain-knowledge into a modelling language and enable full code generation and analysis based on high-level models. However, as a result of the domain-specificity of DSMLs, there is a need for many such languages. This means that their use only becomes economically viable if the development of new DSMLs can be made efficient. One way to achieve this is by reusing functionality across DSMLs. On this background, we are working on techniques for modularising DSMLs into reusable units. Specifically, we focus on DSMLs whose semantics are defined through in-place model transformations. In this paper, we present a formal framework of morphisms between graph-transformation systems (GTSs) that allow us to define a novel technique for conservative extensions of such DSMLs. In particular, we define different behaviour-aware GTS morphisms and prove that they can be used to define conservative extensions of a GTS.

show abstract

Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude

Cited by 42 publications

References 18 publications

An OCL-Based Framework for Model Transformations

An OCL-Based Framework for Model Transformations

A UML/OCL framework for the analysis of graph transformation rules

Behaviour Protection in Modular Rule-Based System Specifications

Contact Info

Product

Resources

About