Behaviour protection in modular rule-based system specifications

DOI10.1007/978-3-642-37635-1_2zbMATH Open1394.68073OpenAlexW2211096929MaRDI QIDQ2848869FDOQ2848869

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

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

Mathematics Subject Classification ID

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

Cited In (4)

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

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)