Representing Dynamic Invariants in Ontologically Well-Founded Conceptual Models
Nome: JOHN OLIVEIRA GUERSON
Tipo: Dissertação de mestrado acadêmico
Data de publicação: 28/05/2015
Orientador:
Nome |
Papel |
|---|---|
| JOÃO PAULO ANDRADE ALMEIDA | Orientador |
Banca:
| Nome |
Papel |
|---|---|
| CLEVER RICARDO GUAREIS DE FARIAS | Examinador Externo |
| GIANCARLO GUIZZARDI | Examinador Interno |
| JOÃO PAULO ANDRADE ALMEIDA | Orientador |
Resumo: Modelos conceituais frequentemente capturam os aspectos invariantes dos fenômenos que nós percebemos. Estes invariantes podem ser considerados estáticos quando se referem a estruturas que nós percebemos do fenômeno em um ponto particular do tempo ou dinâmicos/temporais quando se referem a regularidades entre pontos diferentes do tempo. Enquanto invariantes estáticos têm recebido uma atenção significativa, invariantes dinâmicos têm recebido um suporte marginal em técnicas amplamente adotadas tais como UML e OCL. Este trabalho tem por objetivo abordar esta lacuna propondo uma técnica para a representação de invariantes dinâmicos de domínio em modelos conceituais baseados em UML. Para esse propósito, uma extensão temporal de OCL é proposta. Ela enriquece o perfil ontologicamente bem fundamentado OntoUML e permite a expressão de uma variedade de restrições temporais arbitrárias. A extensão é completamente implementada em uma ferramenta
para especificação, verificação e simulação de modelos OntoUML temporalmente.
enriquecidos
