Object oriented petri nets.

Este trabalho aborda a integração de conceitos da orientação a objetos a modelagem de sistemas por redes de Petri. Em particular, de sistemas distribuídos e concorrentes de software. Argumentamos que a principal causa do insucesso das notações orientadas a objetos de redes de Petri existentes e a forma de integração que enfatiza aspectos sintáticos em detrimento dos aspectos semânticos. Defendemos que princípios semânticos devem oriental a composição das estruturas sintáticas e que estas devem se combinar de forma ortogonal. Desta forma, promove-se o desenvolvimento de notações com melhores condições de absorção por projetistas que dominem as linguagens básicas, porque minimiza o impacto de uma sobre a outra, preservando a natureza de cada uma. Alem disso, a abordagem maximiza as condições de adaptação de métodos de analise e modelagem existentes porque no caso geral os métodos dependem de propriedades semânticas. A forma como as notações combinam os conceitos impede que os modelos proporcionem visões complementares e articuladas do sistema. Um dos principais problemas e o desequilíbrio dos conceitos de redes de Petri e da orientação a objetos. As abordagens tendem a enfocar redes de Petri como o elemento central da notação. Este desequilíbrio tem duas consequências. Primeiro, torna necessário modificar os conceitos característicos de redes de Petri para adapta-los a orientação a objetos. Isto, por sua vez, dificulta a adaptação dos métodos convencionais de analise. Segundo, e necessário adaptar e reinterpretar os conceitos da orientação a objetos para inseri-los na formalização de redes de Petri. Isto tende a descaracterizar o paradigma, o que tem influencia sobre a aceitação da notação. Alem dos argumentos que sustentam as observações acima, apresentamos uma estrategia de integração que evita os problemas apontados. A estrategia consiste em equilibrar a enfase dada aos conceitos de cada um dos paradigmas e compor a notação e seu significado de forma ortogonal, enfatizando uma composição semântica. Isto e obtido pela adoção explicita de um modelo conceitual de computação concorrente e distribuída cuja noção fundamental e o objeto. Um formalismo independente de redes de Petri que permite caracterizar a evolução de sistemas de objetos segundo o modelo conceitual e apresentado. Finalmente, propomos nossa notação, usando uma abordagem que enfoca a composição de significados e não das construções sintáticas, preservando as características de cada paradigma.This thesis discusses the integration of object oriented concepts and Petri nets modelling of systems. In particular, distributed and concurrent software systems. We argue that the main cause for the unsuccessful object oriented Petri nets notations is the approach used to combine concepts which emphasizes syntactical aspects instead of the semantic ones. We defend that semantic integration principles must guide the combination of syntactical structures in an orthogonal way. This approach promotes the development of notations that are more easily accepted by designers, since i t minimizes the influence the paradigms have on each other. The essence of each language is better preserved this way. Also, it maximizes the chances of adapting the existing analysis techniques, because most of them depend on semantical aspects. Present notations combine concepts in a syntactical way. Such approach does not provide two complementary, articulated views of the models. Instead, it provides a single statically compound view. One of the main reasons is the unbalanced integration of concepts. Because object orientation is often explained informally, formalizations are clearly Petri-net biased. This has two consequences. First, it forces different interpretation for existing concepts of Petri nets, so they can be adapted to object language. This has a severe impact on the chances of adaptation of existing techniques, because they rely heavily on concepts whose interpretations are modified. Second, it forces the adaptation of object concepts, so they fit well within Petri nets. This leads to a loose/weak characterization of the object paradigm and, as a consequence, to a badly accepted notation. As a result, we present an integration strategy that avoids the problems mentioned above. The strategy consists on balancing the emphasis and the role that each paradigm has on the proposed notation, assuring that the notation and its meaning are defined in a orthogonal way, and defining a semantic composition of the involved concepts. In practice, this was achieved through the explicit adoption of a conceptual computing model for concurrent and distributed systems for which the central notion is the object. We also present a (Petri net independent) formalism that allows the modelling of the evolution of concurrent object systems. Finally, we propose an integrated notation, which is based on meaning composition instead of syntactical integration