Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio

Moreno-Delgado, Antonio; Durán, Francisco; Zschaler, Steffen; Troya, Javier

doi:10.1007/978-3-319-09195-2_9

Cited by 9 publications

(10 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This paper is an extension of our earlier work in [44,13,14]. Beyond a comprehensive presentation of the core concepts, this paper extends the work to situations where more than two DSLs need to be composed.…”

Section: Introductionmentioning

confidence: 84%

“…A first attempt to formalise the needed composition operations was provided in [13], were we provided a formal framework of such language extensions. In [44], we addressed the performance analysis problem by presenting a model-based and modular partial reimplementation of one well-known analysis framework -the Palladio Architecture Simulator. We have specified key DSLs from Palladio in e-Motions, describing the basic simulation semantics as a set of graph-transformation rules.…”

Section: Discussionmentioning

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

Self Cite

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: Introductionmentioning

confidence: 84%

Section: Discussionmentioning

confidence: 99%

Amalgamation of domain specific languages with behaviour

Durán

Moreno-Delgado

Orejas

et al. 2017

Journal of Logical and Algebraic Methods in Programming

Self Cite

View full text Add to dashboard Cite

show abstract

“…In [35], we addressed the performance analysis problem by presenting a modular, model-based partial reimplementation of one well-known analysis framework-the Palladio Architecture Simulator. We have specified key DSLs from Palladio in e-Motions, describing the basic simulation semantics as a set of graph-transformation rules.…”

Section: Discussionmentioning

confidence: 99%

“…In previous work [12,48], we have explored the modular definition of non-functional properties as parameterized DSLs in the e-Motions framework [37]. These ideas were further exploited in [35] to provide a modular reimplementation of a substantive part of the Palladio Architecture Simulator [26] to perform predictive analysis of architectural software models. In particular, we re-implemented the Palladio Component Model [1], its workload model, and parts of its stochastic expressions model.…”

Section: Non-functional Properties As Parameterized Domain Specific Lmentioning

confidence: 99%

See 1 more Smart Citation

Composition of Graph-Transformation-Based DSL Definitions by Amalgamation

Durán

2014

Rewriting Logic and Its Applications

Self Cite

View full text Add to dashboard Cite

Given a graph-grammar formalization of DSLs, we build on graph transformation system morphisms to define parameterized DSLs and their instantiation by an amalgamation construction. Results on the protection of the behavior along the induced morphisms allow us to safely combine definitions of DSLs to build more complex ones. We illustrate our proposal on our e-Motions definition of the Palladio DSL. The resulting DSL allows us to carry on performance analysis on Palladio models.Graph transformation [14,42] is a formal, graphical and natural way of expressing graph manipulation based on rewriting rules. In graph-based modelling (and meta-modelling), graphs are used to define the static structures, such as class and object ones, which represent visual alphabets and sentences over them. A more detailed presentation of the results in this section may be found in [11]. Rules, Rule Morphisms, and Rule AmalgamationsOur formalisation is developed for weak adhesive high-level replacement (HLR) categories [14], making it much more general. The concepts of adhesive and

show abstract

A procedural and flexible approach for specification, modeling, definition, and analysis for self‐adaptive systems

2021

Self Cite

View full text Add to dashboard Cite

An adaptive system can modify its settings at runtime as a response to changes in its operational environment. To analyse this kind of systems at design time is a difficult task since it requires considering the system together with the adaptation operations, and taking into account how such adaptations act on the system. In order to use simulation-based techniques for the analysis of such systems, we not only need precise executable models of the systems to be analyzed, but also to capture the semantics of their adaptation mechanisms. Given the wide range and flexibility of adaptation operations, we need ways to allow the definition of new operations. We present a flexible approach for the definition and simulation-based analysis in design-time of adaptive component-based systems. Our approach combines an extension of the Palladio component model in e-Motions, a model of the adaptation mechanisms, and elastic requirements specification using the SYBL language. From the model of the system, its adaptation mechanisms, and its requirements, an executable Maude specification is generated for simulation. The application of the approach is illustrated on a use case that comprises some components and adaptations rules. The example is then analyzed using simulations. It is also shown that it is indeed possible to define additional metrics, specify adaptation requirements and rules which conduct simulations of the models in a more flexible way, and that the results of the simulation performed from these definitions can be used to carry on a valuable predictive performance analysis. K E Y W O R D Sadaptation specification, design-time analysis, modeling, self-adaptive behavior, self-adaptive models INTRODUCTIONSoftware architecture has become an essential element in building consistent systems as the size and complexity of software systems have increased. The necessity to take into account not only the overall structure of the system itself but also the allocation, functionality, and communication of the software components became a challenge for building

show abstract

Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio

Cited by 9 publications

References 13 publications

Amalgamation of domain specific languages with behaviour

Amalgamation of domain specific languages with behaviour

Composition of Graph-Transformation-Based DSL Definitions by Amalgamation

A procedural and flexible approach for specification, modeling, definition, and analysis for self‐adaptive systems

Contact Info

Product

Resources

About