Correct transformation: from object-based graph grammars to PROMELA

DOI10.1016/j.scico.2011.03.010zbMath1243.68155OpenAlexW2061230361MaRDI QIDQ436353

Osmar Marchi Dos Santos, Luciana Foss, Leila Ribeiro, Fernando Luís Dotti

Publication date: 20 July 2012

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2011.03.010

zbMATH Keywords

correctnessgraph grammarsmodel transformationPROMELA

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• SPIN
• MPI
• PROMELA
• Bandera
• vUML
• GROOVE
• ASM Workbench

Cites Work

• A framework for the verification of infinite-state graph transformation systems
• Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars
• Stochastic Object-Based Graph Grammars
• Handbook of Graph Grammars and Computing by Graph Transformation
• Abstract State Machines
• Formal Verification of Graph Grammars using Mathematical Induction
• Graph Transformations
• Translation from Adapted UML to Promela for CORBA-Based Applications
• An axiomatic basis for computer programming
• Formal Methods in Software and Systems Modeling
• Formal Methods for Open Object-Based Distributed Systems
• 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: Correct transformation: from object-based graph grammars to PROMELA