Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8082
Title: Modelagem executável de sistemas distribuídos em JAVA.
Other Titles: Executable system modeling distributed in JAVA.
???metadata.dc.creator???: ASSIS, Afrânio Mangueira Lima de.
???metadata.dc.contributor.advisor1???: GUERRERO, Dalton Dario Serey.
???metadata.dc.contributor.advisor2???: FIGUEIREDO, Jorge César Abrantes de.
???metadata.dc.contributor.referee1???: LULA JÚNIOR , Bernardo.
???metadata.dc.contributor.referee2???: CHAVEZ, Christina Von Flach Garcia.
Keywords: Engenharia de Software;Modelagem Comportamental;Verificação Formal;Software Engineering;Behavioral Modeling;Formal Verification
Issue Date: 27-Feb-2006
Publisher: Universidade Federal de Campina Grande
Citation: ASSIS, A. M. L. de. Modelagem executável de sistemas distribuídos em JAVA. 2006. 129 f. Dissertação (Mestrado em Ciência da Computação) – Pós-Graduação em Ciência da Computação, Centro de Engenharia Elétrica e Informática, Universidade Federal de Campina Grande, Paraíba, Brasil, 2006.
???metadata.dc.description.resumo???: Com o objetivo de minimizar a quantidade de erros existentes em sistemas de computador, desenvolvedores procuram inserir no seu processo de desenvolvimento atividades que contribuam para o aumento da qualidade dos sistemas. Dentre essas atividades encontramos a modelagem comportamental. Essa atividade permite a criação de modelos que refletem o comportamento do sistema em desenvolvimento, sendo, portanto, modelos passíveis de execução. A execução de um modelo simula a execução do sistema modelado. Essa simulação possibilita a validação do sistema antes mesmo de implementá-lo, através da detecção e correção de erros que possam existir no modelo. A correção desses erros é realizada a um baixo custo, se comparado ao custo de corrigir os mesmos erros após ter implementado o sistema. Caso a linguagem utilizada na modelagem comportamental seja formal, ou seja, definida matematicamente, podemos verificar nossos modelos através do emprego de técnicas de verificação formal. Este documento apresenta o resultado de nosso trabalho, uma linguagem formal de modelagem comportamental, denominada CROMOL. Ela permite a criação de modelos formais para um sistema, mesmo que o modelador não possua conhecimentos matemáticos avançados. Durante o seu desenvolvimento atacamos vários problemas encontrados nas linguagens formais existentes na literatura e focamos na modelagem de sistemas implementados em Java. Como resultado, obtivemos uma linguagem que oferece suporte à orientação a objetos, a sistemas distribuídos e é estruturalmente próxima à linguagem de programação Java, facilitando o processo de mapeamento entre código e modelo.
Abstract: With the aim to minimize the errors in computer systems, developers try to include in their development process activities which will contribute to the increase in the quality of systems. Among these activities, one finds the behavior modeling, which allows the creation of models that reflect the developing system’s behavior, thus being models which can be executed. The execution of a model simulates the execution of the modeled system. This simulation makes it possible to validate the system even before its implementation through the detection and correction of errors that might exist in the model. The correction of these errors is carried out at low cost if compared to the costs to correct the same errors after having implemented the system. If the language used in the behavior modeling is formal, i.e. mathematically defined, we can verify our models through the use of techniques of formal verification. This document presents the results of our work: a formal language of behavior modeling called CROMOL, which permits the creation of formal models for a system, even if the designer does not have advanced mathematical knowledge. During its development, we faced many problems found in formal languages which exist in the literature and focused on modeling Java-implemented systems. As a result, we got a language that offers support to the orientation of objects, to distributed systems and is structurally close to the programming language Java, making the mapping process between the code and model easier.
Keywords: Engenharia de Software
Modelagem Comportamental
Verificação Formal
Software Engineering
Behavioral Modeling
Formal Verification
???metadata.dc.subject.cnpq???: Ciência da Computação
URI: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8082
Appears in Collections:Mestrado em Ciência da Computação.

Files in This Item:
File Description SizeFormat 
AFRÂNIO MANGUEIRA LIMA DE ASSIS - DISSERTAÇÃO (PPGCC) 2006.pdf1.23 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.