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

68R10: Graph theory (including graph drawing) in computer science

68Q55: Semantics in the theory of computing

68Q60: Specification and verification (program logics, model checking, etc.)

68Q42: Grammars and rewriting systems

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

An Abstract Module Concept for Graph Transformation Systems, Graph-based specification of access control policies, An Institution for Graph Transformation, Graph Transformation Units – An Overview

Uses Software

• DIEGO
• PROGRES

Cites Work

• 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
• 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