An abstract module concept for graph transformation systems

DOI10.1016/S1571-0661(04)80211-1MaRDI QIDQ4923549zbMATH OpenFDO

Authors Marta Simeoni

Publication date 24 May 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80211-1

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Pragmatic and semantic aspects of a module concept for graph transformation systems
• Formal Methods in Software and Systems Modeling
• Formal software specification with refinements and modules of typed graph transformation systems
• Graph Transformations
• scientific article; zbMATH DE number 1231507

Cites work

• Formal software specification with refinements and modules of typed graph transformation systems
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 1629841 (Why is no real title available?)
• scientific article; zbMATH DE number 3947607 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 1231507 (Why is no real title available?)
• scientific article; zbMATH DE number 919845 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• On the interleaving semantics of transformation units -- a step into GRACE
• Pragmatic and semantic aspects of a module concept for graph transformation systems
• Transformations of graph grammars

Cited in

(9)

• Module integration using graph grammars (MIGRATE)
• scientific article; zbMATH DE number 1629840 (Why is no real title available?)
• Behaviour protection in modular rule-based system specifications
• Compositionality in graph transformation
• scientific article; zbMATH DE number 1231507 (Why is no real title available?)
• Pragmatic and semantic aspects of a module concept for graph transformation systems
• Graph Transformations
• Formal Methods in Software and Systems Modeling
• Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components

Describes a project that uses

Uses Software

• PROGRES
• DIEGO

This page was built for publication: An abstract module concept for graph transformation systems

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