Graph Transformation with Dependencies for the Specification of Interactive Systems

DOI10.1007/978-3-642-03429-9_8MaRDI QIDQ3184727zbMATH OpenOpenAlexFDO

Authors Andrea Corradini, Luciana Foss, Leila Ribeiro

Publication date 22 October 2009

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-03429-9_8

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Abstract data types; algebraic specification (68Q65)

Recommendations

• Towards a notion of transaction in graph rewriting
• Graph transformation for specification and programming
• scientific article; zbMATH DE number 4182847
• Graph Transactions as Processes
• scientific article; zbMATH DE number 1231497

Cites work

• Causal Message Sequence Charts
• Graph Transactions as Processes
• Handbook of Graph Grammars and Computing by Graph Transformation
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• LSCs: Breathing life into message sequence charts
• Towards a notion of transaction in graph rewriting
• Zero-safe nets: Comparing the collective and individual token approaches.

Cited in

(10)

• Formal software specification with refinements and modules of typed graph transformation systems
• The Edge of Graph Transformation — Graphs for Behavioural Specification
• Graph Transactions as Processes
• Realizing Graph Transformations by Pre- and Postconditions and Command Sequences
• scientific article; zbMATH DE number 2079664 (Why is no real title available?)
• GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems).
• scientific article; zbMATH DE number 7456049 (Why is no real title available?)
• The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter
• Towards a notion of transaction in graph rewriting
• Resilience of well-structured graph transformation systems

Describes a project that uses

Uses Software

• LUSTRE
• Esterel

This page was built for publication: Graph Transformation with Dependencies for the Specification of Interactive Systems

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