A formal framework for the development of concurrent object-based systems

Authors:
Leila Ribeiro;Fernando Luís Dotti;Roswitha Bardohl
Affiliations:
Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil;Faculdade de Informática, Pontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre, Brazil;International Conference and Research Center for Computer Science, Germany
Venue:
Formal Methods in Software and Systems Modeling
Year:
2005

Citing 17
Cited 3

The temporal logic of actions

ACM Transactions on Programming Languages and Systems (TOPLAS)
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Algebraic approaches to graph transformation. Part II: single pushout approach and comparison with double pushout approach

Handbook of graph grammars and computing by graph transformation
The Unified Modeling Language user guide

The Unified Modeling Language user guide
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Specification of mobile code system using graph grammars

Fourth International Conference on Formal methods for open object-based distributed systems IV
Symbolic Model Checking

Symbolic Model Checking
Communication and Concurrency

Communication and Concurrency
Formal Description Technique Lotos: Results of the Esprit Sedos Project

Formal Description Technique Lotos: Results of the Esprit Sedos Project
Decidability and Tractability of Problems in Object-Based Graph Grammars

TCS '02 Proceedings of the IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science: Foundations of Information Technology in the Era of Networking and Mobile Computing
Introduction to the Algebraic Theory of Graph Grammars (A Survey)

Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Verifying Mobile Processes in the HAL Environment

CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
The Mobility Workbench - A Tool for the pi-Calculus

CAV '94 Proceedings of the 6th International Conference on Computer Aided Verification
An introduction to event structures

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
An Environment for Formal Modeling and Simulation of Control Systems

SS '00 Proceedings of the 33rd Annual Simulation Symposium
Graph-grammars: An algebraic approach

SWAT '73 Proceedings of the 14th Annual Symposium on Switching and Automata Theory (swat 1973)
An Environment for the Development of Concurrent Object-Based Applications

Electronic Notes in Theoretical Computer Science (ENTCS)

A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Verification of Graph Grammars using Mathematical Induction

Electronic Notes in Theoretical Computer Science (ENTCS)
Correct transformation: From object-based graph grammars to PROMELA

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present a framework for developing concurrent object-based systems. The framework is based on graph grammars and includes techniques for specification, simulation, animation and verification.