An Environment for the Development of Concurrent Object-Based Applications

Authors:
Fernando L. Dotti;Lucio M. Duarte;Luciana Foss;Leila Ribeiro;Daniela Russi;Osmar M. dos Santos
Affiliations:
Faculdade de Informática, Pontifícia Universidade Católica 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;Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil;Instituto de Informática, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil;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
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 10
Cited 4

Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
The FUJABA environment

Proceedings of the 22nd international conference on Software engineering
A UML tool for an automatic generation of simulation programs

Proceedings of the 2nd international workshop on Software and performance
Specification of mobile code system using graph grammars

Fourth International Conference on Formal methods for open object-based distributed systems IV
The Java Programming Language

The Java Programming Language
Maude: specification and programming in rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
vUML: A Tool for Verifying UML Models

ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Verifying Object-Based Graph Grammars

Electronic Notes in Theoretical Computer Science (ENTCS)

Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars

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

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

Formal Methods in Software and Systems Modeling
Verifying fault-tolerant distributed systems using object-based graph grammars

LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Object-Based Graph Grammars (OBGG) is a formal specification language suitable for modeling concurrent object-based systems. On previous work we have mainly discussed the language along with case studies and analysis techniques (model checking and simulation) for systems described in OBGG. In this paper we present the set of tools we have developed and/or integrated to build an environment for the development of concurrent object-based systems. With this environment, we support the specification and analysis of concurrent object-based systems specified using OBGG.