Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2006. / Submitted by Alexandre Marinho Pimenta (alexmpsin@hotmail.com) on 2009-11-17T10:01:12Z No. of bitstreams: 1 2006_MarcosMartinsMelo.pdf: 8565470 bytes, checksum: 9c31e01c3283d48d2c5adadf43caa40e (MD5) / Approved for entry into archive by Carolina Campos(carolinacamposmaia@gmail.com) on 2009-11-18T18:28:57Z (GMT) No. of bitstreams: 1 2006_MarcosMartinsMelo.pdf: 8565470 bytes, checksum: 9c31e01c3283d48d2c5adadf43caa40e (MD5) / Made available in DSpace on 2009-11-18T18:28:57Z (GMT). No. of bitstreams: 1 2006_MarcosMartinsMelo.pdf: 8565470 bytes, checksum: 9c31e01c3283d48d2c5adadf43caa40e (MD5) Previous issue date: 2006-07 / O objetivo desta dissertação é implementar uma ferramenta de CAD para a descrição e simulação de Redes de Petri (RdPs) baseadas em software livre, chamada de SimRP. Esta ferramenta de CAD possibilitará a descrição e simulação de diversas RdPs, ou seja, Ordinárias, Temporais, Temporizadas e Interpretadas, além disso, O SimRP disponibilizará a opção de geração de código VHDL (uma linguagem de descrição de hardware), a partir de um modelamento de uma RdP interpretada. Adicionalmente o SimRP permite a verificação de diversas propriedades tais como rede marcada reiniciável, rede marcada viva, rede não pura e detecção de conflitos/deadlocks. Uma característica importante do SimRP é sua flexibilidade, Os usuários poderão descrever uma RdP Ordinária e mais tarde converte-la para outro tipo de rede estudada neste trabalho. Deste modo, os usuários poderão acrescentar atributos a uma RdP ordinária para representar e simular uma RdP Temporal (por exemplo). Estes atributos são facilmente adicionados e deletados pela interface gráfica. O SimRP foi desenvolvido na arquitetura cliente-servidor para garantir a melhor usabilidade/portabilidade. Tanto a instalação quanto a configuração são feitas no servidor. Neste caso, o SimRP necessita apenas de um browser na sua estação de trabalho.O simulador foi desenvolvido baseado na licença GPL, isto permite acesso ilimitado a todas funções do sistema e código fonte, permitindo que os usuários modifiquem e adaptem o sistema de acordo com sua necessidade, sem necessitasse de licença. _______________________________________________________________________________ ABSTRACT / The objective of this dissertation is to implement a description and simulation CAD tool for Petri Nets (PNs) based on open source, called SimRP. This CAD tool will be able to describe and simulate several PNs namely Ordinary, Temporal, Temporized and Interpreted types. Besides this, SimRP provides an option to generate VHDL code (a hardware description language), taking a model of an Interpreted PN. Additionally, SimRP allows several properties verification such as Restartable PN, Marked-alive PN, Not-pure PN and conflicts/deadlocks detection. An important feature of SimRP is its flexibility, since users can describe an ordinary PN and afterwards converts it to another type of network studied here. Thus, users can add certain attributes to an ordinary PN in order to represent and simulate a Temporal PN (for example). These attributes are easily added/deleted through a graphical interface. The SimRP was developed in client-server architecture in order to guarantee the best usability/portability. Both system installation and configuration are made on a server. In this case, a SimRP user needs only a browser in his/her workstation. Given that the simulator was developed under GPL license, this provides an unlimited use to all of its resources, including source code, allowing any user to use, modify, and adapt it to their needs without license requires.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2006. / Submitted by leandro spinola (l.spinolafla@gmail.com) on 2009-11-19T20:51:58Z No. of bitstreams: 1 EVANDRO LEONARDO SILVA TEIXEIRA.doc: 428032 bytes, checksum: 4dc4293c8fbd282001516cd00586b4e1 (MD5) / Rejected by Joanita Pereira(joanita), reason: Leandro, Por favor, corrija o campo "título", pois apenas a letra inicial e os nomes próprios deve começar com maiúscula. O arquivo a ser depositado é o da dissertação em PDF e não o arquivo em doc das informações dos metadados. Obrigada, Joanita on 2009-11-20T15:19:35Z (GMT) / Submitted by leandro spinola (l.spinolafla@gmail.com) on 2009-11-20T18:29:00Z No. of bitstreams: 1 dissert_evandro.pdf: 7498335 bytes, checksum: 6fb6802197fb4ca5cb17a06c878a17ab (MD5) / Rejected by Joanita Pereira(joanita), reason: A dissertação apresenta "resumo", "abstract" e "resumen". Favor adicionar o "Resumen". Att Joanita on 2009-11-20T19:19:03Z (GMT) / Submitted by leandro spinola (l.spinolafla@gmail.com) on 2009-11-20T20:59:09Z No. of bitstreams: 1 dissert_evandro.pdf: 7498335 bytes, checksum: 6fb6802197fb4ca5cb17a06c878a17ab (MD5) / Approved for entry into archive by Joanita Pereira(joanita) on 2009-11-23T16:09:56Z (GMT) No. of bitstreams: 1 dissert_evandro.pdf: 7498335 bytes, checksum: 6fb6802197fb4ca5cb17a06c878a17ab (MD5) / Made available in DSpace on 2009-11-23T16:09:56Z (GMT). No. of bitstreams: 1 dissert_evandro.pdf: 7498335 bytes, checksum: 6fb6802197fb4ca5cb17a06c878a17ab (MD5) Previous issue date: 2006 / Este trabalho apresenta uma metodologia para o projeto e implementação de Células Flexíveis de Manufatura (FMC’s) capaz de promover a fabricação remota de peças utilizando os recursos da World Wide Web. Esta metodologia, denominada WebFMC, descreve um método de integração das estações de trabalho de uma FMC baseado na arquitetura de controle hierárquica modificada e uma arquitetura detalhada para a implementação do sistema de controle da célula (denominado Unidade de Gerenciamento). A abordagem concebida poderá ser utilizada tanto na academia quanto na indústria. Na academia, esta metodologia servirá como modelo para a construção de laboratórios remotos auxiliando os cursos de engenharia no ensino a distância. Na indústria, promoverá a oportunidade de negócios às empresas que não possuem os recursos necessários para a fabricação de seus produtos. O projeto da FMC, a qual este trabalho faz referência, foi concebido a partir de um trabalho inicial de modelagem. As técnicas utilizadas (modelagem por simulação via workspace e modelagem a eventos discretos via Redes de Petri) resultaram na definição do layout da célula e nas mensagens que devem ser trocadas entre as estações de trabalho respectivamente. Os métodos IDEF0 e IDEF1x, da metodologia IDEF, foram utilizados para projetar e documentar respectivamente o modelo funcional e de dados da Unidade de Gerenciamento. A Unidade de Gerenciamento (MgU), como sistema computacional, foi projetada com base no Processo Unificado da Rational (RUP). Isto resultou na incorporação de elementos da célula e nas mensagens que devem ser trocadas entre as estações de trabalho respectivamente. Os métodos IDEF0 e IDEF1x, da metodologia IDEF, foram utilizados para projetar e documentar respectivamente o modelo funcional e de dados da Unidade de Gerenciamento. A Unidade de Gerenciamento (MgU), como sistema computacional, foi projetada com base no Processo Unificado da Rational (RUP). Isto resultou na incorporação de elementos da tecnologia de orientação a objetos na construção de um sistema computacional reutilizável e de fácil manutenção. Utilizou-se a Linguagem de Modelagem Unificada (UML) para documentar os fluxos de trabalho do ciclo de vida da MgU. Java é a tecnologia utilizada na implementação da MgU. As API’s e tecnologias associadas fornecem o suporte necessário para que a MgU possa ser executada via internet (via JNLP - URL: http://webfmc.graco.unb.br/mgu/mgu.jnlp), para que tenha acesso a base de dados (via JDBC) e se comunique com as estações de trabalho (utilizando a API Java Communication e a interface JNI). _______________________________________________________________________________ ABSTRACT / The aim of this work is to present a methodology to design and to implement Flexible Manufacturing Cell (FMC’s) that should be used to manufacture parts remotely using the World Wide Web resources. This methodology (WebFMC) describes a method to integrate the FMC workstations based on the hierarchical modified control architecture and an architecture to implement the cell control system (Management Unit). This methodology approach can be applied in academic centre such as in the industry. In academic centre will serve as a model to built remote laboratories to the engineering courses in the distance learning. On the industry, will promote the business opportunity to the every company that does not possess the necessary resources to manufacture their products. The design of this FMC is based on the modeling work. The simulation modeling by workspace and the discrete event modeling by Petri Nets was used to define the cell layout and to describe the messages that should be changed among the workstations respectively. The methods IDEF0 and IDEF1x, from the IDEF methodology, were used to design and to document the functional and data modeling from the Management Unit. The Management Unit (MgU), as a computational system, was designed based on the Rational Unified Process (RUP). Based on this approach, was possible to aggregate important elements of object oriented design to build a computational system reusable and easiest maintenance. The Unified Modeling Language (UML) was used to design and to document the Management Unit’s cycle life. Java is the technology used to implement the MgU. The API’s and associated technology supply the necessary support to run the MgU by internet (via JNLP - URL: http://webfmc.graco.unb.br/mgu/mgu.jnlp), to access the database (via JDBC) and to establish the communication with the workstations (using the API Java Communication and the Interface JNI). ________________________________________________________________________________ RESUMEN / Este trabajo presenta una metodología para el proyecto y la implementación de Células Flexibles de Manufactura (FMC’s), utilizadas el la fabricación remota de piezas, empleando los recurso de la World Wide Web. Esta metodología, denominada WebFMC, describe un método de integración de la estaciones de trabajo de una FMC, basado en la arquitectura de control jerárquica modificada y una arquitectura para la implementación de los sistema de control de la célula (Unidad de Control). Esta metodología podrá ser utilizada tanto en lo académico como en lo industrial. En lo académico servirá como un modelo para la implementación de laboratorios remotos; en lo industrial, promoverá la oportunidad de negócios para empresas que aún no poseen las herramientas para la manufactura del producto. El proyecto de la FMC de este trabajo, fue concebido a partir de un trabajo inicial de modelamiento. Las técnicas utilizadas (modelamiento por simulación empleando el workspace y modelamiento a eventos discretos empleando Redes de Petri) resultaron en la definición del layout de la célula y los mensajes intercambiados entre las estaciones de trabajo. Los métodos IDEF0 e IDEF1x de la metodología IDEF, fueron utilizados para proyectar y documentar respectivamente el modelo funcional y de de datos de la Unidad de Control. La Unidad de Control (MgU) fue proyectada con base en el Proceso Unificado de la Rational (RUP). Esto resultó en la incorporación de elementos de tecnología orientada a objetos en la construcción de un sistema computacional reutilizable y de fácil mantenimiento. El Lenguaje Unificado de Modelaminento (UML) fue utilizado para documentar los fluxos de trabajo del ciclo de vida de la MgU. Java es la tecnología empleada en la implementación de la MgU. Las API’s y las tecnologías asociadas suministran el soporte necesario para ejecutar la MgU por la Internet (via JNLP URL: http://webfmc.graco.unb.br/mgu/mgu.jnlp), para accesar la base de datos (via JDBC) y para comunicarse con las estaciones de trabajo (API Java Communication y la interface JNI).

Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-12T13:23:25Z No. of bitstreams: 2 Dissertaçao Rafael de Souza.pdf: 5024167 bytes, checksum: d0690bd2c55d5a6ca5e7bbe243777c13 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-13T13:14:31Z (GMT) No. of bitstreams: 2 Dissertaçao Rafael de Souza.pdf: 5024167 bytes, checksum: d0690bd2c55d5a6ca5e7bbe243777c13 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-13T13:14:31Z (GMT). No. of bitstreams: 2 Dissertaçao Rafael de Souza.pdf: 5024167 bytes, checksum: d0690bd2c55d5a6ca5e7bbe243777c13 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-08-30 / FACEPE / Os data centers estão em constante crescimento, a fim de atender às demandas de novas tecnologias, como cloud computing e e-commerce. Em tais paradigmas, períodos de inatividade podem levar a perdas financeiras de milhões de dólares e danificar permanentemente a reputação de uma empresa. Vários fatores afetam a disponibilidade de sistemas de TI em data center, entre eles, as variações de temperatura ambiente. Este trabalho propõe modelos para contemplar o efeito de variação de temperatura nas infraestruturas do data center. Além destes modelos, também é proposta uma metodologia para auxiliar na elaboração e avaliação dos diferentes cenários. Esta metodologia permite a análise através de vários modelos intermediários que ajudam a encontrar o efeito de variação de temperatura na disponibilidade das infraestruturas de TI do data center. Nesta abordagem, a avaliação é realizada com modelos de rede de Petri estocásticas, modelo de Arrhenius, modelo de energia, e diagrama de blocos de confiabilidade. Por fim, três estudos de casos real, bem como, exemplos são apresentados com a finalidade de mostrar a aplicabilidade deste trabalho.

Made available in DSpace on 2014-06-12T15:50:11Z (GMT). No. of bitstreams: 2 arquivo1930_1.pdf: 1742136 bytes, checksum: 9293c4cc8bc9198633a8db952346915b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / O estudo de sistemas através de modelos é baseado em abstrações do mundo real. Portanto, os cálculos resultantes devem ser interpretados com cautela. Quando incertezas ou variabilidades estão associadas com os parâmetros do sistema, a caracterização pontual dos parâmetros pode ser inadequada. As incertezas podem estar associadas a parâmetros que não são conhecidos antecipadamente, especialmente em estágios iniciais de projetos de sistemas. Um dos objetivos deste trabalho é a concepção do formalismo ISPN para análise quantitativa desses sistemas. Para alcançar este objetivo, desenvolveu-se a fundamentação teórica ISPN e foram adaptados algoritmos apropriados para análise dos modelos. A análise intervalar foi usada como método de análise do estado estacionário dos modelos ISPN, nos quais as taxas das transições exponenciais e os pesos das transições imediatas são intervalos. A ISPN é aplicada principalmente para modelar as situações em que os dados de entrada estão num determinado nível da exatidão. As incertezas das taxas são especificadas através de intervalos. Este ambiente de modelagem fornece uma maneira para formalizar e estudar os problemas relacionados à presença das incertezas. Tais incertezas incluem os erros dos dados que ocorrem durante os processos de medida e os erros de arredondamento gerados durante cálculos. O modelo proposto e o método de análise relacionado permitem que a análise de desempenho seja realizada, considerando variações simultâneas nos parâmetros. Os métodos intervalares foram aplicados na estimativa exterior do conjunto solução para sistemas de equações lineares intervalares resolvidas pela aritmética intervalar clássica e pela aritmética de Kaucher dentro do ambiente do MATLAB toolbox INTLAB. Usamos ISPN como uma ferramenta de alto nível para modelagem e análise. O poder de modelagem ISPN foi avaliado em diversos estudos de caso apresentados

Made available in DSpace on 2014-06-12T15:56:20Z (GMT). No. of bitstreams: 2 arquivo2917_1.pdf: 4541033 bytes, checksum: 4094fbc961a178b9ca5185e2bcc3d37d (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / A evolução das tecnologias de rede sem fio e a crescente necessidade de integração e alta disponibilidade de serviços alavancou pesquisa nesta área de redes e uma das soluções propostas são as Redes de Ambiente. Redes de Ambiente visam prover sistemas de comunicação de alto desempenho que possibilitem amplo acesso aos novos serviços, a outros usuários e a conteúdo multimídia. Este é o principal objetivo do projeto de Redes de Ambiente (desenvolvido pelo WWI em parceria com várias empresas de telecomunicações, entre elas: Ericsson, Nokia, Elisa, France Telecom e Vodafone), além de prover sistemas sem fio viáveis que possibilitem a integração de pessoas e dispositivos. Neste escopo foi introduzido o conceito de composição de redes para compartilhamento de informações e recursos, de forma dinâmica, sob demanda e sem a necessidade (ou mínima) de interação de administradores de rede. As Redes de Petri representam uma especificação de sistemas através do uso da matemática e da exploração de recursos gráficos possibilitando diversos tipos de análise, como por exemplo, verificação das propriedades do sistema, análise de desempenho e corretude. O PBMAN (Policy-based Management for Ambient Networks) é um arcabouço que visa prover soluções de gerenciamento baseado em políticas para Redes de Ambiente. Este projeto teve como um dos seus objetivos o desenvolvimento de um protótipo que implementa os conceitos de composição de redes, compartilhamento de recursos e gerenciamento automático das redes baseado em políticas. Esta dissertação de mestrado teve como objetivo a modelagem do protótipo do PBMAN em redes de Petri para verificação da corretude do projeto e análise de desempenho. O desenvolvimento deste modelo foi importante para que fossem encontradas falhas de especificação de requisitos no protótipo PBMAN, além de possibilitar uma extrapolação do escopo do projeto. Essa modelagem permitiu a realização de testes rápidos sem a necessidade de modificar o protótipo em ambiente real, reduzindo significativamente custos e tempo de desenvolvimento

Made available in DSpace on 2014-06-12T15:56:59Z (GMT). No. of bitstreams: 2 arquivo3111_1.pdf: 7314545 bytes, checksum: b798714e0b187ec560d0acdc3aa2ef2e (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Um dos maiores desafios atuais das organizações é a integração das aplicações corporativas permitindo o adequado gerenciamento dos processos de negócio. Atualmente, sistemas de middleware orientados a mensagem (MOMs) têm sido amplamente utilizados como ferramentas para realizar esta integração. Diante desse contexto, o seu planejamento e gerenciamento de capacidade passa a ter relevância significativa para o sucesso da integração, uma vez que, se o MOM falhar ou ficar indisponível, toda a interação entre as aplicações será comprometida. Este trabalho propõe o JMSCapacity, um toolkit formado por um processo, uma biblioteca de componentes e ferramentas para auxiliar no planejamento e gerenciamento de capacidade de MOMs baseados na especificação Java Message Service (JMS). O processo define como utilizar a biblioteca e as ferramentas para realizar o planejamento de capacidade sendo a principal contribuição deste trabalho. No processo proposto, adotou-se uma abordagem baseada em modelos para permitir que especificações de alto nível da integração sejam mapeadas em modelos formais em redes de Petri estocásticas. Isso viabiliza a realização de predições de desempenho em múltiplos cenários de carga, facilitando a identificação do ponto de saturação do MOM e da capacidade máxima de entrega de mensagens.

Made available in DSpace on 2014-06-12T15:59:34Z (GMT). No. of bitstreams: 2 arquivo5183_1.pdf: 2402030 bytes, checksum: 0c171b737eb1d33ccd399f546d49a3a0 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / A plataforma J2EE (Java 2 Platform Enterprise Edition) especifica um ambiente de suporte ao desenvolvimento e execução de aplicações corporativas distribuídas. Diversos fornecedores oferecem implementações desta especificação, as quais são referenciadas como servidores de aplicação J2EE. Este mercado concorrido gera um novo desafio para departamentos de TI que compreende a avaliação e seleção de um produto J2EE adequado. A escolha de uma implementação é uma tarefa árdua uma vez que envolve uma avaliação conjunta de muitas características, tais como custo, desempenho, escalabilidade, flexibilidade e adaptabilidade, facilidades de uso e de gerenciamento, e conformidade com os padrões. Contudo, essa escolha é usualmente centrada em desempenho, uma vez que avaliar servidores de aplicação com base em todas as suas características é difícil. As abordagens atuais para avaliação de desempenho de servidores de aplicação têm se concentrado principalmente no uso da técnica de medição. Este trabalho, por sua vez, propõe a utilização de modelagem analítica e simulação, introduzindo uma abordagem para a avaliação de desempenho baseada em redes de Petri estocásticas. Para ilustrar a proposta, modelos para o servidor de aplicação JBoss são projetados e utilizados na derivação de métricas de desempenho. Os resultados obtidos são validados através da realização de medições em ambientes controlados

Submitted by Alice Araujo (alice.caraujo@ufpe.br) on 2017-12-04T18:10:07Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) bcfsDissertationvFinal5.pdf: 1922556 bytes, checksum: 47cd71107f5450414e172d96bd4454ed (MD5) / Made available in DSpace on 2017-12-04T18:10:07Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) bcfsDissertationvFinal5.pdf: 1922556 bytes, checksum: 47cd71107f5450414e172d96bd4454ed (MD5) Previous issue date: 2016-09-05 / Software Engineering faces challenges such as difficulty in understanding the user needs, ambiguous specifications, poorly defined requirements and therefore problems in interpreting the system requirements. Model-based testing (MBT) is presented as an alternative for solving these problems by using (semi-)formal methods, in the specification, modelling or analysis of requirements, as well as by automatically generating test cases. This work proposes and implements a test generation strategy from Natural Language (NL) requirements via translation into Coloured Petri Nets (CPN), an extension of Petri Nets that supports model structuring. This strategy extends previous work on the NAT2TEST framework, which involves syntactic and semantic analyses of NL requirements and the generation of Data-Flow Reactive System (DFRS) as an intermediate representation, from which target formal models can be obtained for the purpose of test case generation. Our contributions include a systematic translation of DFRSs into CPN models, besides a strategy for test generation. We illustrate our overall approach with a running example. Therefore, this work presents a variant for the NATural Language Requirements to TEST Cases (NAT2TEST) strategy, in which the Coloured Petri Nets (CPN) is used as an intermediate model. The NAT2TEST strategy, which is applicable to discrete or continuous systems, consists of five phases: syntactic and semantic analyses, DFRS generation, CPN generation, and generation of test cases. The approach proposed here, which is based on Petri Nets simulation, has as benefit the maturity of the theory and tools related to CPN. Moreover, there are available resources for analysing structural and behavioural properties of the model. The process is automated by the NAT2TEST tool until the DFRS generation. The model translation from the DFRS to the CPN is automated by Spoofax framework. Finally, the test cases generation occurs automatically via simulations held in the CPN Tools. Our strategy was evaluated considering examples from the literature (Vending Machine and Nuclear Power Plant) and the aerospace industry (Priority Control). We analysed performance and the ability to detect defects generated via mutation. In general, our strategy outperformed the considered baseline: random testing. We also compared our strategy with the CSP version. / A Engenharia de Software possui desafios clássicos como dificuldade no entendimento das necessidades dos usuários, especificações ambíguas, requisitos mal definidos e, portanto, problemas na interpretação destes. A utilização de testes baseados em modelos (MBT) apresenta-se como alternativa para solução destes problemas, através do uso de métodos (semi)formais, seja na especificação, modelagem ou análises de requisitos, bem como na geração automática de casos de testes. Este trabalho propõe e implementa uma estratégia de geração de testes a partir de requisitos escritos em linguagem natural (NL) através da tradução para modelos em Redes de Petri Colorida (CPN), uma extensão de Redes de Petri que incorpora estruturação de modelos. Esta estratégia estende um trabalho anterior (NAT2TEST framework), que envolve análises sintática e semântica de requisitos em linguagem natural (NL) e geração do modelo de sistemas reativos baseados em fluxos de dados (DFRS) como uma representação intermediária, a partir do qual outros modelos formais podem ser obtidos com o propósito de geração de casos de testes. Nossa contribuição inclui uma tradução sistemática de DFRSs para modelos CPN, assim como uma estratégia para geração de testes. Ilustramos nossa abordagem através de um exemplo prático. Assim sendo, este trabalho apresenta uma variante da estratégia NAT2TEST, na qual formalismo intermediário é Redes de Petri Colorida (CPN), sendo aplicável a sistemas discretos e contínuos, e que consiste de cinco etapas: análises sintática e semântica, gerações dos modelos DFRS e CPN e de casos de testes. A abordagem empregada, através da simulação de Redes de Petri, tem como benefícios a maturidade da teoria e das ferramentas associadas a CPN, além de permitir a análise de propriedades estruturais e comportamentais do modelo. A ferramenta NAT2TEST já automatiza a tradução de requisitos em linguagem natural na notação do DFRS. A tradução do modelo DFRS para o formalismo CPN é uma primeira contribuição do presente trabalho e foi automatizada através do ambiente Spoofax. A geração dos casos de testes foi desenvolvida, de forma automatizada, através de simulações realizadas na ferramenta CPN Tools. A estratégia aqui proposta foi avaliada considerando exemplos da literatura (Vending Machine (VM) e Nuclear Power Plant (NPP)) e da indústria aeroespacial (Priority Control (PC)). Foram analisados o desempenho e a capacidade de detectar defeitos gerados através de operadores de mutação. Em geral, a nossa estratégia apresentou melhores resultados do que a referência adotada: testes aleatórios. A estratégia também foi comparada com a versão que utiliza Communicating Sequential Processes (CSP) como modelo formal intermediário e apresentou melhor desempenho nos três estudos realizados. Em um deles, encontrou a mesma quantidade de defeitos, sendo superior nos demais.

Orientadores : Leo Pini Magalhães, Ivan Luiz Marques Ricarte / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-28T01:36:32Z (GMT). No. of bitstreams: 1 Raposo_AlbertoBarbosa_D.pdf: 11713768 bytes, checksum: 2dbdf2cc7f0274ac30ffe5cdae9cee99 (MD5) Previous issue date: 2000 / Resumo: A coordenação das interdependências entre atividades colaborativas é uma tarefa complexa, de difícil modelagem computacional. Este trabalho define uma série de interdependências que ocorrem freqüentemente entre tarefas colaborativas e apresenta um conjunto de mecanismos de coordenação para a especificação e controle da interação entre essas tarefas. Estes mecanismos são genéricos e podem ser reutilizados em uma série de ambientes colaborativos, tais como workflows interorganizacionais e ambientes virtuais colaborativos. A separação entre atividades (tarefas) e dependências (controladas pelos mecanismos de coordenação) permite o uso de diferentes políticas de coordenação em um mesmo ambiente colaborativo, sendo necessário apenas trocar os mecanismos de coordenação. Os mecanismos são modelados por redes de Petri, que oferecem um suporte matemático para análise e simulação do comportamento do ambiente colaborativo. Com o modelo baseado em redes de Petri, é possível prever e testar o comportamento de um ambiente de suporte ao trabalho colaborativo antes mesmo de sua implementação / Abstract: The coordination of interdependencies among activities in collaborative environments is a very important and difficult task. This work defines a group of interdependencies that frequently occurs among collaborative tasks and presents a set of coordination mechanisms for the specification and control of interaction among these tasks. These mechanisms are generic and can be reused in several collaborative environments, such as interorganizational workflows and collaborative virtual environments. The separation between activities (tasks) and dependencies (controlled by the coordination mechanisms) allows the use of different coordination policies in the same collaborative environment by changing the coordination mechanisms. These mechanisms are modeled using Petri nets, which have a strong theoretical support for analysis and simulation of the collaborative environment's behavior. Using the Petri nets based model, it is possible to anticipate and test the behavior of a computer supported collaborative system even before its implementation / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica

Orientador: Leo Pini Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-29T00:33:07Z (GMT). No. of bitstreams: 1 Bicho_AlessandrodeLima_M.pdf: 864359 bytes, checksum: 257c87945ab54bde180d6c2257f53372 (MD5) Previous issue date: 2001 / Mestrado