Amalgamation of domain specific languages with behaviour

DOI10.1016/j.jlamp.2015.09.005zbMath1353.68028OpenAlexW1932701140MaRDI QIDQ347380

Francisco Durán, Antonio Moreno-Delgado, Fernando Orejas, Steffen Zschaler

Publication date: 30 November 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2015.09.005

zbMATH Keywords

domain-specific languagesbehaviour-aware morphismse-motionsgraph transformation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Related Items (3)

Multilevel coupled model transformations for precise and reusable definition of model behaviour ⋮ Composition of multilevel domain-specific modelling languages ⋮ Finding subgraphs with side constraints

Uses Software

• DIEGO
• PROGRES
• Maude
• ATL

Cites Work

• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• Towards the flexible reuse of model transformations: a formal approach based on graph transformation
• Algebraic simulations
• Structural and behavioural compatibility of graphical service specifications
• Attributed graph transformation with node type inheritance
• ATL: A model transformation tool
• Automating the transformation-based analysis of visual languages
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Formal software specification with refinements and modules of typed graph transformation systems
• Behaviour Protection in Modular Rule-Based System Specifications
• Correctness of high-level transformation systems relative to nested conditions
• Handbook of Graph Grammars and Computing by Graph Transformation
• On the Behavioral Semantics of Real-Time Domain Specific Visual Languages
• Handbook of Graph Grammars and Computing by Graph Transformation
• Graph Transformations
• Graph Transformations
• Foundations of Software Science and Computation Structures
• Formal Methods in Software and Systems Modeling
• Multi-amalgamation of rules with application conditions in -adhesive categories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Amalgamation of domain specific languages with behaviour