Algebra transformation systems as a unifying framework

DOI10.1016/S1571-0661(04)80199-3MaRDI QIDQ4923537zbMATH OpenOpenAlexFDO

Authors M. Große-Rhode

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)80199-3

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4182847
• Graph transformation for specification and programming
• scientific article; zbMATH DE number 1418365
• scientific article; zbMATH DE number 1487737
• Formal software specification with refinements and modules of typed graph transformation systems

Cites work

• Formal concepts for an integrated internal model of the UML
• Graph transformation units with interleaving semantics
• Handbook of Graph Grammars and Computing by Graph Transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1241703 (Why is no real title available?)
• scientific article; zbMATH DE number 1487737 (Why is no real title available?)
• scientific article; zbMATH DE number 1754583 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• Institutions: abstract model theory for specification and programming
• Temporal theories as modularisation units for concurrent system specification
• Towards a double pushout transformation of algebras

Cited in

(12)

• Compositional comparison of formal software specifications using transformation systems.
• From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
• Combining graph transformation and algebraic specification into model transformation
• scientific article; zbMATH DE number 1194289 (Why is no real title available?)
• scientific article; zbMATH DE number 708891 (Why is no real title available?)
• scientific article; zbMATH DE number 2062239 (Why is no real title available?)
• scientific article; zbMATH DE number 2079668 (Why is no real title available?)
• scientific article; zbMATH DE number 2079675 (Why is no real title available?)
• scientific article; zbMATH DE number 1487737 (Why is no real title available?)
• Algebraic high-level net transformation systems
• GETGRATS: a summary of scientific results (with annotated bibliography)
• scientific article; zbMATH DE number 4182847 (Why is no real title available?)

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Algebra transformation systems as a unifying framework

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