Formal software specification with refinements and modules of typed graph transformation systems

zbMath1013.68066MaRDI QIDQ1608315

Marta Simeoni, Francesco Parisi-Presicce, Martin Grosse-Rhode

Publication date: 4 August 2002

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

zbMATH Keywords

graph transformation systems

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

An Institution for Graph Transformation ⋮ Amalgamation of domain specific languages with behaviour ⋮ Graph Transformation Units – An Overview ⋮ An Abstract Module Concept for Graph Transformation Systems ⋮ Graph-based specification of access control policies

Uses Software

• DIEGO
• PROGRES

Cites Work

• Algebraic specification of modules and their basic interconnections
• Amalgamation of graph transformations: a synchronization mechanism
• 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
• Handbook of Graph Grammars and Computing by Graph Transformation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal software specification with refinements and modules of typed graph transformation systems