Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6499
Title: Redes de petri orientadas a objetos
Other Titles: Object oriented petri nets
???metadata.dc.creator???: GUERRERO , Dalton Dario Serey.
???metadata.dc.contributor.advisor1???: PERKUSICH, Angelo.
???metadata.dc.contributor.referee1???: SILVA, José Reinaldo.
???metadata.dc.contributor.referee2???: SAMPAIO, Augusto Cesar Alves.
???metadata.dc.contributor.referee3???: TURNELL, Maria de Fátima Queiroz Vieira.
???metadata.dc.contributor.referee4???: LIMA, Antonio Marcus Nogueira.
Keywords: Redes de Petri;Redes de Petri Orientadas a Objetos;Processamento da Informação;Modelagem de Sistemas;Modelo Conceitual de Computação Concorrente;Sistemas de Objetos;Modelo Conceitual;Petri Nets;Object Oriented Petri Nets;Information Processing;Systems Modeling;Conceptual Model of Concurrent Computing;Object Systems;Conceptual Model
Issue Date: 26-Apr-2002
Publisher: Universidade Federal de Campina Grande
Citation: GUERRERO, Dalton Dario Serey. Redes de petri orientadas a objetos. 2002. 178f. (Tese de Doutorado em Engenharia Elétrica), Programa de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática , Universidade Federal de Campina Grande – Paraíba Brasil, 2002.
???metadata.dc.description.resumo???: 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.
Abstract: 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.
Keywords: Redes de Petri
Redes de Petri Orientadas a Objetos
Processamento da Informação
Modelagem de Sistemas
Modelo Conceitual de Computação Concorrente
Sistemas de Objetos
Modelo Conceitual
Petri Nets
Object Oriented Petri Nets
Information Processing
Systems Modeling
Conceptual Model of Concurrent Computing
Object Systems
Conceptual Model
???metadata.dc.subject.cnpq???: Engenharia Elétrica
URI: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6499
Appears in Collections:Doutorado em Engenharia Elétrica.

Files in This Item:
File Description SizeFormat 
DALTON DARIO SEREY GUERRERO - TESE PPGEE 2002.pdfDalton Dario Serey Guerrero - Tese PPGEE 2002. 30.83 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.