An Environment for the Development of Concurrent Object-Based Applications

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 p...

Full description

Saved in:
Bibliographic Details
Published in:Electronic notes in theoretical computer science 2005-03, Vol.127 (1), p.3-13
Main Authors: Dotti, Fernando L., Duarte, Lucio M., Foss, Luciana, Ribeiro, Leila, Russi, Daniela, dos Santos, Osmar M.
Format: Article
Language:English
Subjects:
code generation
Edition
simulation
verification
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2004.12.026