Mecanismos de interação para um modelo de redes de Petri orientado a objetos.

Abstract

This work presents the addition of new abstractions for interaction mechanisms between objects of Rede de Petri Orientada Objetos (RPOO). RPOO is a formal notation well suited for the specification of concurrent and distributed software systems. The added abstractions provide synchronous communication and method synchronization. The main idea is to improve the abstraction power of this notation, facilitating the software designer's task. Additionally, some hints about analyzing the new notation are given.