Behaviour protection in modular rule-based system specifications

DOI10.1007/978-3-642-37635-1_2MaRDI QIDQ2848869zbMATH OpenOpenAlexFDO

Authors Francisco Durán, Fernando Orejas, Steffen Zschaler

Publication date 13 September 2013

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37635-1_2

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Amalgamation of domain specific languages with behaviour
• Multilevel coupled model transformations for precise and reusable definition of model behaviour
• An abstract module concept for graph transformation systems
• Rule-based modularization in model transformation languages illustrated with ATL
• Model-Driven Development of Model Transformations

Cited in

(5)

• Composition of multilevel domain-specific modelling languages
• Multilevel coupled model transformations for precise and reusable definition of model behaviour
• Composition of graph-transformation-based DSL definitions by amalgamation
• Amalgamation of domain specific languages with behaviour
• Formalizing and testing the consistency of DSL transformations

This page was built for publication: Behaviour protection in modular rule-based system specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848869)