Return to search

Grafo de relações : uma metodologia para coordenar dependencias entre atividades em ambientes computacionais

Orientadores: Leo Pini Magalhães, Alberto Barbosa Raposo / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T04:02:08Z (GMT). No. of bitstreams: 1
Cruz_AdailtonJoseAlvesda_D.pdf: 2075694 bytes, checksum: 3f08ec5e5787a8b5f92fc0b7990a402c (MD5)
Previous issue date: 2004 / Resumo: Um dos desafios relacionados à coordenação em ambientes computacionais é a geração de estruturas para equacionar possíveis conflitos decorrentes de relacionamentos de dependências entre as atividades deste ambiente. Este trabalho apresenta uma metodologia para automatizar a geração de mecanismos de coordenação em ambientes computacionais. Estes mecanismos são gerados a partir dos comportamentos temporais especificados para as atividades executadas no ambiente. Permite-se especificar comportamentos temporais alternativos e atividades alternativas, os quais podem ser selecionados em tempo de processamento mudando assim as relações temporais entre as atividades e/ou as atividades que participam destes comportamentos. O algoritmo proposto para este fim implementa uma política de coordenação global permitindo-se que a execução de uma atividade aconteça somente quando não violar qualquer restrição temporal do ambiente. A identificação e modelagem das restrições temporais que cada atividade deve atender resultam no mecanismo de coordenação, obtido em tempo linear no número de atividades. Exploram-se as capacidades de encapsulamento e compactação das redes de Petri coloridas na modelagem dos mecanismos de coordenação sem vincular o uso da metodologia a um conhecimento prévio deste sistema formal (redes de Petri coloridas) / Abstract: One of the challenges related to the coordination of computational environments is the generation of structures to address possible conflicts related to dependences among the activities of these environments. This work presents a methodology to automate the generation of coordination mechanisms for computational environments. These mechanisms are generated from the temporal behaviors
specified for the activities executed in the environment. It is possible to specify alternative temporal behaviors and alternative activities, which can be selected in processing time changing temporal relationships among the activities and/or the activities that participate in these behaviors. The algorithm proposed for this implements a global coordination policy, allowing that the execution of an activity only occurs when this doesn't violate any temporal restriction of the environment. The identification and modeling of the temporal restrictions that each activity should satisfy result in the coordination mechanism, obtained in linear time in the number of activities. The modular and compacting capacities of colored Petri nets are explored in the modeling of the coordination mechanisms without connecting the use of the methodology to a previous knowledge of this formal system (colored Petri nets) / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/261269
Date10 August 2004
CreatorsCruz, Adailton Jose Alves da
ContributorsUNIVERSIDADE ESTADUAL DE CAMPINAS, Raposo, Alberto Barbosa, Magalhães, Leo Pini, 1952-, Mendes, Rafael Santos, Gomide, Fernando Antonio Campos, Ricarte, Ivan Luiz Marques, Maldonando, Jose Carlos, Miyagi, Paulo Eigi
Publisher[s.n.], Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica e de Computação
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis
Format171p. : il., application/pdf
Sourcereponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0055 seconds