Please use this identifier to cite or link to this item: http://repositorio.ufes.br/handle/10/4297
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorAlmeida, João Paulo Andrade-
dc.date.accessioned2016-08-29T15:33:23Z-
dc.date.available2016-07-11-
dc.date.available2016-08-29T15:33:23Z-
dc.identifier.urihttp://repositorio.ufes.br/handle/10/4297-
dc.format.mediumtexten
dc.publisherUniversidade Federal do Espírito Santopor
dc.rightsopen accessen
dc.titleA model-driven approach to the conceptual modeling of situations : from specification to validationpor
dc.typemasterThesisen
dc.subject.udc004-
dcterms.abstractA modelagem de situações para aplicações sensíveis ao contexto, também chamadas de aplicações sensíveis a situações, é, por um lado, uma tarefa chave para o funcionamento adequado dessas aplicações. Por outro lado, essa também é uma tafera árdua graças à complexidade e à vasta gama de tipos de situações possíveis. Com o intuito de facilitar a representação desses tipos de situações em tempo de projeto, foi criada a Linguagem de Modelagem de Situações (Situation Modeling Language - SML), a qual se baseia parcialmente em ricas teorias ontológicas de modelagem conceitual, além de fornecer uma plataforma de detecção de situação em tempo de execução. Apesar do benefício da existência dessa infraestrutura, a tarefa de definir tipos de situação é ainda não-trivial, podendo carregar problemas que dificilmente são detectados por modeladores via inspeções manuais. Esta dissertação tem o propósito de melhorar e facilitar ainda mais a definição de tipos de situação em SML propondo: (i) uma maior integração da linguagem com as teorias ontológicas de modelagem conceitual pelo uso da linguagem OntoUML, visando aumentar a expressividade dos modelos de situação; e (ii) uma abordagem para validação de tipos de situação usando um método formal, visando garantir que os modelos criados correspondam à intenção do modelador. Tanto a integração quanto a validação são implementadas em uma ferramenta para especificação, verificação e validação de tipos de situação ontologicamente enriquecidos.por
dcterms.abstractThe modeling of situation types for context-aware applications, also called situationaware applications, is, on the one hand, a key task to the proper functioning of those applications. On the other hand, it is also a hard task given the complexity and the wide range of possible situation types. Aiming at facilitating the representation of those types of situations at design-time, the Situation Modeling Language (SML) was created. This language is based partially on rich ontological theories of conceptual modeling and is accompanied by a platform for situation-detection at runtime. Despite the benefits of the availability of this suitable infrastructure, the definition of situation types, being a non-trivial task, can still pose problems that are hardly detected by modelers by manual model inspection. This thesis aims at improving and facilitating the definition of situation types in SML by proposing: (i) the integration between the language and the ontological theories of conceptual modeling by using the OntoUML language, with the purpose of increasing the expressivity of situation type models; and (ii) an approach for the validation of situation type models using a lightweight formal method, aiming at increasing the correspondence between the created models’ instances and the modeler’s intentions. Both the integration and the validation are implemented in a tool for specification, verification and validation of ontologically-enriched situation types.-
dcterms.creatorSobral, Vinicius Marchandt-
dcterms.issued2015-10-28-
dcterms.subjectOntologiapor
dcterms.subjectModelagem de informaçõespor
dcterms.subjectModelagem de situaçõespor
dcterms.subjectModelagem conceitual-
dcterms.subjectValidação de modelos conceituais-
dcterms.subjectVerificação de modelos conceituais-
dc.publisher.countryBRpor
dc.publisher.programPrograma de Pós-Graduação em Informáticapor
dc.publisher.initialsUFESpor
dc.subject.cnpqSistemas de Informação-
dc.publisher.courseMestrado em Informáticapor
dc.contributor.refereePires, Luís Ferreira-
dc.contributor.refereePereira Filho, José Gonçalves-
dc.contributor.advisor-coCosta, Patrícia Dockhorn-
frapo.hasFundingAgencyCAPES-
Appears in Collections:PPGI - Dissertações de mestrado

Files in This Item:
File Description SizeFormat 
tese_9288_Ata de Defesa.pdf220.28 kBAdobe PDFView/Open
thesis_sobral_final.pdf1.56 MBAdobe PDFView/Open


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