A Model-Driven Approach to the Conceptual Modeling of Situations: From Specification to Validation.

Nome: Vinicius Marchandt Sobral
Tipo: Dissertação de mestrado acadêmico
Data de publicação: 30/10/2015
Orientador:

Nomeordem decrescente Papel
João Paulo Andrade Almeida Orientador
Patrícia Dockhorn Costa Co-orientador

Banca:

Nomeordem decrescente Papel
João Paulo Andrade Almeida Orientador
José Gonçalves Pereira Filho Examinador Interno
Luís Ferreira Pires Examinador Externo
Patrícia Dockhorn Costa Coorientador

Resumo: A tarefa de modelar situações para aplicações sensíveis ao contexto, também chamadas de aplicações sensíveis a situações, é uma tarefa chave para o funcionamento adequado dessas aplicações, porém árdua graças à complexidade e a vasta gama de tipos de situações possíveis. Com o intuito de facilitar a criação desses tipos de situações em tempo de projeto, foi criada a Linguagem de Modelagem de Situações (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.

Acesso ao documento

Acesso à informação
Transparência Pública

© 2013 Universidade Federal do Espírito Santo. Todos os direitos reservados.
Av. Fernando Ferrari, 514 - Goiabeiras, Vitória - ES | CEP 29075-910