Please use this identifier to cite or link to this item: https://repositorio.ufu.br/handle/123456789/12568
Full metadata record
DC FieldValueLanguage
dc.creatorSilva, Diego Alves da-
dc.date.accessioned2016-06-22T18:32:31Z-
dc.date.available2014-12-10-
dc.date.available2016-06-22T18:32:31Z-
dc.date.issued2014-08-19-
dc.identifier.citationSILVA, Diego Alves da. Aplicação do profile uml marte na modelagem de serviços de protocolos de comunicação de tempo real. 2014. 119 f. Dissertação (Mestrado em Ciências Exatas e da Terra) - Universidade Federal de Uberlândia, Uberlândia, 2014. DOI https://doi.org/10.14393/ufu.di.2014.400por
dc.identifier.urihttps://repositorio.ufu.br/handle/123456789/12568-
dc.description.abstractIn the context of the Internet and distributed systems, there is the application of new technologies and devices to enhance the support for mobility, security, quality of service and multicast. There are many approaches to the modeling of distributed systems to behavior validation. In addition, approaches which have support for modeling of realtime requirements are difficult to read, interpret and by creation of human models. In this way, this work aims to present an approach to modeling communication protocols using the MARTE/UML profile that supports the requirements of real-time and having a streamlined reading. In this work, two modeling approaches for communication protocols of the Internet architecture Entity Title Architecture (ETArch) were created. An approach using pure UML and the second the profile MARTE. In addition, a parser for VSL language model that accounts for the expression of real time constraints of the models of the second approach was created. In order to ensure the future applicability of the proposed approach, a questionnaire based on the Technology Acceptance Model was performed. According to this model, the proposed approach was positive for most users. Compared to other approaches, the one proposed in this work is advantageous by allowing both visual modeling as an algebraic model for the representation of constraints, allowing a mathematical validation.eng
dc.formatapplication/pdfpor
dc.languageporpor
dc.publisherUniversidade Federal de Uberlândiapor
dc.rightsAcesso Abertopor
dc.subjectMartepor
dc.subjectUmlpor
dc.subjectProtocolospor
dc.subjectModelagempor
dc.subjectProtocolseng
dc.subjectModelingeng
dc.subjectEngenharia de Softwarepor
dc.subjectUML(Linguagem de modelagem padrão)por
dc.titleAplicação do profile uml marte na modelagem de serviços de protocolos de comunicação de tempo realpor
dc.typeDissertaçãopor
dc.contributor.advisor-co1Rosa, Pedro Frosi-
dc.contributor.advisor-co1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4791965U0por
dc.contributor.advisor1Soares, Michel dos Santos-
dc.contributor.advisor1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4745139J8por
dc.contributor.referee1Silva, Flávio de Oliveira-
dc.contributor.referee1Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4793414H6por
dc.contributor.referee2Oliveira Junior, Edson Alves de-
dc.contributor.referee2Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4765752T6por
dc.creator.Latteshttp://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4424205D3por
dc.description.degreenameMestre em Ciência da Computaçãopor
dc.description.resumoNo contexto de sistemas distribuídos e Internet, existe a aplicação de novas tecnologias e dispositivos para melhorar o suporte à mobilidade, segurança, qualidade de serviços e multicast. Existem diversas abordagens para a modelagem de sistemas distribuídos para a validação do comportamento. Entretanto, muitas delas não permitem representar requisitos necessários para um protocolo de comunicação e a arquitetura em que o mesmo está inserido. Além disso, as abordagens que possuem suporte para modelagem de requisitos de tempo real são de difícil leitura, interpretação e criação dos modelos por humanos. Desta forma, este trabalho tem como objetivo apresentar duas abordagens de modelagem de protocolos de comunicação, utilizando o profile MARTE/UML, que tenha suporte para os requisitos de tempo real e que possua uma leitura simplificada. No trabalho foram criadas duas abordagens de modelagem para protocolos de comunicação da arquitetura de Internet Entity Title Architecture (ETArch). Além disso, foi criado um analisador para a linguagem VSL, que é responsável por modelar as expressões de restrições de tempo real dos modelos da segunda abordagem. Para garantir a aplicabilidade do trabalho foi feito um questionário utilizando um modelo de aceitação de tecnologia, que apresentou um resultado positivo de aceitação por parte dos usuários. Em comparação com outras abordagens, as abordagens apresentadas no trabalho são vantajosas por permitirem tanto uma modelagem visual de alto nível quanto uma modelagem algébrica para representação das restrições, permitindo uma validação matemática.por
dc.publisher.countryBRpor
dc.publisher.programPrograma de Pós-graduação em Ciência da Computaçãopor
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOpor
dc.publisher.departmentCiências Exatas e da Terrapor
dc.publisher.initialsUFUpor
dc.identifier.doihttps://doi.org/10.14393/ufu.di.2014.400por
dc.orcid.putcode81753039-
dc.crossref.doibatchid4760f38e-67c9-4f29-9dee-77c4e5a21ac4-
Appears in Collections:DISSERTAÇÃO - Ciência da Computação

Files in This Item:
File Description SizeFormat 
AplicacaoProfileUML.pdf3.07 MBAdobe PDFThumbnail
View/Open


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