Amalgamation of domain specific languages with behaviour

DOI10.1016/J.JLAMP.2015.09.005zbMATH Open1353.68028OpenAlexW1932701140MaRDI QIDQ347380FDOQ347380

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

Recommendations

• Composition of graph-transformation-based DSL definitions by amalgamation
• scientific article
• Behaviour protection in modular rule-based system specifications
• A module system for domain-specific languages
• scientific article; zbMATH DE number 1949605

zbMATH Keywords

behaviour-aware morphismsdomain-specific languagese-motionsgraph transformation

Mathematics Subject Classification ID

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

Cites Work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• ATL: A model transformation tool
• Handbook of Graph Grammars and Computing by Graph Transformation
• Algebraic simulations
• Formal software specification with refinements and modules of typed graph transformation systems
• Title not available (Why is that?)
• Behaviour Protection in Modular Rule-Based System Specifications
• Correctness of high-level transformation systems relative to nested conditions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards the flexible reuse of model transformations: a formal approach based on graph transformation
• On the Behavioral Semantics of Real-Time Domain Specific Visual Languages
• Handbook of Graph Grammars and Computing by Graph Transformation
• Title not available (Why is that?)
• 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
• Structural and behavioural compatibility of graphical service specifications
• Attributed graph transformation with node type inheritance
• Automating the transformation-based analysis of visual languages

Cited In (3)

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

Uses Software

• DIEGO
• PROGRES
• Maude
• ATL

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

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