Akademisk avhandling--Lund. / Extra t. p. with thesis statement inserted. Bibliography : p. [xii]--xxv.

HOLANDA, H. J. A. Avaliação de desempenho de web services orquestrados com BPEL4People. 2012. 114 f. Tese (Doutorado em Engenharia de Teleinformática) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2012. / Submitted by Marlene Sousa (mmarlene@ufc.br) on 2013-04-29T12:33:34Z No. of bitstreams: 1 2012_tese_hjaholanda.pdf: 1673837 bytes, checksum: b92c0e8ef18f5d6ca209079baafdf8b5 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2013-04-29T17:22:07Z (GMT) No. of bitstreams: 1 2012_tese_hjaholanda.pdf: 1673837 bytes, checksum: b92c0e8ef18f5d6ca209079baafdf8b5 (MD5) / Made available in DSpace on 2013-04-29T17:22:07Z (GMT). No. of bitstreams: 1 2012_tese_hjaholanda.pdf: 1673837 bytes, checksum: b92c0e8ef18f5d6ca209079baafdf8b5 (MD5) Previous issue date: 2012-03-01 / Web Services (WS) are pillars for the construction of service-oriented applications. A number of languages for web service composition have been proposed, formed a consensus on the language of business process execution (BPEL). BPEL focuses on business processes that orchestrate WS interactions. However, in general, business processes are composed of a broad spectrum of activities that often require human involvement to perform tasks, review or approve steps and enter data. These human interactions are discussed in a new specification of BPEL called BPEL4People. BPEL4People introduces human activity to BPEL. With the use of BPEL4People, formal models (such as Petri nets) of BPEL4People have been proposed. Based on formal models is possible to perform formal analysis, such as performance analysis of models to discover potential problems with the WS orchestrated with BPEL4People. There are two dimensions important to the performance of WS: response time and scalability. The response time is the ability of a system to provide an acceptable time for their activities and scalability is the ability of a system to continue to fulfill its goals of response time when demand for it increases. Some works have been proposed about the performance analysis of WS orchestrated with BPEL. In this thesi, it is proposed an architecture called ``SOASPE' (SOA + SPE) for the transformation of the BPEL4People code in generalized stochastic Petri nets (GSPN) and colored Petri nets (CPN). Through the GSPN and CPN models of BPEL4People is possible to evaluate the performance of WS orchestrated with BPEL4People by comparing their real response times when subjected to a number of requests and response times of the GSPN and CPN models generated by the architecture ``SOASPE' when simulations with the same amount of requests. During the transformation of BPEL4People code, Petri nets are used to model BPEL activities and human activities. Then, by simulation of generated models, potential problems with the performance of WS orchestrated with BPEL4People can be detected. / Web Services (WS) são pilares para a construção de aplicações orientadas a serviços. Uma série de linguagens para a composição de serviços web têm sido propostas, sendo formado um consenso em torno da linguagem de execução de processos de negócio (BPEL). BPEL centra-se em processos de negócio que orquestram interações de WS. No entanto, em geral, processos de negócio são compostos por um amplo espectro de atividades que exigem muitas vezes a participação humana para executar tarefas, rever ou aprovar medidas e inserir dados. Essas interações humanas são abordadas em uma nova especificação do BPEL denominada de BPEL4People. BPEL4People introduz a atividade humana para BPEL. Com o uso do BPEL4People, modelos formais (como as redes de Petri) de BPEL4People têm sido propostos. Com base em modelos formais é possível a realização de análises formais, tais como análise de desempenho de modelos para descobrir possíveis problemas em WS orquestrados com o BPEL4People. Há duas dimensões importantes para o desempenho de WS: tempo de resposta e escalabilidade. O tempo de resposta é a capacidade de um sistema de prover tempos aceitáveis para suas atividades e a escalabilidade é a capacidade de um sistema de continuar a cumprir seus objetivos de tempo de resposta quando a demanda pelo mesmo aumenta. Alguns trabalhos têm sido propostos acerca da análise do desempenho de WS orquestrados com o BPEL. Nesta tese, é proposta uma arquitetura denominada ``SOASPE' (SOA + SPE) para a transformação de códigos BPEL4People em redes de Petri estocásticas generalizadas - Generalized Stochastic Petri Nets (GSPN) e redes de Petri coloridas - Coloured Petri Net (CPN). Através dos modelos GSPN e CPN de BPEL4People é possível avaliar o desempenho dos WS orquestrados com o BPEL4People através da comparação dos seus tempos de resposta reais quando submetidos a uma quantidade de requisições e dos tempos de resposta dos modelos GSPN e CPN dos WS gerados pela arquitetura ``SOASPE' quando realizadas simulações com a mesma quantidade de requisições. Durante a transformação de códigos BPEL4People, as redes de Petri são usadas para modelar atividades BPEL e as atividades humanas. Então, pela simulação dos modelos gerados, problemas potenciais com o desempenho de WS orquestrados com o BPEL4People podem ser detectados.

Este trabalho vem a dar mais uma contribuição para o já consagrado uso de teoria das categorias para descrever e estabelecer relações entre formalismos diferentes. Esta dissertação tem como objeti principal estabelecer uma relação entre os formalismos de reded de Petri e gramáticas de grafos a partir de suas já difundidas represetações categóricas, utilizando, para isto, a linguagem da teoria das categorias. / This works comes to be one more contribution to the well diffused use of the category theory to describe and stablish relationships between different formalisms. The main goal of this dissertation is to stablish a relationship between the Petri nets and graph grammar fomalisms, using category theory and their categorical representations found in the literature.

Made available in DSpace on 2014-06-11T19:22:35Z (GMT). No. of bitstreams: 0 Previous issue date: 2004-03-03Bitstream added on 2014-06-13T18:49:39Z : No. of bitstreams: 1 martins_cp_me_ilha.pdf: 1858645 bytes, checksum: d00de31c1c7eea4b71e680fd0b1f93ff (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / O projeto de sistemas digitais é, na maioria das vezes, uma tarefa complexa e que consome muito tempo do projetista. Não se concebe atualmente que esses projetos sejam inteiramente realizados sem que os sistemas projetados sejam modelados e simulados, procurando diminuir o custo de projeto. Entre as técnicas em uso para a geração de modelos estão as baseadas em redes de Petri. O problema com redes de Petri é que existe uma grande variedade de diferentes técnicas para modelar sistemas equivalentes e, além disso, o tratamento de tempo é feito de formas muito distintas. Nesse trabalho se apresentam algumas técnicas de redes de Petri que permitem o tratamento de tempo e se faz a comparação entre as mesmas quando aplicadas na modelagem de um pipeline. Dentre as técnicas examinadas está incluída uma rede híbrida, na qual se propõe a mistura não tradicional de outras técnicas mais básicas, buscando melhores resultados do que os obtidos com tais redes. Apresentam-se resultados obtidos com um protótipo de um simulador especialmente projetado para ser capaz de simular as redes de Petri híbridas propostas nesse trabalho, assim como cada uma das técnicas individuais nelas utilizadas. / The design of a digital system often is a complex and time consuming task. Nowadays it is unconceivable that these designs would be entirely done without modeling and simulation, in order to save design costs. Among the modeling techniques in use there are the Petri nets models. The drawback with Petri nets is that there is a wide range of diferent techniques to perform the modeling of equivalent systems and, moreover, the time manipulation is performed through very distinct approaches. Some Petri net techniques that deal with time are presented in this work. Comparisons between these techniques are done through the modeling of a pipeline. Among the techniques examined there is a hybrid one, that is propposed as a composition of the basic techniques, aiming the improvement of the modeling results. Results provided by a prototype of a Petri Net simulator built to simulate the hybrid model, and its component techniques, are presented.

Este trabalho vem a dar mais uma contribuição para o já consagrado uso de teoria das categorias para descrever e estabelecer relações entre formalismos diferentes. Esta dissertação tem como objeti principal estabelecer uma relação entre os formalismos de reded de Petri e gramáticas de grafos a partir de suas já difundidas represetações categóricas, utilizando, para isto, a linguagem da teoria das categorias. / This works comes to be one more contribution to the well diffused use of the category theory to describe and stablish relationships between different formalisms. The main goal of this dissertation is to stablish a relationship between the Petri nets and graph grammar fomalisms, using category theory and their categorical representations found in the literature.

Este trabalho vem a dar mais uma contribuição para o já consagrado uso de teoria das categorias para descrever e estabelecer relações entre formalismos diferentes. Esta dissertação tem como objeti principal estabelecer uma relação entre os formalismos de reded de Petri e gramáticas de grafos a partir de suas já difundidas represetações categóricas, utilizando, para isto, a linguagem da teoria das categorias. / This works comes to be one more contribution to the well diffused use of the category theory to describe and stablish relationships between different formalisms. The main goal of this dissertation is to stablish a relationship between the Petri nets and graph grammar fomalisms, using category theory and their categorical representations found in the literature.

Orientadores : Marcio Luiz de Andrade Netto, Beatriz Mascia Daltrini / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T00:55:18Z (GMT). No. of bitstreams: 1 Aguilera_LuizManoel_M.pdf: 8911300 bytes, checksum: 9c90f520e3ebe9300dc43c765d322d38 (MD5) Previous issue date: 1989 / Resumo: O conteúdo deste trabalho aborda a geração automática de Redes de Petri a partir da Especificação de um Sistema de Software com Características Tempo Real, utilizando ambiente de programação Prolog. A especificação do sistema é feita através de duas interfaces: "Interface de Especificação de Sistemas" que reúne um conjunto de conceitos cujo objetivo é especificar, decompor e inter-relacionar diferentes objetos de projeto e "Interface de Especificação da Dinâmica de Sistemas" cujo objetivo é especificar, interpretar e descrever as condições de simulação de algumas das características dinâmicas de um Sistema de Software Tempo Real. O modelo em Rede de Petri gerado automaticamente é traduzido em arquivos atendendo aos padrões de entrada de dados de um Analisador de Redes de Petri desenvolvido na USP/SP e um Simulador de Redes de Petri desenvolvido no LAAS/Toulouse/França; cujo objetivo é validar nas etapas iniciais do ciclo de vida, as especificações do Sistema de Software com Características Tempo Real Projetado / Mestrado / Mestre em Engenharia Elétrica

Orientador: Shusaburo Motoyama / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T03:06:35Z (GMT). No. of bitstreams: 1 Arantes_MagdaPatriciaCaldeira_M.pdf: 9844579 bytes, checksum: e33b835a74dc5579ed46ec93e91eddbb (MD5) Previous issue date: 1988 / Mestrado / Mestre em Engenharia Elétrica

Orientador: Fernando Antonio Campos Gomide / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T14:06:55Z (GMT). No. of bitstreams: 1 Scarpelli_HeloisadeArrudaCamargo_D.pdf: 7789586 bytes, checksum: be24fbc2123951211626bb728be27c2a (MD5) Previous issue date: 1993 / Resumo: Neste trabalho são propostos dois modelos formais para a representação de regras de produção nebulosas, como base em teoria de redes. A proposta desses modelos tem o objetivo de oferecer um mecanismo de representação onde os problemas relativos ao projeto, execução e verificação de bases de conhecimento nebulosas possam ser tratados de maneira uniforme e integrada. O modelo de Redes de Petri Nebulosas representa detalhadamente a execução da regra de inferência principal do raciocínio aproximado, chamada de regra composicional. O modelo de Redes de Petri Nebulosas de Alto Nível permite representar as regras nebulosas de um nível de abstração mais alto, gerando representações mais compactas e tratáveis. Os componentes de cada um desses dois modelos guardam uma relação bastante próxima, possibilitando que as informações sejam acessadas a partir do nível mais conveniente a cada fase do desenvolvimento de sistemas. A modelagem de vários tipos de regras como regras com múltiplos antecedentes, regras quantificadas e qualificadas, regras paralelas, regras conflitantes e fontes parciais de informação é discutida. Dois algoritmos de raciocínio aproximado são apresentados, utilizando as estratégias de encadeamento para frente e encadeamento para trás. A questão de verificação de inconsistência entre regras de produção nebulosas é discutida. Procedimentos para verificação da existência de conflitos em potencial, tanto a nível local como a nível global, são apresentados / Abstract: This work presents two formal models for the representation of fuzzy production rules, based on net theory. The proposal of the models aims at offering a mechanism where problems concerning design, execution and verification of fuzzy knowledge bases can be faced in an uniform and integrated manner. The Fuzzy Petri Net model represents in details the numerical components underlying the main inference rule in approximate reasoning, called compositional rule. The High LeveI Fuzzy Petri Net model allows to represent fuzzy rules in a higher leveI of abstraction, yielding more compact and manageable representations. The components of both systems are dosely related, allowing the accessing of information from the most convenient leveI in each phase of systems development. The modeling of several rule types like rules with multiple antecedent, quantified and qualified rules, par alIeI rules, conflicting rules and partial sources of information has been discussed. Two different fuzzy reasoning algorithms have been presented, using forward chaining and backward chaining strategies. The issue of inconsistency checking among fuzzy production rules has also been approached. Procedures for verifying the existence of potencial conflicts, both at local and globallevels are included. / Doutorado / Doutor em Engenharia Elétrica

Le test d’identification d’état d’un système à événement discret (SED) a pour but d’en identifier l’état final, lorsque son état initial est inconnu. Une solution classique à ce problème, en supposant que le SED n’ait pas de sorties observables, consiste à déterminer une séquences de synchronisation, c.à-d., une séquence d’événements d’entrée qui conduit le SED sur un état connu. Ce problème a été résolu dans les années 60’ à l’aide des automates. L’objectif principal de cette thèse est d’utiliser les réseaux de Petri (RdP) pour obtenir une résolution plus optimal de ce problème et pour une plus large classe de systèmes.Initialement, nous montrons que la méthode classique peut être aisément étendue aux RdP synchronisés. Pour cette classe de réseaux non-autonomes, toute transition est associée à un événement d’entrée.L’approche proposée est générale, dans la mesure où elle s’applique à des RdP bornés arbitraires. Cependant, elle engendre le problème d’explosion combinatoire du nombre d’états. Pour obtenir des meilleures solutions, nous considérons une classe spéciale de RdP : les graphes d’état (GdE). Pour ces réseaux, nous considérons d’abord les GdE fortement connexes et proposons des approches pour la construction de SS, qui exploitent les propriétés structurelles du réseau en évitant ainsi une énumération exhaustive de l’espace d’état. Ces résultats s’étendent aux GdE non fortement connexes et à tout RdP synchronisé composé de GdE. Enfin, nous considérons la classe des RdP non bornés et proposons des séquences qui synchronisent le marquage des places non bornées. Une boîte à outils fournit toutes les approches décrites et est appliquée à des différents bancs d’essai. / State-identification experiments are designed to identify the final state of a discrete event system (DES) when its initial state is unknown. A classical solution, assuming the DES has no observable outputs, consists in determining a synchronizing sequence (SS), i.e., a sequence of input events that drives the system to a known state. This problem was essentially solved in the 60’ using automata. The main objective of this thesis is to use Petri nets (PNs) for solving the state-identification problem more efficiently and for a wider class of systems.We start showing that the classical SS construction method based on automata can be easily applied to synchronized PNs, a class of non-autonomous nets where each transition is associated with an input event. The proposed approach is fairly general and it works for arbitrary bounded nets with a complexity that is polynomial with the size of the state space. However, it incurs in the state-space explosion problem.Looking for more efficient solutions, we begin by considering a subclass of PNs called state machines (SMs). We first consider strongly connected SMs and propose a framework for SS construction that exploits structural criteria, not requiring an exhaustive enumeration of the state space of the net. Results are further extended to larger classes of nets, namely non strongly connected SMs and nets containing SM subnets. Finally we consider the class of unbounded nets that describe infinite state systems: even in this case we are able to compute sequences to synchronize the marking of bounded places. A Matlab toolbox implementing all approaches previously described has been designed and applied to a series of benchmarks.