Modeling and verification of reliable messaging by graph transformation systems

DOI10.1016/J.ENTCS.2007.04.015MaRDI QIDQ2867887zbMATH OpenOpenAlexDBLPWikidataFDO

Authors László Gönczy, Máté Kovács, Dániel Varró

Publication date 20 December 2013

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2007.04.015

zbMATH Keywords

graph transformationreliable messagingservice-oriented architecture

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Application of Graph Transformation in Verification of Dynamic Systems
• A formal approach to service specification and matching based on graph transformation
• Stochastic graph transformation systems
• Theoretical Aspects of Computing – ICTAC 2005
• Dependability certification of services: a model-based approach

Cites work

• A graph transformation approach to software architecture reconfiguration
• Graph Transformations
• scientific article; zbMATH DE number 1629836 (Why is no real title available?)
• scientific article; zbMATH DE number 1931786 (Why is no real title available?)
• scientific article; zbMATH DE number 919847 (Why is no real title available?)
• Mathematical Knowledge Management

Cited in

(1)

• Dependability certification of services: a model-based approach

Describes a project that uses

Uses Software

• GROOVE

This page was built for publication: Modeling and verification of reliable messaging by graph transformation systems

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