Behaviour protection in modular rule-based system specifications

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

Fernando Orejas, Francisco Durán, 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 (1)

• 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)