• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 40
  • 6
  • 2
  • Tagged with
  • 52
  • 52
  • 29
  • 26
  • 19
  • 18
  • 11
  • 9
  • 9
  • 9
  • 9
  • 9
  • 7
  • 7
  • 6
  • 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.
1

Modeling Stories for Conceptual Model Validation.

BRAGA, B. F. B. 21 March 2016 (has links)
Made available in DSpace on 2018-08-02T00:03:55Z (GMT). No. of bitstreams: 1 tese_9654_bernardo braga - modeling_stories_for_conceptual_model_validation_2016.pdf: 5891393 bytes, checksum: f8d44a244fb2fedab461a51470a8f2f1 (MD5) Previous issue date: 2016-03-21 / Modelagem Conceitual é uma atividade desafiadora e avaliar a qualidade de modelos conceituais produzidos é chave para garantir que possam ser usados efetivamente como base para compreensão, acordo e desenvolvimento de sistemas de informação. Modelos podem ser avaliados com relação a diferentes critérios de qualidade e neste trabalho focamos em sua acurácia em caracterizar as conceituações que visam representar. Validar a acurácia de um modelo envolve entender os mundos admissíveis que são implícitos a ele e sua adequação em representar as conceituações de domínio. Esforços anteriores para validação de modelos conceituais baseados em ontologia deram origem a um simulador de modelos que permite a modeladores ser confrontado com as consequências de suas decisões de modelagem. Esse simulador de modelos gera sequências de snapshots da instanciação de modelos, revelando a dinâmica da criação, mudança e destruição de objetos. Ainda que esses esforços contribuam para avaliação de modelos, eles podem ser difíceis de compreender e usar e este trabalho melhora a abordagem existente usando um misto de histórias formais e informais. Histórias sempre foram usadas como meio de comunicar ideias complexas e nós argumentamos que podem ser usadas efetivamente para avaliar modelos e revelar escolhas de modelagem. Esta dissertação propõe uma abordagem para avaliar modelos conceituais criando narrativas a respeito do domínio de discurso. Essas narrativas exemplificam como conceitos de um modelo conceitual são empregados em seu contexto real. Para usá-las no simulador de modelos existente, as narrativas em linguagem natural são formalizadas como histórias abstratas usando a linguagem de especificação que definimos e, então, usadas para restringir a simulação de modelos, guiando o simulador para que corresponda à narrativa, apoiando a validação do modelo conceitual. Contrastar simulações com as conceituações pretendidas é a base da avaliação de modelos nessa abordagem. A narrativa em linguagem natural permite um entendimento intuitivo do significado dos conceitos. Comparar essas narrativas a diagramas de objeto que mostram a instanciação do modelo formal permite compreender como os conceitos são formalizados.
2

Um modelo conceitual de dados e uma ferramenta CASE para aplicações de persistência poliglota

SILVA, Inácio de Loiola Souza 28 August 2017 (has links)
Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-10-05T22:42:51Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Inácio de Loiola Souza Silva.pdf: 2266479 bytes, checksum: 3288881e18eafc0d69046b9517f0bf93 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-11-14T21:54:28Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Inácio de Loiola Souza Silva.pdf: 2266479 bytes, checksum: 3288881e18eafc0d69046b9517f0bf93 (MD5) / Made available in DSpace on 2018-11-14T21:54:28Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Inácio de Loiola Souza Silva.pdf: 2266479 bytes, checksum: 3288881e18eafc0d69046b9517f0bf93 (MD5) Previous issue date: 2017-08-28 / A persistência poliglota refere-se ao uso de diversos SGBD com modelos de dados diferentes em uma mesma aplicação. Uma das motivações para a utilização da persistência poliglota vem da crescente quantidade de dados de variados tipos (estruturados, semiestruturados e não estruturados) que são manipulados em aplicações como: redes sociais, comércio eletrônico, aplicativos móveis. Os SGBD NoSQL (Not Only SQL) representam um conjunto de sistemas de bancos de dados não relacionais e de alto desempenho, projetados para manipular vastos volumes de dados, além de possibilitarem o armazenamento de dados semiestruturados e não estruturados. Diversas pesquisas propõem modelos conceituais para auxiliar o projeto de bancos de dados NoSQL, entretanto, não foi encontrada qualquer proposta na literatura que aborde o projeto conceitual de dados de aplicações de persistência poliglota. Portanto, este trabalho especifica um modelo conceitual de dados, chamado de ERNoSQL, o qual estende o modelo Entidade-Relacionamento (ER) adicionando construtores específicos para possibilitar a modelagem de aplicações de BD com persistência poliglota. Para fornecer uma visão geral do modelo conceitual proposto, apresenta-se um metamodelo especificado em UML que fornece um entendimento sobre como os construtores do ERNoSQL se relacionam. O trabalho também especifica um conjunto de regras de mapeamento do modelo ERNoSQL para as estruturas lógicas dos modelos NoSQL (documentos, grafos, chave-valor e família de colunas). Para auxiliar as atividades de modelagem de esquemas poliglotas, este trabalho propõe, ainda, uma ferramenta CASE para a construção de esquemas conceituais de dados a partir dos construtores de modelagem de ERNoSQL. A ferramenta, intitulada NoSQLCASE, possui um ambiente gráfico para a construção do esquema conceitual e provê funcionalidades de exportação para scripts expressos em linguagens de SGBD NoSQL. Finalmente, um estudo de caso foi realizado para comparação entre esquemas conceituais de dados construídos por duas ferramentas CASE existentes e baseadas no modelo ER, e esquemas conceituais de dados projetados pela ferramenta NoSQLCASE proposta. Além disso, as funcionalidades de exportação de NoSQLCASE foram ilustradas pela implementação de scripts gerados pela ferramenta proposta no SGBD MongoDB. / The polyglot persistence refers to the use of several DBMS with different data models in the same application. One of the motivations for the use of polyglot persistence comes from the growing amount of data of any types (structured, semistructured and unstructured) that are handled in applications such as: social networking, e-commerce, mobile applications. NoSQL DBMS represent a set of non-relational database systems of high performance designed to handle vast volumes of data, besides allowing the storage of semi-structured and unstructured data. Several researches propose conceptual models to support the design of NoSQL databases. However, no proposal that addresses the conceptual data design of polyglot persistence applications was found in the literature. Therefore, this work specifies a conceptual data model, called ERNoSQL, that extends the Entity-Relationship model by adding specific constructors to enable the modeling of DB applications with polyglot persistence. To provide an overview of the proposed conceptual model, a meta-model that provides an understanding of how ERNoSQL constructors are related was specified in UML. The work also specifies a set of mapping rules of the ERNoSQL model for the logical structures of the NoSQL models (documents, graphs, key-value and family of columns). To support the activities of modeling polyglot schemes, this paper also proposes a CASE tool for the construction of conceptual data schemas from the ERNoSQL modeling constructors. The tool, called NoSQLCASE, has a graphical environment for constructing the conceptual schema that provides export functionality for scripts expressed in NoSQL DBMS languages. Finally, a case study was conducted to compare conceptual data schemas constructed by two existing CASE tools that are based on the ER model and conceptual schemas of data designed by the proposed NoSQLCASE tool. In addition, the export functionality of NoSQLCASE was illustrated by the implementation of scripts generated by the proposed tool in the MongoDB DBMS.
3

A Model-Based graphical editor for supporting the creation, verification and validation of OntoUML conceptual models

BENEVIDES, A. B. 05 February 2010 (has links)
Made available in DSpace on 2016-08-29T15:33:10Z (GMT). No. of bitstreams: 1 tese_3332_.pdf: 4500876 bytes, checksum: 55c9192a29c0414e33a92f7897ba7167 (MD5) Previous issue date: 2010-02-05 / Essa tese apresenta um editor gráfico baseado em modelos para o suporte à criação, verificação e validação de modelos conceituais e ontologias de domínio em uma linguagem de modelagem filosoficamente e cognitivamente bem-fundada chamada OntoUML. O editor é projetado de forma que, por um lado, ele protege o usuário da complexidade dos princípios ontológicos subjacentes à essa linguagem. Por outro lado, ele reforça esses princípios nos modelos produzidos por prover um mecanismo para verificação formal automática de restrições, daí assegurando que os modelos criados serão sintaticamente corretos. Além disso, avaliar a qualidade de modelos conceituais é um ponto chave para assegurar que modelos conceituais podem ser utilizados efetivamente como uma base para o entendimento, acordo e construção de sistemas de informação. Por essa razão, o editor é também capaz de gerar instâncias de modelos automaticamente por meio da transformação desses modelos em especificações na linguagem, baseada em lógica, chamada Alloy. Como as especificações Alloy geradas incluem os axiomas modais da ontologia fundacional subjacente à OntoUML, chamada Unified Foundational Ontology (UFO), então as instâncias geradas automaticamente vão apresentar um comportamento modal enquanto estiverem sendo classificadas dinamicamente, suportando, assim, a validação das meta-propriedades modais dos tipos fornecidos pela linguagem OntoUML.
4

GERENCIAMENTO DE SERVIÇOS E GOVERNANÇA DE TI MODELAGEM DE UM PROCESSO DE GERENCIAMENTO DE CONFIGURAÇÃO UMA ABORDAGEM USANDO ONTOLOGIAS DE FUNDAMENTAÇÃO

BAIOCO, G. 21 August 2009 (has links)
Made available in DSpace on 2016-08-29T15:33:11Z (GMT). No. of bitstreams: 1 tese_3336_.pdf: 1706812 bytes, checksum: 0e20b14431a3c7991d5dea936b8b6193 (MD5) Previous issue date: 2009-08-21 / A tecnologia da informação (TI) vem se tornando essencial para as organizações. Nesse contexto, o gerenciamento de TI, vem evoluindo para incluir gerenciamento de serviços e governança de TI, apontando para paradigmas de gerenciamento de TI orientado ao negócio. Dessa forma, o alinhamento entre a TI e o negócio tem sido considerado como um dos fatores preponderantes para a efetividade de tais paradigmas. Em adicional, são mencionadas as contribuições provenientes da automação das atividades de gerenciamento.Acompanhando essa evolução, o gerenciamento de configuração desempenha um papel fundamental, fornecendo informações precisas da TI a todos os envolvidos no gerenciamento. Todavia, em função desse estreito relacionamento com todos os agentes envolvidos no gerenciamento, a interoperabilidade entre esses agentes tem sido caracterizada como um dos principais desafios de pesquisa em gerenciamento de redes e serviços.Nesse sentido, o uso de ontologias, em especial, ontologias fundacionais, tem sido indicado como uma maneira promissora de se obter interoperabilidade semântica no domínio de gerenciamento de configuração, uma vez que elas expressam o significado dos conceitos do domínio, bem como os relacionamentos existentes entre eles, de forma clara e explícita. Além disso, ontologias permitem que esse significado seja definido em um formato legível por máquinas, tornando o conhecimento compartilhado por humanos e também por sistemas computacionais, permitindo a automação de processos.Assim, este trabalho apresenta uma proposta de modelagem conceitual do domínio de gerenciamento de configuração, no contexto do gerenciamento de serviços e governança de TI, baseada em ontologias fundacionais. O propósito dessa ontologia é prover um modelo conceitual desse domínio, comprometido em maximizar a expressividade, a clareza e a veracidade dos conceitos pertencentes a ele. Ademais, este trabalho apresenta uma proposta de modelo de implementação, derivado do modelo conceitual desenvolvido. O objetivo é realizar uma prova de conceito da ontologia e também demonstrar como essa ontologia pode apoiar as atividades de gerenciamento de maneira automatizada.
5

Front end da inovação

Teza, Pierry January 2012 (has links)
Dissertação [mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Produção, Florianópolis, 2012. / Made available in DSpace on 2013-07-16T04:28:12Z (GMT). No. of bitstreams: 1 314678.pdf: 2082634 bytes, checksum: 3a0ad12c5e2326f42ccfd0cc64933e5e (MD5) / O Front End da Inovação é um subprocesso do processo da inovação. Ele representa as atividades e o tempo antes do desenvolvimento e aprovação de um conceito inovador. Uma vez que as organizações podem se beneficiar substancialmente pela otimização e melhoria ativa do Front End da Inovação e que esse tem recebido pouca atenção, tanto da academia quanto das organizações, justifica-se a importância de estudos que busquem a compreensão e a organização desse corpo da literatura, auxiliando assim a operacionalização dos conceitos teóricos. Nesse sentido, o presente trabalho apresenta uma proposta de modelo conceitual para o Front End da Inovação. Para isso foram analisados modelos, atividades e tarefas do Front End da Inovação existentes na literatura. Posteriormente, desenvolveu-se o modelo e o mesmo foi submetido à verificação por um conjunto de profissionais de uma organização. O modelo desenvolvido integra três elementos básicos: ideias; oportunidades; conceitos. Os resultados do processo representado pelo modelo são conceitos que serão posteriormente desenvolvidos como novos produtos, processos, métodos de marketing ou métodos organizacionais. Além da aplicabilidade do modelo proposto no contexto da organização participante da verificação, o trabalho resultou também de possibilidades para futuras pesquisas, como o detalhamento do modelo tendo em vista a sua implantação.<br> / Abstract : The Front End of Innovation is a subprocess of process innovation. He represents the activities and the time before the development and adoption of an innovative concept. Since organizations can benefit substantially by optimizing and improving active and Front End of Innovation that has received little attention from academia and from organizations, justifies the importance of studies that seek to understand and organize this body of literature, thereby assisting in the operationalization of theoretical concepts. Accordingly, this paper proposes a generic model for the Front End of Innovation. For that, models, activities and tasks of the Front End of Innovation were analyzed. Subsequently, the model was developed and subjected it to a set of verification of a professional organization. The model includes three basic elements: ideas, opportunities, concepts. The results of the model are represented by concepts that will be further developed as new products, processes, marketing methods or organizational methods. Besides the applicability of the proposed model in the context of the participating organization of the verification work also resulted possibilities for future research, as the detailing of the model with a view to its implementation.
6

Identificação e diagnósttico de erros de modelagem conceitual cometidos por aprendizes

Pasqualli, Roberta January 2002 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-19T17:13:33Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-26T01:32:24Z : No. of bitstreams: 1 184879.pdf: 13976355 bytes, checksum: 956e09075ce1eecda2978a622f085983 (MD5) / Este trabalho apresenta uma abordagem para a identificação e o tratamento dos erros realizados por aprendizes no desenvolvimento de modelagem conceitual. Para fundamentar teoricamente este trabalho foi realizado um estudo sobre Orientação a Objetos, UML (Unified Language Modeling) e, principalmente sobre quais são os erros que mais comumente são observados quando os aprendizes desenvolvem seus próprios modelos conceituais. Além de procurar por erros comuns relatados na bibliografia, procurou-se analisar trabalhos de alunos e catalogar os erros observados, a fim de verificar se é possível automatizar a detecção dos mesmos. Esse tema foi escolhido, pois a partir dessa identificação e catalogação de erros, abre-se a possibilidade de aprimoramento das ferramentas CASE existentes e até mesmo o desenvolvimento de novas ferramentas que sugiram meios de auxiliar o aluno no momento de desenvolvimento da modelagem conceitual.
7

Calibração de modelos de consumo de combustível para microssimulação de tráfego com dados coletados via OBD

Marinho, Arthur Theodoro January 2016 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016. / Made available in DSpace on 2017-05-23T04:08:19Z (GMT). No. of bitstreams: 1 345594.pdf: 61655913 bytes, checksum: 66fa1753ad69140db4729210a7a2a019 (MD5) Previous issue date: 2016 / Com a preocupação da sustentabilidade, avaliar em simulação o desempenho de sistemas de tráfego apenas em termos de fluidez não atende mais as expectativas de gestores e da sociedade. Há também a necessidade de medidas confiáveis de aspectos ambientais, como o consumo de combustíveis e a emissão de poluentes. Assim, é importante que simuladores incorporem modelos de consumo de combustível e de emissões que reflitam condições realísticas do tráfego. Neste trabalho, dois modelos de consumo de combustível foram calibrados e validados. O primeiro modelo é implementado no simulador de tráfego AIMSUN. O segundo é um modelo baseado em potência, implementado no simulador de tráfego SIDRA Trip. Os dados de vários sensores de diferentes tipos de veículos foram coletados via diagnóstico de bordo (on-board diagnostics - OBD). A partir desses dados, tem-se as informações operacionais dos veículos para a calibração dos modelos - velocidade e consumo de combustível instantâneos. A calibração do primeiro modelo foi realizada de quatro maneiras diferentes, em que foram aplicadas técnicas de regressão linear, fórmulas e orientações do manual do simulador AIMSUN. A calibração do segundo modelo foi realizada por meio de um processo iterativo sugerido no manual do simulador SIDRA Trip. Para validar a calibração dos modelos, o consumo de combustível medido e o estimado foram comparados utilizando ciclos de condução em áreas urbanas. Os resultados sugerem que a calibração dos modelos de consumo de combustível para simulação de tráfego com dados obtidos via OBD é satisfatória independente da técnica utilizada.<br> / Abstract : Due to the increased concern with sustainability, the performance of traffic systems in simulation on the basis of throughput does not meet managers and the society requirements anymore. Reliable measures of environmental aspects are also needed, such as fuel consumption and emissions. Therefore, traffic simulators are required to incorporate corresponding models that reflect realistic traffic conditions. In this work, two fuel consumption models were calibrated and validated. The first model is implemented in the AIMSUN traffic simulator. The second is a power-based model, implemented in the SIDRA Trip traffic simulator. Data from several sensors of different vehicle types were collected via on-board diagnostics (OBD). From these data, the vehicle operational information is available for the calibration - instantaneous speed and fuel consumption. The calibration of the first model was performed in four different ways, in which linear regression techniques, formulas and guidelines from the AIMSUN simulator's manual were applied. The calibration of the second model was performed with an iterative process suggested in the SIDRA Trip simulator's manual. For the validation of the calibration, measured and estimated fuel consumption were compared using driving cycles in urban areas. The results suggest that the calibration of fuel consumption models for traffic simulation with OBD data is adequate independent of calibration approach.
8

Controladores de rastreamento de ângulo de esterço e velocidade longitudinal de um veículo inclinável de três rodas

Morita, Leandro Yoshio January 2016 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016. / Made available in DSpace on 2017-06-27T04:15:18Z (GMT). No. of bitstreams: 1 345807.pdf: 39092209 bytes, checksum: 892aa11388857b64f531df1ebedaf6b3 (MD5) Previous issue date: 2016 / Este trabalho trata o problema de controle de rastreamento do ângulo de esterço e velocidade longitudinal desejados pelo condutor de um veículo inclinável de 3 rodas, enquanto mantém o ângulo de inclinação dentro de uma margem de segurança pré-estabelecida de modo a alcançar uma condução segura e fácil em malha-fechada. A idéia principal é projetar controladores que forcem o ângulo de inclinação e a velocidade longitudinal do veículo a rastrearem trajetórias de referências adequadas, onde a trajetória de referência para o ângulo de inclinação evolui dentro de uma margem de segurança pré-estabelecida. A prática comum utilizada na literatura é determinar a estrutura do controlador com base em modelos aproximados de ordem reduzida do veículo. No presente trabalho, serão projetados controladores lineares e não-lineares para tal problema de rastreamento diretamente em um modelo de um protótipo de um veículo inclinável de 3 rodas com 9-GL (graus de liberdade). Seis diferentes metodologias são usadas: controladores PID, Regulador Quadrático Linear (LQR), realimentação linearizante, controle por modos deslizantes de Slotine, Controle Vetorial Unitário (UVC) de Utkin, e uma extensão do UVC proposta recentemente. Os resultados de simulação comparam os desempenhos destes controladores sob condições nominais, assim como sob perturbações de ventos externos e incertezas paramétricas de massa e altura do centro de massa do veículo.<br> / Abstract : This works treats the control problem of tracking the steering angle and longitudinal velocity desired by the driver of a tilting 3-wheeled vehicle, while keeping its tilt angle within a pre-established safety margin, so as to achieve safe and easy driving in closed-loop. The key idea is to design controllers that force the tilt angle and the longitudinal velocity of the vehicle to track adequate reference trajectories, where the reference trajectory for the tilt angle evolves within a pre-established safety margin. A common practice in the literature is to determine the controller structure based upon reduced order approximate models of the vehicle. In the present work, one designs linear and nonlinear controllers for such tracking problem directly on a 9-DOF model of a prototype of a tilting 3-wheeled vehicle. Six different approaches are used: PID controllers, Linear Quadratic Regulator (LQR), feedback linearization, sliding mode control of Slotine, Unity Vector Control (UVC) of Utkin, and a recently proposed extension of UVC. The simulation results compare the performance of these controllers under nominal conditions, as well as under disturbances of the external wind and parametric uncertainties on the mass and center of mass height of the vehicle.
9

Uma metodologia e um ambiente MDE para a verificação de aplicações hipermídia

Picinin Júnior, Delcino January 2016 (has links)
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia de Automação e Sistemas, Florianópolis, 2016 / Made available in DSpace on 2016-10-19T13:26:04Z (GMT). No. of bitstreams: 0 Previous issue date: 2016Bitstream added on 2016-10-25T03:12:29Z : No. of bitstreams: 1 342327.pdf: 10243259 bytes, checksum: 34c08009c7f6079999c9bc018cac313f (MD5) / No desenvolvimento de aplicações hipermídia, o projetista pode erroneamente inserir comportamentos indesejados. Metodologias baseadas em teste ou análise de linha temporal para verificar a corretude de aplicações são limitadas, por não serem exaustivas e serem consumidoras de tempo. Outra alternativa é a utilização de metodologias baseadas em verificação formal, que permitem uma análise exaustiva e mais rápida da aplicação. A verificação formal requer que a aplicação e os comportamentos a serem verificados estejam representados em linguagens formais, de difícil aprendizagem por um projetista de aplicação hipermídia. O presente trabalho propõe uma metodologia baseada no uso de verificação formal por model-checking, a partir de uma representação da aplicação, das propriedades a serem verificadas e do diagnostico de eventuais erros, ambos em linguagens e representações de fácil uso e entendimento para o projetista destas aplicações. Essa metodologia é dividida em quatro fases: Modelagem, Transformação, Verificação e Diagnóstico/Correção. Inicialmente, o projetista codifica sua aplicação em alguma linguagem de domínio específico (por exemplo, NCL ou SMIL), e especifica os comportamentos desejados a serem verificados numa linguagem de descrição simples, proposta neste trabalho. A seguir, essas descrições das aplicações e comportamentos são transformadas, seguindo a abordagem MDE (Model Driven Engineering), nos modelos formais utilizados na verificação. Em caso de algum comportamento desejado não ser satisfeito, a ferramenta de model-checking oferece um contraexemplo que, após transformação, é apresentado na forma de uma linha de tempo, permitindo diagnosticar a origem do erro e fornecer informações para a sua correção. Para apoiar a metodologia proposta, foi construído um protótipo de um ambiente de desenvolvimento, no qual o projetista pode verificar o comportamento de sua aplicação. As avaliações da metodologia e de seu ambiente, realizadas em diversas aplicações hipermídia mostram suas potencialidades de uso para aplicações mais complexas e no caso de edição "ao vivo".<br> / Abstract : In the development of hypermedia applications, the designer can mistakenly insert undesirable behaviors. Methodologies based on tests or timeline analysis to verify the correctness of applications are limited because they are not exhaustive and are time consuming. Another alternative is the use of methodologies based on formal verification, allowing an exhaustive and more fast analysis of the application. Formal verification requires that the application and behavior to be verified are represented in formal languages, which are difficult to learn by a hypermedia application designer. This work proposes a methodology based on the use of formal verification by model-checking, from an application representation, the properties to be verified and the diagnosis of errors, both in languages and representations of easy use and understanding by designer of these applications. This methodology is divided into four phases: Modeling, Transformation, Verification and Diagnosis/Correction. Initially, the designer encodes his application in any domain specific language (eg, NCL or SMIL), and specifies the desired behaviors to be checked in a simple description language proposed in this work. Then these descriptions of applications and behaviors are transformed, following the MDE approach (Model Driven Engineering), in formal models used for verification. If some desired behavior is not satisfied, the model-checking tool provides a counterexample that, after processing, is presented as a timeline, allowing to diagnose the source of the error and provide information for its correction. To support the proposed methodology, a prototype development environment was built, in which the designer can verify the behavior of your application. Evaluations of the methodology and its environment, performed in several hypermedia applications, showed their potential of use for more complex applications and in the case of editing "live".
10

Modelagem e implementação de aplicações usando uma base computacional orientada a objetos para sistemas de energia elétrica

Dotta, Daniel January 2003 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-21T06:52:03Z (GMT). No. of bitstreams: 1 199916.pdf: 1192362 bytes, checksum: 68d7db51171e61559daa688c3630f8ef (MD5) / A presente dissertação de mestrado descreve os resultados de uma investigação sobre a modelagem e a implementação de aplicações computacionais sob o paradigma de uma nova filosofia de desenvolvimento de software para sistemas de energia elétrica (SEE). Neste contexto utilizam-se abstrações bem definidas, uma base computacional capaz de representar as mais diversas instâncias do SEE, a Unified Modeling Language (UML) para a documentação e padrões de projeto orientados a objeto. No âmbito das abstrações há uma nítida separação entre a representação de elementos físicos, aplicações de análise e módulos de funções específicas. Neste trabalho, os instrumentos descritos foram utilizados na modelagem e implementação de três metodologias de análise da operação de SEE: (i) cálculo de fluxo de potência, modelos Newton-Raphson e Desacoplado-Rápido; (ii) avaliação da segurança dinâmica usando modelagem detalhada; (iii) seleção e classificação de contingências críticas usando modelagem simplificada e ambiente de processamento paralelo. O projeto e a implementação das aplicações foram realizados com os recursos da base computacional e com o aproveitamento de códigos já desenvolvidos e testados. O escopo dos resultados deste trabalho compreende o processo de desenvolvimento de software propriamente dito e o desempenho computacional específico das aplicações implementadas. No primeiro caso destacam-se a verificação das facilidades propiciadas pela base computacional à incorporação de novas metodologias de análise de SEE bem como a geração de aplicações computacionais de fácil manutenção e incorporação de novos modelos e equipamentos. Na avaliação do desempenho computacional foram realizadas simulações com três configurações do sistema elétrico das regiões sul e sudeste do Brasil, obtendo-se resultados comparáveis ao de programas tradicionalmente empregados no setor elétrico brasileiro.

Page generated in 0.0988 seconds