Rumo a um modelo conceitual completo : redes de petri e diagramas e/r

Abstract

O artigo mostra o uso combinado de diagramas entidade/relaciona mento (E/R) e redes de Petri na modelagem conceitual de sistemas. A idéia é combinar uma técnica de modelagem de propriedades estáticà.s largamente usada na prática com uma técnica cujo ponto forte é a mo delagem de propriedades dinâmicas. Redes de Petri podem ser utilizadas também na modelagem de propriedades estáticas de sistemas. Com base nisto, O artigo mostra como diagramas E/R podem ser compreendidos em termos de redes de Petri, através da apresentaçâo das regras para tradução de diagramas E/R em redes de Petri. Mostra, ainda, como é possível estender o diagrama E/R, através das redes de Petri, afim de obter um modelo conceitual completo que contém tanto as propriedades estáticas quanto as propriedades dinâmicas do sistema.

The paper describes the combined use of entity-relatiçmship (E/R) diagrams and Petri nets for conceptual system modeling. The idea is to combine a tool for modeling static system properties, which is widely used in EDP-praxis, with a tool aimed to the description of dynamic system properties. Petri nets can be used also for modeling static properties. Based on this fact, the semantics of E/R diagrams is given in terms of Petri nets. Further, it is shown how to extend the E/R approach using Petri nets to obtain complete conceptual models, which contain both the static and the dynamic properties of the modeled system.