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:
Nome |
Papel |
|---|---|
| JOÃO PAULO ANDRADE ALMEIDA | Orientador |
Banca:
| Nome |
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.
