• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 277
  • 189
  • 50
  • 48
  • 29
  • 24
  • 19
  • 16
  • 13
  • 11
  • 10
  • 5
  • 5
  • 4
  • 3
  • Tagged with
  • 779
  • 197
  • 131
  • 118
  • 107
  • 93
  • 91
  • 88
  • 82
  • 81
  • 79
  • 77
  • 76
  • 70
  • 63
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
581

Management von Geschäftsprozesswissen : IT-basierte Systeme und Architektur /

Habermann, Frank. January 2001 (has links)
Univ., Diss. u.d.T.: Habermann, Frank: Organisational-Memory-Systeme für das Management von Geschäftsprozesswissen--Saarbrücken, 2000.
582

Uma abordagem de Workflow na capacitação do CERNE1 para a gestão de incubadoras de empresas / A Workflow approach in the training of CERNE1 for the management of business incubators

Barbosa, Josilan Paulino 09 December 2014 (has links)
The concept of a business incubator as an innovation and entrepreneurship environment for new companies first occured in the United States, arriving in Brazil in the 80's. This habitat has the role of transforming ideas into succesful businesses. In order to do that, the business incubation process require favorable conditions such as: basic infrastructure to place the projects and high excelence on managing work processes. Based on that need, SEBRAE and ANPROTEC formulated the Centre of Reference for Support Newcoming Businesses – CERNE. CERNE is a work model divided in four levels, that aims to develop 16 managerial processes, including 62 key practices that helps to stablish the maturity of the companies, the incubators, their supporting entities and the continuous improvement of all of them. The deploy of CERNE model in the incubators has been advancing slowly in a way to certify this environment, due to difficulties such as employees turnover, limitation when it comes to external aid, low interaction between incubators and consultants and the lack of document samples to aid the processes managing and the workflow of every step of the deployment. From that scenario comes a proposition to deploy CERNE1 using process and pratices modelling through a Workflow tool, with the workflow editor Together Worflow Editor - TWE, using the XPDL and BPMN bases, aiming to represent graphically the routines and stages of the first level of maturity, helping to built an online course using the MOODLE platform for the audience of business incubators managers and coworkers of the 7 main incubators in Alagoas, to generate interactive learning process and making it possible to systematically and gradually deploy CERNE1. / A concepção de incubadora de empresas, como ambiente de inovação e empreendedorismo para empresas nascentes, surgiu nos Estados Unidos, chegando ao Brasil na década de 80. Este habitat de empresas nascentes tem papel de transformar idéias em negócios de sucesso. Desta forma, o processo de incubação de empresas requer condições favoráveis como infraestrutura básica para alocação destes projetos e excelência no gerenciamento dos processos de trabalho. Com base nessa necessidade, SEBRAE e ANPROTEC elaboraram o Centro de Referência para Apoio a Novos Empreendimentos – CERNE. O CERNE é um modelo de trabalho dividido em quatro níveis, a fim de desenvolver 16 processos gerenciais incluindo 62 práticas-chaves que estabelecem a maturidade nos empreendimentos, incubadora, rede de parceiros e melhoria contínua. A implantação do modelo CERNE nas incubadoras tem avançado lentamente na busca da certificação destes ambientes de inovação, em função de dificuldades como rotatividade da equipe, limitação no tocante à assistência externa e pouca interação entre consultores e incubadoras, além da ausência de modelos de documentos no auxílio na gestão dos processos e fluxo de trabalho de cada etapa na implantação. Surge então uma proposta de auxiliar na implantação do CERNE1, através da modelagem dos processos e práticas utilizando uma ferramenta de Workflow, com o uso do editor de fluxo de trabalho Together Worflow Editor - TWE, através da base XPDL e BPMN, com objetivo de proporcionar a representação gráfica das rotinas e etapas do primeiro nível de maturidade, auxiliando na construção de um curso on-line utilizando a plataforma MOODLE voltado para gestores e colaboradores das sete incubadoras de empresas atuantes em Alagoas para um aprendizado interativo, possibilitando a implantação sistemática e gradativa do CERNE1.
583

In Pursuit of Optimal Workflow Within The Apache Software Foundation

January 2017 (has links)
abstract: The following is a case study composed of three workflow investigations at the open source software development (OSSD) based Apache Software Foundation (Apache). I start with an examination of the workload inequality within the Apache, particularly with regard to requirements writing. I established that the stronger a participant's experience indicators are, the more likely they are to propose a requirement that is not a defect and the more likely the requirement is eventually implemented. Requirements at Apache are divided into work tickets (tickets). In our second investigation, I reported many insights into the distribution patterns of these tickets. The participants that create the tickets often had the best track records for determining who should participate in that ticket. Tickets that were at one point volunteered for (self-assigned) had a lower incident of neglect but in some cases were also associated with severe delay. When a participant claims a ticket but postpones the work involved, these tickets exist without a solution for five to ten times as long, depending on the circumstances. I make recommendations that may reduce the incidence of tickets that are claimed but not implemented in a timely manner. After giving an in-depth explanation of how I obtained this data set through web crawlers, I describe the pattern mining platform I developed to make my data mining efforts highly scalable and repeatable. Lastly, I used process mining techniques to show that workflow patterns vary greatly within teams at Apache. I investigated a variety of process choices and how they might be influencing the outcomes of OSSD projects. I report a moderately negative association between how often a team updates the specifics of a requirement and how often requirements are completed. I also verified that the prevalence of volunteerism indicators is positively associated with work completion but what was surprising is that this correlation is stronger if I exclude the very large projects. I suggest the largest projects at Apache may benefit from some level of traditional delegation in addition to the phenomenon of volunteerism that OSSD is normally associated with. / Dissertation/Thesis / Doctoral Dissertation Industrial Engineering 2017
584

Méthodes et modèles pour une approche de dimensionnement géométrique et technologique d'un semi-conducteur de puissance intégré. Application à la conception d'un MOFSET vertical / Methods and models for a geometric and technology sizing approach of power semiconductor integrated . Application to the sizing of a vertical MOSFET

Nguyen, Xuan Hoa 03 October 2011 (has links)
Dans cette thèse, nous abordons la conception des composants d'électronique de puissance, intégrés sur semi-conducteur. Dans cette large problématique, nous nous intéressons plus particulièrement aux méthodes et outils logiciels et numériques pour le dimensionnement technologique et géométrique. Ainsi, nous abordons le dimensionnement en faisant des compromis d'intégration entre la technologie du composant de puissance et les fonctions électriques de ses composants annexes, en prenant en compte la fiabilité de la réalisation technologique en salle blanche et les impacts de l'environnement électronique. Pour cela, nous avons proposé des démarches, méthodes et outils pour repousser les limites existantes de la conception, visant à offrir le support correspondant en terme de « design kit ». Finalement, nous appliquons les méthodes et les démarches choisies et développées, au dimensionnement d'un MOSFET de puissance (VDMOS), pour différents cahiers des charges. / The thesis deals with the design of integrated power electronics components. In this large problematic, the thesis focuses on the methods and numerical and software tools for the geometrical and technological sizing. So, the thesis deals with the sizing carrying out compromises between the technology of a power component and the electrical characteristics of its auxiliary components, taking into account the reliability of the technological making and the impacts of the electronic environment. In this way, approaches, methods and tools are proposed to push away the existing design limits, to offer the corresponding elements for the design kit. Finally, the developed and chosen methods and approaches are applied to the sizing of a power MOSFET (VDMOS) according to several cases of specifications
585

WOntoVLab: um processo para autoria de laboratórios virtuais baseado em workflows e ontologias

Cugler, Daniel Cintra 21 June 2010 (has links)
Made available in DSpace on 2016-06-02T19:05:43Z (GMT). No. of bitstreams: 1 3119.pdf: 2667904 bytes, checksum: fefc171ac3610eb769efd417797d1a7a (MD5) Previous issue date: 2010-06-21 / Universidade Federal de Minas Gerais / Virtual laboratories can be used by educational institutions to facilitate and enrich the learning of specific procedures, however they can be also used by industry in demonstrations, tests and trainings. Laboratorial practices are normally performed in physical laboratories, but sometimes it is necessary to afford a great amount of money to acquire apparatuses and physical space to build them. In this context, virtual laboratories have been used as a solution at less cost to provide environments that support the simulation of experiments in computers. However, in order to provide such an environment, it is recommended that users not only create experiments that require the accomplishment of a protocol (guide), but also be able to identify different possibilities of execution of a same task, considering similar apparatuses and procedures. In this context, it is defined in this research the WOntoVLab, a virtual laboratory authorship process based on workflows and ontologies that performs recommendations of apparatuses in the authorship process and also represents experiment protocols based on semantic vocabulary and alternative steps. It is also detailed a estudy case performed in the molecular biology domain, focused in the DNA extraction experiment. The study case is performed using the virtual laboratory prototype developed, which is totally based in the WOntoVLab process. Lastly, it is mentioned the contributions of this research: the WOntoVLab process, WPF framework and WPF-WS framework. / Laboratórios virtuais são utilizados comumente por instituições de ensino para auxiliar no processo de aprendizagem, porém também são utilizados pela indústria em demonstrações, testes e treinamentos. A forma tradicional de se realizar práticas laboratoriais é por meio de laboratórios reais, porém para sua criação é preciso investir, muitas vezes, alto valor financeiro na aquisição de aparatos e na disponibilização de espaço físico para sua instalação. Neste contexto, laboratórios virtuais vêm sendo utilizados como solução econômica para prover ambientes de experimentação, pois permitem a simulação de experimentos em computadores sem a necessidade da existência de laboratórios reais. No entanto, para que laboratórios virtuais provejam um ambiente similar ao real, é recomendável não só a criação de experimentos que exijam o cumprimento de um protocolo, mas também permitir que aprendizes identifiquem diferentes possibilidades de execução de uma mesma tarefa, considerando aparatos e procedimentos similares. Neste contexto, é definido neste trabalho o processo WOntoVLab, um processo para autoria de laboratórios virtuais que se baseia no uso de tecnologias de representação de workflows e ontologias a fim de permitir a recomendação de aparatos no processo de autoria e de representar experimentos baseados em vocabulário semântico e passos alternativos. Também é detalhado um estudo de caso realizado no domínio de biologia molecular, enfocado no experimento de extração de DNA. O estudo de caso é realizado por meio do protótipo do laboratório virtual desenvolvido, o qual é totalmente baseado no processo WOntoVLab. Por fim, são destacadas as contribuições deste trabalho: o processo WOntoVLab, o framework WPF e o framework WPF-WS.
586

Algoritmos para escalonamento de tarefas dependentes representadas por grafos acíclicos direcionados em grades computacionais / Scheduling algorithms for dependent tasks represented by directed acyclic graphs on computational grids

Bittencourt, Luiz Fernando, 1981- 16 August 2018 (has links)
Orientador: Edmundo Roberto Mauro Madeira / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-16T05:33:50Z (GMT). No. of bitstreams: 1 Bittencourt_LuizFernando_D.pdf: 2691554 bytes, checksum: b936bb837e62d8c4b7bacaeaae71e167 (MD5) Previous issue date: 2010 / Resumo: Grades computacionais são sistemas distribuídos compartilhados potencialmente grandes compostos por recursos heterogêneos que são ligados através de uma rede com enlaces heterogêneos. Esses sistemas tornaram-se ambientes largamente difundidos para execução de tarefas que demandam grande capacidade de processamento. Por serem sistemas compartilhados, a submissão de tarefas nas grades é oriunda de diversos usuários independentemente, o que gera uma demanda concorrente pelos recursos computacionais que deve ser gerenciada pelo middleware da grade. O escalonador é o componente responsável por decidir de que forma a distribuição dessas tarefas será realizada, devendo tratar das peculiaridades desse ambiente, tais como a heterogeneidade e o comportamento dinâmico dos recursos que o compõem, com variações tanto em quantidade quanto em qualidade. A função objetivo mais comum encontrada no escalonamento de tarefas é a minimização do makespan, ou seja, o tempo de término das tarefas que estão sendo escalonadas. Dentre os possíveis tipos de tarefas executadas em grades podemos destacar as tarefas independentes, que executam sem comunicação entre si, e as tarefas dependentes, que possuem dependências de dados que geram precedências de execução e são frequentemente modeladas como grafos acíclicos direcionados (DAGs - do inglês directed acyclic graphs). Dentre as aplicações compostas por tarefas dependentes, os DAGs de e-Ciência se sobressaem pela complexidade e necessidade crescente de recursos computacionais. Adicionalmente, o problema de escalonamento de tarefas, em sua forma geral, é NP-Completo. Dessa forma, o estudo do escalonamento de DAGs em grades computacionais é importante para o aprimoramento da execução de aplicações científicas utilizadas em diversas áreas do conhecimento. Nesta tese apresentamos algoritmos para quatro tipos de problema relacionados ao escalonamento de DAGs em grades: escalonamento estático de DAGs, escalonamento dinâmico de DAGs, escalonamento bi-critério e escalonamento de múltiplos DAGs. Apresentamos avaliações do makespan gerado pelos algoritmos após o escalonamento inicial e após a execução das tarefas com carga externa simulada nos recursos / Abstract: Computational grids are potentially large distributed systems composed of heterogeneous resources connected by a network with heterogeneous links. These systems became largely used in the execution of tasks which require large processing capacities. Because they are shared systems, task submission in grids independently originate from a number of users, leading to a concurrent demand over the computational resources, which must be managed by the grid middleware. The scheduler is the component responsible for deciding how the distribution of such tasks will occur, and it must deal with peculiarities of this environment, such as the heterogeneity and dynamic behavior of the resources, with variations in both quality and quantity. The objective function usually adopted in task scheduling is makespan minimization, which means that the scheduler tries to minimize the finish time of the tasks being scheduled. Among the tasks executed in grids we can find independent tasks, which execute without communication among them, and dependent tasks, which have data dependencies that yield in precedence constraints and are frequently modeled as directed acyclic graphs (DAGs). Among the applications composed of dependent tasks, e-Science DAGs are distinguished because of their complexity and increasing demand for computational resources. Additionally, the task scheduling problem, in its general form, is NP-Complete. Therefore, the study of scheduling of dependent tasks represented by directed acyclic graphs in computational grids is important to improve the execution of scientific applications in many areas of knowledge. In this thesis we present algorithms for four types of problems related to the DAG scheduling in grids: static scheduling of DAGs, dynamic scheduling of DAGs, bi-criteria scheduling, and scheduling of multiple DAGs. We present evaluations of the makespan generated by the algorithms after the initial scheduling and after the execution of the tasks with simulated external load in the resources / Doutorado / Sistemas de Computação / Doutor em Ciência da Computação
587

Uma linguagem para especificação de fluxo de execução em aplicações paralelas / A specification language for execution flow in parallel applications

Enomoto, Cristina 22 August 2005 (has links)
Orientador: Marco Aurelio Amaral Henriques / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-05T12:56:47Z (GMT). No. of bitstreams: 1 Enomoto_Cristina_M.pdf: 856279 bytes, checksum: ce524a49db0f67734e28d8458d5deb0b (MD5) Previous issue date: 2005 / Resumo: Vários sistemas de grid e computação distribuída existentes só permitem a execução de aplicações com um fluxo de execução de tarefas básico, no qual é feita a distribuição das tarefas executadas em paralelo e depois a coleta de seus resultados. Outros sistemas permitem definir uma relação de dependências entre as tarefas, formando um grafo direcionado acíclico. Porém, mesmo com este modelo de fluxo de execução não é possível executar vários tipos de aplicações que poderiam ser paralelizadas, como, por exemplo, algoritmos genéticos e de cálculo numérico que utilizam algum tipo de processamento iterativo. Nesta dissertação é proposta uma linguagem de especificação para fluxo de execução de aplicações paralelas que permite um controle de fluxo de tarefas mais flexível, viabilizando desvios condicionais e laços com iterações controladas. A linguagem é baseada na notação XML (eXtensible Markup Language), o que lhe confere características importantes tais como flexibilidade e simplicidade. Para avaliar estas e outras características da linguagem proposta, foi feita uma implementação sobre o sistema de processamento paralelo JoiN. Além de viabilizar a criação e execução de novas aplicações paralelas cujos fluxos de tarefas contêm laços e/ou desvios condicionais, a linguagem se mostrou simples de usar e não causou sobrecarga perceptível ao sistema paralelo / Abstract: Many distributed and parallel systems allow only a basic task flow, in which the parallel tasks are distributed and their results collected. In some systems the application execution flow gives support to a dependence relationship among tasks, represented by a directed acyclic graph. Even with this model it is not possible to execute in parallel some important applications as, for example, genetic algorithms. Therefore, there is a need for a new specification model with more sophisticated flow controls that allow some kind of iterative processing at the level of task management. The purpose of this work is to present a proposal for a specification language for parallel application execution workflow, which provides new types of control structures and allows the implementation of a broader range of applications. This language is based on XML (eXtensible Markup Language) notation, which provides characteristics like simplicity and flexibility to the proposed language. To evaluate these and other characteristics of the language, it was implemented on the JoiN parallel processing system. Besides allowing the creation and execution of new parallel applications containing task flows with loops and conditional branches, the proposedlanguage was easy to use and did not cause any significant overhead to the parallel system / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica
588

Desenvolvimento e validação de instrumento de suporte à orientação farmacêutica para dispensação de medicamentos prescritos / Development and validation of an instrument to guide pharmaceutical counseling for dispensing prescription medicines

Rocha, Kérilin Stancine Santos 22 February 2018 (has links)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Introduction. Dispensing is fundamental in patient care, since pharmaceutical counseling enables patients to receive and understand the information necessary to use medicines correctly. Although pharmaceutical counseling is a quality indicator on drug dispensing, in Brazil, protocols to guide pharmacists on this practice are scarce. Thus, research is necessary for the development and validation of instruments to support pharmaceutical counseling on dispensing prescription medicines. Objective. To develop and validate an instrument to guide pharmaceutical counseling for dispensing prescription medicines. Methods. A methodological development study was carried out from February 2017 to October 2017. The development of the instrument included the following steps: (1) elaboration of the prototype based on a previous systematic review; (2) brainstorming meeting with pharmacists, and (3) pre-Delphi. Then, the content validation of the instrument was carried out with the Delphi technique. Forty Brazilian pharmacists specialized in Dispensing were invited. They were instructed to judge the instrument, according to previously established criteria. At the end of the judgment rounds, the content validation index (CVI) was calculated. The items were considered validated if the CVI> 0.80. The present study was approved by the Ethics Committee of the Federal University of Sergipe. Results. The stages that comprised the development generated three versions of the instrument: prototype; version 1 (modified instrument after brainstorming) and version 2 (instrument modified after pre-Delphi). Version 2 of the instrument was submitted to the content validation process, in which 29 pharmacists (return rate 72,5%) made the judgment in the first round and 23 pharmacists (return rate 79,31%) in the second round. All items obtained CVI higher than 0.82 and were considered validated. Thus, the final instrument comprised three components: suggestions of questions; reasoning of the Dispensing process; and suggestions of counseling and other behaviors, being composed of 11 steps, in which each step represents a stage of clinical reasoning. Conclusion. The instrument to support pharmaceutical counseling on dispensing prescription medicines, developed based on a systematic review and validated using the Delphi technique, presents the main counseling that must be realized during that service. Thus, this instrument could support pharmacists and create referential to improve Dispensing in Brazil, in line with developed countries. / Introdução. A Dispensação é considerada uma etapa fundamental do cuidado, uma vez que a orientação farmacêutica possibilita aos pacientes receberem e compreenderem as informações necessárias para o uso correto dos medicamentos. Embora a orientação seja um indicador essencial da Dispensação, no Brasil ainda são escassos modelos e instrumentos que deem suporte à orientação farmacêutica. Objetivo. Desenvolver e validar um instrumento de suporte à orientação farmacêutica para a Dispensação de medicamentos prescritos. Métodos. Foi realizado um estudo de desenvolvimento metodológico nos meses de fevereiro de 2017 a outubro de 2017. O desenvolvimento do instrumento compreendeu as seguintes etapas: (i) elaboração do protótipo com base em revisão sistemática realizada anteriormente; (ii) reunião de brainstorming com farmacêuticos da academia e (iii) pré-Delphi. Em seguida ocorreu a validação de conteúdo do instrumento previamente elaborado, por meio da técnica Delphi. Para esta etapa, foram convidados 40 farmacêuticos especialistas em Dispensação no Brasil, os quais foram instruídos a julgar o instrumento, de acordo com critérios previamente estabelecidos. Ao final dos julgamentos, o índice de validação de conteúdo (IVC) foi calculado. Os itens foram considerados validados se o IVC > 0,80. O presente estudo foi aprovado pelo Comitê de Ética e Pesquisa da Universidade Federal de Sergipe. Resultados. As etapas que compreenderam o desenvolvimento geraram três versões do instrumento: o protótipo; a versão 1 (instrumento modificado após o brainstorming) e a versão 2 (instrumento modificado após o pré-Delphi). A versão 2 do instrumento foi submetida ao processo de validação de conteúdo. Dos farmacêuticos convidados, 29 fizeram os julgamentos na primeira rodada (taxa de retorno 72,5%) de e destes, 23 farmacêuticos realizaram julgamentos na segunda (taxa de retorno 79,31%). Todos os itens obtiveram IVC > 0,82, sendo, portanto, considerados validados. Assim, o instrumento final compreendeu três componentes: sugestões de perguntas; raciocínio do processo de Dispensação; e, sugestões de orientações e outras condutas, e foi composto por 11 etapas, na qual cada uma representa um estágio do raciocínio clínico. Conclusão. O instrumento de suporta à orientação farmacêutica para Dispensação de medicamentos prescritos, desenvolvido com base em revisão sistemática e validado por meio da técnica Delphi, apresenta as principais orientações que devem ser realizadas durante esse serviço. Assim, essa ferramenta poderá instrumentalizar os farmacêuticos e criar referenciais para melhorar a prática da Dispensação no Brasil, em sintonia com os países desenvolvidos. / São Cristóvão, SE
589

Negociação automatica de contratos multi-laterais em cadeias produtivas agropecuarias / Automatic negotiation of multi-party contracts in agricultural supply chain

Baccarin, Evandro 15 August 2018 (has links)
Orientador: Edmundo Roberto Mauro Madeira / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-15T15:14:50Z (GMT). No. of bitstreams: 1 Baccarin_Evandro_D.pdf: 3949011 bytes, checksum: aa6011cac2ac6074381b822a55e26fa3 (MD5) Previous issue date: 2009 / Resumo: Uma cadeia produtiva agropecuária 'e constituída por diversos tipos de atores que estabelecem uma rede de relacionamentos bastante complexa. Estes relacionamentos variam de ad hoc e de curta duração até altamente estruturado e de longa duração. As cadeias produtivas agropecuárias possuem algumas particularidades, tais como, regulamentação estrita e dependência cultural, e possuem relevância social e econômica. A utilização de contratos 'e a forma natural para expressar os relacionamentos entre os membros de uma cadeia. Desta forma, contratos e a atividade de negociá-los são de grande importância numa cadeia produtiva. Esta tese propõe um modelo para cadeias produtivas agropecuárias que integra suas principais características, incluindo seus aspectos estruturais e sua dinâmica. Em particular, a tese propõe um formato para contratos multi-laterais e um protocolo de negociação que os constrói. Contratos multi-laterais são importantes neste contexto, pois vários atores de uma cadeia produtiva podem construir alianças que compreendem direitos e obrigações mútuos. Um conjunto de contratos bi-laterais não 'e adequado para tal propósito. A tese também apresenta uma implementação do protocolo de negócio baseado em serviços Web e numa máquina de workflow (YAWL) / Abstract: An agricultural supply chain comprises several kinds of actors that establish a complex net of relationships. These relationships may range from ad hoc and short lasting ones to highly structured and long lasting. This kind of chain has a few particularities like strict regulations and cultural influences, and presents a quite relevant economical and social importance. Contracts are the natural way of expressing relationships among members of a chain. Thus, the contracts and the activity of negotiating them are of major importance within a supply chain. This thesis proposes a model for agricultural supply chains that integrates seamlessly their main features, including their structure and their dynamics. Specifically, the thesis proposes a multi-party contract format and a negotiation protocol that builds such kind of contracts. Multi-party contracts are important in this context because several actors of a supply chain may build alliances comprising mutual rights and obligations. A set of bilateral contracts is not well-fitted for such a purpose. The thesis also presents an implementation of the negotiation protocol that builds on Web services and a workflow engine (YAWL) / Doutorado / Sistemas de Computação / Doutor em Ciência da Computação
590

Composer-science: um framework para a composição de workflows científicos

Silva, Laryssa Aparecida Machado da 05 July 2010 (has links)
Submitted by Renata Lopes (renatasil82@gmail.com) on 2017-05-31T11:20:44Z No. of bitstreams: 1 laryssaaparecidamachadodasilva.pdf: 4042568 bytes, checksum: 22bb878bf9e226b2225e96b0e5b6405a (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-05-31T12:42:13Z (GMT) No. of bitstreams: 1 laryssaaparecidamachadodasilva.pdf: 4042568 bytes, checksum: 22bb878bf9e226b2225e96b0e5b6405a (MD5) / Made available in DSpace on 2017-05-31T12:42:13Z (GMT). No. of bitstreams: 1 laryssaaparecidamachadodasilva.pdf: 4042568 bytes, checksum: 22bb878bf9e226b2225e96b0e5b6405a (MD5) Previous issue date: 2010-07-05 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Um conceito importante nas pesquisas em e-Science é o de workflows científicos, que, em geral, são longos, compostos de várias aplicações que, em conjunto, representam um experimento científico. Uma possibilidade para auxiliar na definição destes workflows científicos é o uso de ferramentas que agreguem semântica para auxiliar na sua composição. Os serviços Web semânticos apresentam tecnologias altamente favoráveis à sua composição para a obtenção de processos mais complexos, tais como o uso de padrões Web, independência de plataforma, independência de linguagem de programação utilizada para o desenvolvimento, possibilidade de processamento distribuído, e, principalmente, o uso de recursos semânticos que possibilitem sua descoberta, composição e invocação automáticas. Com o objetivo de auxiliar na descoberta de serviços Web para a composição de workflows científicos, propomos o desenvolvimento de um framework, denominado Composer-Science, que realize a busca de serviços Web semânticos e componha estes, definindo assim, um workflow científico. O objetivo geral do ComposerScience é permitir que o pesquisador descreva semanticamente um workflow científico e, considerando essa descrição, automatize, por meio do uso de serviços Web semânticos e ontologias, a busca semântica por serviços em repositórios e a geração de workflows científicos a partir dessa composição. O objetivo geral do framework pode ser decomposto em objetivos específicos: o registro e o armazenamento, nos repositórios distribuídos (bancos de dados) do framework, de ontologias de domínio (OWL) e anotações dos serviços Web semânticos (OWL-S); a realização de pesquisa semântica, baseada em requisitos fornecidos pelo pesquisador, nos repositórios distribuídos, a fim de realizar a descoberta de serviços Web semânticos que atendam os requisitos semânticos fornecidos; a análise sintática, baseada em requisitos estruturais (dados de entrada e saída), além da análise semântica dos serviços descobertos por meio da pesquisa semântica, a fim de se obter possíveis composições dos mesmos; a geração de modelos de workflows em WS-BPEL a partir das composições possíveis. Desta forma, os modelos gerados pelo framework podem ser utilizados em Sistemas de Gerenciamento de Workflows Científicos (SGWfC) e serem compostos com outros modelos de workflow. / An important concept in e-Science research is scientific workflows, which are usually long, consisting of several applications that, together, represent a scientific experiment. One possibility to assist in defining these scientific workflows is the use of tools that add semantics to the composition process. Semantic Web services have technologies that are highly favorable to their composition, in order to obtain more complex processes. Examples of these technologies are the use of Web standards, platform independence, programming language independence, possibility of distributed processing and especially the use of semantic resources that enable their discovery, automatic composition and invocation. With the aim of assisting in the discovery of Web services for scientific workflows composition, we propose the development of a framework, named Composer-Science, to conduct the search for semantic Web services and compose them, thus defining a scientific workflow. The overall objective of Composer-Science is to allow researcher to describe semantically a scientific workflow and, considering this description automatize, through the use of semantic web services and ontologies, the semantic search for services in repositories and the generation of scientific workflows from this composition. The overall objective of the framework can be broken down into specific objectives: registration and storage of domain ontologies (OWL) and semantic annotations of Web services (OWL-S), in distributed repositories (databases) of the framework; implementation of semantic search, based on requirements provided by the researcher, in distributed repositories, in order to discovery semantic Web services that match the semantic requirements provided; the syntactic analysis, based on structural requirements (input and output), and semantic analysis of services discovered using semantic search, in order to obtain their possible compositions; the generation of WS-BPEL workflow models from the possible compositions. Finally, the models generated by the framework can be used in Workflow Management Systems (WMS) and composed with other workflow models.

Page generated in 0.0487 seconds