On the Behavioral Semantics of Real-Time Domain Specific Visual Languages

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

doi:10.1007/978-3-642-16310-4_12

Cited by 27 publications

(42 citation statements)

References 12 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%

“…The e-Motions models obtained as result of the weaving can be automatically transformed into Maude specifications (see [49] for details on this transformation) and further analysed using standard Maude tooling. See [47] for a detailed presentation of how Maude provides an accurate way of specifying both the abstract syntax and the behavioural semantics of models and meta-models, and offers good tool support both for simulating and for reasoning about them.…”

Section: Transformationsmentioning

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

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: Non-functional Properties Specification With E-motionsmentioning

confidence: 99%

Section: Non-functional Properties Specification With E-motionsmentioning

confidence: 99%

Section: Transformationsmentioning

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

show abstract

“…Then, its behavior is specified with (graphical) in-place model transformations. e-Motions provides a model of time, supporting features like duration, periodicity, etc., and mechanisms to state action properties [29,30].…”

Section: The E-motions Systemmentioning

confidence: 99%

“…Maude is used as a formal notation to provide the precise semantics of the corresponding e-Motions specifications (as described in [30]), while at the same time the model transformations between e-Motions and Maude allow the Maude tools to become available in the e-Motions environment. More precisely, the generated Maude specification is a Real-Time Maude specification.…”

Section: Maudementioning

confidence: 99%

Statistical Model Checking of e-Motions Domain-Specific Modeling Languages

Durán

Moreno-Delgado

Álvarez-Palomo

2016

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

Abstract. Domain experts may use novel tools that allow them to design and model their systems in a notation very close to the domain problem. However, the use of tools for the statistical analysis of stochastic systems requires software engineers to carefully specify such systems in low level and specific languages. In this work we line up both scenarios, specific domain modeling and statistical analysis. Specifically, we have extended the e-Motions system, a framework to develop real-time domain-specific languages where the behavior is specified in a natural way by in-place transformation rules, to support the statistical analysis of systems defined using it. We discuss how restricted e-Motions systems are used to produce Maude corresponding specifications, using a model transformation from e-Motions to Maude, which comply with the restrictions of the VeStA tool, and which can therefore be used to perform statistical analysis on the stochastic systems thus generated. We illustrate our approach with a very simple messaging distributed system.

show abstract

xMOF: Executable DSMLs Based on fUML

Mayerhofer

Langer

Wimmer

et al. 2013

Software Language Engineering

View full text Add to dashboard Cite

When defining a domain-specific modeling language (DSML), the two key components that have to be specified are its syntax and semantics. For specifying a modeling languages' abstract syntax, metamodels are the standard means. MOF provides a standardized, well established, and widely accepted metamodeling language enabling the definition of metamodels and the generation of accompanying modeling facilities. However, no such standard means exist for specifying the behavioral semantics of a DSML. This hampers the efficient development of model execution facilities, such as debugging, simulation, and verification. To overcome this limitation, we propose to integrate fUML with MOF to enable the specification of the behavioral semantics for DSMLs in terms of fUML activities. We discuss alternatives how this integration can be achieved and show by-example how to specify the semantics of a DSML using fUML. To reuse existing runtime infrastructures, we further demonstrate the usage of external libraries in fUML-based specifications.

show abstract

On the Behavioral Semantics of Real-Time Domain Specific Visual Languages

Cited by 27 publications

References 12 publications

Amalgamation of domain specific languages with behaviour

Amalgamation of domain specific languages with behaviour

Statistical Model Checking of e-Motions Domain-Specific Modeling Languages

xMOF: Executable DSMLs Based on fUML

Contact Info

Product

Resources

About