Correct transformation: from object-based graph grammars to PROMELA

DOI10.1016/J.SCICO.2011.03.010zbMATH Open1243.68155OpenAlexW2061230361MaRDI QIDQ436353FDOQ436353

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstract State Machines
• An axiomatic basis for computer programming
• Handbook of Graph Grammars and Computing by Graph Transformation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Verifying object-based graph grammars
• Code generation for parallel applications modelled with object-based graph grammars
• Stochastic object-based graph grammars
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal verification of graph grammars using mathematical induction
• Graph Transformations
• Translation from Adapted UML to Promela for CORBA-Based Applications
• Formal Methods in Software and Systems Modeling
• Verification of distributed object-based systems.
• A framework for the verification of infinite-state graph transformation systems

Cited In (3)

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

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)