A graphical approach for modeling time-dependent behavior of DSLs

Rivera, José Eduardo; Durán, Francisco; Vallecillo, Antonio

doi:10.1109/vlhcc.2009.5295300

Cited by 42 publications

(72 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We define our DSLs using the e-Motions system [48,49]. The defined DSLs are then composed using the binding-definition and composition tools described in Section 4, which implement the multi DSL amalgamation construction presented in Section 2. e-Motions is a DSL and graphical framework developed for Eclipse that supports the specification, simulation, and formal analysis of DSLs.…”

Section: Non-functional Properties Specification With E-motionsmentioning

confidence: 99%

“…Although we briefly introduce the language here, we omit all those details not relevant to this paper. We refer the interested reader to [48,49] or http://atenea.lcc.uma.es/e-Motions for additional details. Figure 7(a) shows the metamodel of a DSL for specifying Production Line Systems (PLS) for producing hammers out of hammer heads and handles, which are generated in respective machines, transported along the production line via conveyors, and temporarily stored in trays.…”

Section: Non-functional Properties Specification With E-motionsmentioning

confidence: 99%

“…We present an implementation of these mechanisms as an extension of the e-Motions system, and show its use in our case study. Although we motivate and illustrate our approach using the e-Motions language [48], our proposal is language-independent, and all the results are presented for GTSs and adhesive HLR systems [40,18].…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Amalgamation of domain specific languages with behaviour

Durán

Moreno-Delgado

Orejas

et al. 2017

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

Domain-specific languages (DSLs) become more useful the more specific they are to a particular domain. The resulting need for developing a substantial number of DSLs can only be satisfied if DSL development can be made as efficient as possible. One way in which to address this challenge is by enabling the reuse of (partial) DSLs in the construction of new DSLs. Reuse of DSLs builds on two foundations: a notion of DSL composition and theoretical results ensuring the safeness of composing DSLs with respect to the semantics of the component DSLs.Given a graph-grammar formalisation of DSLs, in this paper, we build on graph transformation system morphisms to define parameterized DSLs and their instantiation by an amalgamation construction. Results on the protection of the behaviour along the induced morphisms allow us to safely reuse and combine definitions of DSLs to build more complex ones. We illustrate our proposal in e-Motions for a DSL for productionline systems and three independent DSLs for describing non-functional properties, namely response time, throughput, and failure rate.

show abstract

Section: Non-functional Properties Specification With E-motionsmentioning

confidence: 99%

Section: Non-functional Properties Specification With E-motionsmentioning

confidence: 99%

See 1 more Smart Citation

Amalgamation of domain specific languages with behaviour

Durán

Moreno-Delgado

Orejas

et al. 2017

Journal of Logical and Algebraic Methods in Programming

View full text Add to dashboard Cite

show abstract

“…In this section, we use e-Motions [38,39] to provide a motivating example, adapted from [45], as well as intuitions for the formal framework developed. However, as stated in the previous section, the framework itself is independent of such a language.…”

Section: Nfp Specification With E-motionsmentioning

confidence: 99%

“…We give a construction for the amalgamation of GTSs, as a base for the composition of GTSs, and we prove it to protect behaviour under certain circumstances. Although we motivate and illustrate our approach using the e-Motions language [38,39], our proposal is language-independent, and all the results are presented for GTSs and adhesive HLR systems [32,14].…”

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

Search‐based model transformations

Fleck

Troya

Wimmer

2016

J Software Evolu Process

View full text Add to dashboard Cite

Model transformations are an important cornerstone of model‐driven engineering, a discipline which facilitates the abstraction of relevant information of a system as models. The success of the final system mainly depends on the optimization of these models through model transformations. Currently, the application of transformations is realized either by following the apply‐as‐long‐as‐possible strategy or by the provision of explicit rule orchestrations. This implies two main limitations. First, the optimization objectives are implicitly hidden in the transformation rules and their orchestration. Second, manually finding the best orchestration for a particular scenario is a major challenge due to the high number of possible combinations. To overcome these limitations, we present a novel framework that builds on the non‐intrusive integration of optimization and model transformation technologies. In particular, we formulate the transformation orchestration task as an optimization problem, which allows for the efficient exploration of the transformation space and explication of the transformation objectives. Our generic framework provides several search algorithms and guides the user in providing a proper search configuration. We present different instantiations of our framework to demonstrate its feasibility, applicability, and benefits using several case studies. Copyright © 2016 John Wiley & Sons, Ltd.

show abstract

A graphical approach for modeling time-dependent behavior of DSLs

Cited by 42 publications

References 7 publications

Amalgamation of domain specific languages with behaviour

Amalgamation of domain specific languages with behaviour

Behaviour Protection in Modular Rule-Based System Specifications

Search‐based model transformations

Contact Info

Product

Resources

About