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:

Nomeordem decrescente Papel
João Paulo Andrade Almeida Orientador

Banca:

Nomeordem decrescente 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

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