Correct transformation: from object-based graph grammars to PROMELA

DOI10.1016/J.SCICO.2011.03.010MaRDI QIDQ436353zbMATH OpenOpenAlexFDO

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

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

graph grammarscorrectnessmodel transformationPROMELA

Mathematics Subject Classification ID

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

Recommendations

• Verifying object-based graph grammars
• On the Specification and Verification of Model Transformations
• Formal verification of object-oriented graph grammars specifications
• Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
• Towards verifying model transformations

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 3562462 (Why is no real title available?)
• scientific article; zbMATH DE number 3633737 (Why is no real title available?)
• scientific article; zbMATH DE number 1543325 (Why is no real title available?)
• scientific article; zbMATH DE number 2182600 (Why is no real title available?)
• scientific article; zbMATH DE number 2086951 (Why is no real title available?)
• scientific article; zbMATH DE number 1569120 (Why is no real title available?)
• scientific article; zbMATH DE number 919845 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• A framework for the verification of infinite-state graph transformation systems
• Abstract State Machines
• An axiomatic basis for computer programming
• Code generation for parallel applications modelled with object-based graph grammars
• Formal Methods in Software and Systems Modeling
• Formal verification of graph grammars using mathematical induction
• Graph Transformations
• Handbook of Graph Grammars and Computing by Graph Transformation
• Stochastic object-based graph grammars
• Translation from Adapted UML to Promela for CORBA-Based Applications
• Verification of distributed object-based systems.
• Verifying object-based graph grammars

Cited in

(3)

• Code generation for parallel applications modelled with object-based graph grammars
• Translation from Adapted UML to Promela for CORBA-Based Applications
• Specification and verification of graph-based model transformation properties

Describes a project that uses

Uses Software

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

This page was built for publication: Correct transformation: from object-based graph grammars to PROMELA

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