An Environment for the Development of Concurrent Object-Based Applications | Zendy

Fernando Luís Dotti | Zendy; Lúcio Mauro Duarte | Zendy; Luciana Foss | Zendy; Leila Ribeiro | Zendy; Daniela Russi | Zendy; Osmar M. dos Santos | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

An Environment for the Development of Concurrent Object-Based Applications

Author(s) -

Fernando Luís Dotti,

Lúcio Mauro Duarte,

Luciana Foss,

Leila Ribeiro,

Daniela Russi,

Osmar M. dos Santos

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.12.026

Subject(s) - computer science , programming language , specification language , formal specification , object (grammar) , modeling language , set (abstract data type) , formal methods , graph , model checking , object model , object oriented programming , software engineering , theoretical computer science , artificial intelligence , software

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research