Formal and Tool Support for Model Driven Engineering with Maude.

Romero, José Raúl; Rivera, José Eduardo; Durán, Francisco; Vallecillo, Antonio

doi:10.5381/jot.2007.6.9.a10

Cited by 53 publications

(44 citation statements)

References 13 publications

(16 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Examples include Category theory to detect rule dependencies [11]; Petri Nets to allow termination and confluence analysis [5]; or Maude and rewrite logic to make models amenable to reachability and model-checking analysis [12]. We have been working on the formalization of models and metamodels in equational and rewriting logic using Maude [13]. This has allowed us to specify and implement some of the most common operations on metamodels, such as subtyping or difference [14], with a very acceptable performance.…”

Section: Adding Behavioral Semantics To Dslsmentioning

confidence: 99%

Behavior, Time and Viewpoint Consistency: Three Challenges for MDE

Rivera

Romero

Vallecillo

2009

Models in Software Engineering

Self Cite

View full text Add to dashboard Cite

Abstract. Although Model Driven Software Development (MDSD) is achieving significant progress, it is still far from becoming a real Engineering discipline. In fact, many of the difficult problems of the engineering of complex software systems are still unresolved, or simplistically addressed by many of the current MDSD approaches. In this position paper we outline three of the outstanding problems that we think MDSD should tackle in order to be useful in industrial environments.

show abstract

Section: Adding Behavioral Semantics To Dslsmentioning

confidence: 99%

Behavior, Time and Viewpoint Consistency: Three Challenges for MDE

Rivera

Romero

Vallecillo

2009

Models in Software Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…For a more complete definition we refer the reader to [2]. Note as well that the <: operator defines a partial order :…”

Section: Typing Modelsmentioning

confidence: 99%

“…In a nutshell, the type of a model is essentially its metamodel (modulo its internal packaging structure) [1]. Then, the notion of model subtyping (i.e., safe replaceability) becomes easy to define [2,3] and to check by tools [2].…”

Section: Introductionmentioning

confidence: 99%

Typing Model Transformations Using Tracts

Vallecillo

Gogolla

2012

Theory and Practice of Model Transformations

Self Cite

View full text Add to dashboard Cite

Abstract. As the complexity of MDE artefacts grows, there is an increasing need to rely on precise and abstract mechanisms that allow system architects to reason about the systems they design, and to test their individual components. In particular, assigning types to models and model transformations is needed for realizing many key MDE activities. This paper presents a light-weight approach to type model transformations using tracts. Advantages and limitations of the proposal are discussed, as well as the applicability of the proposal in several settings.

show abstract

“…The Maude language [70] has been chosen in several works about model transformation. For instance, in [55] models and meta-models have been formalized in Maude, and the same authors have developed an Eclipse plug-in called Maudelling that enables the transformation of models and meta-models to the corresponding Maude specifications. Mova [56] and Moment [57] are also Maude-based modeling tools for model verification.…”

Section: Model Transformation Languagesmentioning

confidence: 99%

PTL: A model transformation language based on logic programming

Almendros-Jiménez¹,

Iribarne²,

López-Fernández³

et al. 2016

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

In this paper we present a model transformation language based on logic programming. The language, called PTL (Prolog based Transformation Language), can be considered as a hybrid language in which ATL (Atlas Transformation Language)-style rules are combined with logic rules for defining transformations. ATL-style rules are used to define mappings from source models to target models while logic rules are used as helpers. The implementation of PTL is based on the encoding of the ATL-style rules by Prolog rules. Thus, PTL makes use of Prolog as a transformation engine. We have provided a declarative semantics to PTL and proved the semantics equivalent to the encoded program. We have studied an encoding of OCL (Object Constraint Language) with Prolog goals in order to map ATL to PTL. Thus a subset of PTL can be considered equivalent to a subset of ATL. The proposed language can be also used for model validation, that is, for checking constraints on models and transformations. We have equipped our language with debugging and tracing capabilities which help developers to detect programming errors in PTL rules. Additionally, we have developed an Eclipse plugin for editing PTL programs, as well as for debugging, tracing and validation. Finally, we have evaluated the language with several transformation examples as well as tested the performance with large models.

show abstract

Formal and Tool Support for Model Driven Engineering with Maude.

Cited by 53 publications

References 13 publications

Behavior, Time and Viewpoint Consistency: Three Challenges for MDE

Behavior, Time and Viewpoint Consistency: Three Challenges for MDE

Typing Model Transformations Using Tracts

PTL: A model transformation language based on logic programming

Contact Info

Product

Resources

About