Please use this identifier to cite or link to this item: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8082
Full metadata record
DC FieldValueLanguage
dc.creator.IDASSIS, Afrânio Mangueira Lima dept_BR
dc.creator.Latteshttp://lattes.cnpq.br/2282844874223181pt_BR
dc.contributor.advisor1GUERRERO, Dalton Dario Serey.-
dc.contributor.advisor1IDGUERRERO, D. D. S.pt_BR
dc.contributor.advisor1Latteshttp://lattes.cnpq.br/2050632960242405pt_BR
dc.contributor.advisor2FIGUEIREDO, Jorge César Abrantes de.-
dc.contributor.advisor2IDFIGUEIREDO, J. C. A.pt_BR
dc.contributor.advisor2Latteshttp://lattes.cnpq.br/1424808046858622pt_BR
dc.contributor.referee1LULA JÚNIOR , Bernardo.-
dc.contributor.referee2CHAVEZ, Christina Von Flach Garcia.-
dc.description.resumoCom 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.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentCentro de Engenharia Elétrica e Informática - CEEIpt_BR
dc.publisher.programPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOpt_BR
dc.publisher.initialsUFCGpt_BR
dc.subject.cnpqCiência da Computaçãopt_BR
dc.titleModelagem executável de sistemas distribuídos em JAVA.pt_BR
dc.date.issued2006-02-27-
dc.description.abstractWith 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.pt_BR
dc.identifier.urihttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8082-
dc.date.accessioned2019-10-15T10:50:44Z-
dc.date.available2019-10-15-
dc.date.available2019-10-15T10:50:44Z-
dc.typeDissertaçãopt_BR
dc.subjectEngenharia de Softwarept_BR
dc.subjectModelagem Comportamentalpt_BR
dc.subjectVerificação Formalpt_BR
dc.subjectSoftware Engineeringpt_BR
dc.subjectBehavioral Modelingpt_BR
dc.subjectFormal Verificationpt_BR
dc.rightsAcesso Abertopt_BR
dc.creatorASSIS, Afrânio Mangueira Lima de.-
dc.publisherUniversidade Federal de Campina Grandept_BR
dc.languageporpt_BR
dc.title.alternativeExecutable system modeling distributed in JAVA.pt_BR
dc.identifier.citationASSIS, 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. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/8082pt_BR
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.Afrânio Mangueira Lima de Assis - Dissertação (PPGCC) 2006.953.5 kBAdobe PDFView/Open


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