Modelagem e construção de mecanismos de coordenação em ambientes computacionais / Modeling and construction of coordination mechanism in computational environment
AUTOR(ES)
Dennis Guimarães Pelluzi
DATA DE PUBLICAÇÃO
2007
RESUMO
Este trabalho aborda o problema da coordenação de atividades interdependentes em processos computacionais. As interdependências entre atividades podem ser temporais, de recursos, de bloqueio e de mútua exclusão, entre outras. Exemplos de processos computacionais com atividades interdependentes são ambientes multimídias, ferramentas de suporte ao trabalho colaborativo, workflows, vídeo games, animação computacional e composição de web services. Uma das dificuldades em projetar o mecanismo de coordenação é garantir que tal mecanismo seja consistente com a especificação do processo. Vários trabalhos sugerem o uso de ferramentas de modelagem como redes de Petri ou linguagens de coordenação para construir um mecanismo de coordenação. Um desse trabalhos apresenta a metodologia Grafo de Relações (GR) que trata das dependências temporais entre atividades. Esta dissertação apresenta uma extensão da metodologia GR para lidar com dependências de recursos, uma ferramenta para automatizar a modelagem do mecanismo de coordenação e uma proposta para o coordenador (componente de software responsável pela coordenação das atividades)
ASSUNTO(S)
redes de petri workflow petri net engenharia de software uml (linguagem de modelagem padrão) fluxos de trabalho computational processes coordination
ACESSO AO ARTIGO
http://libdigi.unicamp.br/document/?code=vtls000432916Documentos Relacionados
- Proposta de um agente de aplicação para detecção, prevenção e contenção de ataques em ambientes computacionais.
- Coordenação e compatibilização de projetos para construção de edifícios: estudos de casos em instituições públicas e privadas
- Design de ambientes computacionais para modelagem em um contexto educacional
- WORKFLOW COORDINATION IN ENVIRONMENTS WITH SUPPORT FOR MOBILE DEVICES
- Modelagem, construção, testes e análise de desempenho de um gerador a relutância chaveado