An Environment for the Development of Concurrent Object-Based Applications

Fernando L. Dotti, Lucio M. Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar M. dos Santos
2005 Electronical Notes in Theoretical Computer Science  
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
more » ... and analysis of concurrent object-based systems specified using OBGG.
doi:10.1016/j.entcs.2004.12.026 fatcat:z2wgeakauffznldexjndybfyaq