Representing dynamic invariants in ontologically well-founded conceptual models
Autor(a) principal: | |
---|---|
Data de Publicação: | 2015 |
Tipo de documento: | Dissertação |
Idioma: | eng |
Título da fonte: | Repositório Institucional da Universidade Federal do Espírito Santo (riUfes) |
Texto Completo: | http://repositorio.ufes.br/handle/10/4283 |
Resumo: | Conceptual models often capture the invariant aspects of the phenomena we perceive. These invariants may be considered static when they refer to structures we perceive in phenomena at a particular point in time or dynamic/temporal when they refer to regularities across different points in time. While static invariants have received significant attention, dynamics enjoy marginal support in widely-employed techniques such as UML and OCL. This thesis aims at addressing this gap by proposing a technique for the representation of dynamic invariants of subject domains in UML-based conceptual models. For that purpose, a temporal extension of OCL is proposed. It enriches the ontologically well-founded OntoUML profile and enables the expression of a variety of (arbitrary) temporal constraints. The extension is fully implemented in the tool for specification, verification and simulation of enriched OntoUML models. |
id |
UFES_b11bc9539984baa661531884ca7376aa |
---|---|
oai_identifier_str |
oai:repositorio.ufes.br:10/4283 |
network_acronym_str |
UFES |
network_name_str |
Repositório Institucional da Universidade Federal do Espírito Santo (riUfes) |
repository_id_str |
2108 |
spelling |
Almeida, João Paulo AndradeGuerson, JohnFarias, Clever Ricardo Guareis deGuizzardi, Giancarlo2016-08-29T15:33:21Z2016-07-112016-08-29T15:33:21Z2015-05-28Conceptual models often capture the invariant aspects of the phenomena we perceive. These invariants may be considered static when they refer to structures we perceive in phenomena at a particular point in time or dynamic/temporal when they refer to regularities across different points in time. While static invariants have received significant attention, dynamics enjoy marginal support in widely-employed techniques such as UML and OCL. This thesis aims at addressing this gap by proposing a technique for the representation of dynamic invariants of subject domains in UML-based conceptual models. For that purpose, a temporal extension of OCL is proposed. It enriches the ontologically well-founded OntoUML profile and enables the expression of a variety of (arbitrary) temporal constraints. The extension is fully implemented in the tool for specification, verification and simulation of enriched OntoUML models.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.TextGUERSON, John. Representing dynamic invariants in ontologically well-founded conceptual models. 2015. 136 f. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Centro Tecnológico, Vitória, 2015.http://repositorio.ufes.br/handle/10/4283engUniversidade Federal do Espírito SantoMestrado em InformáticaPrograma de Pós-Graduação em InformáticaUFESBRCentro TecnológicoValidação de modelos conceituaisModelagem conceitualOntologiaUML (Linguagem de modelagem padrão)Restrições (Inteligência artificial)Ciência da Computação004Representing dynamic invariants in ontologically well-founded conceptual modelsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da Universidade Federal do Espírito Santo (riUfes)instname:Universidade Federal do Espírito Santo (UFES)instacron:UFESORIGINALJohnMScThesis[final]20150703-110844.pdfapplication/pdf2078817http://repositorio.ufes.br/bitstreams/eddd35a2-debd-43ca-b6b6-8c50afbbd343/downloadb7867cf01fac04ad68223c7eeca3fe68MD5110/42832024-06-28 16:06:18.268oai:repositorio.ufes.br:10/4283http://repositorio.ufes.brRepositório InstitucionalPUBhttp://repositorio.ufes.br/oai/requestopendoar:21082024-06-28T16:06:18Repositório Institucional da Universidade Federal do Espírito Santo (riUfes) - Universidade Federal do Espírito Santo (UFES)false |
dc.title.none.fl_str_mv |
Representing dynamic invariants in ontologically well-founded conceptual models |
title |
Representing dynamic invariants in ontologically well-founded conceptual models |
spellingShingle |
Representing dynamic invariants in ontologically well-founded conceptual models Guerson, John Validação de modelos conceituais Modelagem conceitual Ciência da Computação Ontologia UML (Linguagem de modelagem padrão) Restrições (Inteligência artificial) 004 |
title_short |
Representing dynamic invariants in ontologically well-founded conceptual models |
title_full |
Representing dynamic invariants in ontologically well-founded conceptual models |
title_fullStr |
Representing dynamic invariants in ontologically well-founded conceptual models |
title_full_unstemmed |
Representing dynamic invariants in ontologically well-founded conceptual models |
title_sort |
Representing dynamic invariants in ontologically well-founded conceptual models |
author |
Guerson, John |
author_facet |
Guerson, John |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
Almeida, João Paulo Andrade |
dc.contributor.author.fl_str_mv |
Guerson, John |
dc.contributor.referee1.fl_str_mv |
Farias, Clever Ricardo Guareis de |
dc.contributor.referee2.fl_str_mv |
Guizzardi, Giancarlo |
contributor_str_mv |
Almeida, João Paulo Andrade Farias, Clever Ricardo Guareis de Guizzardi, Giancarlo |
dc.subject.por.fl_str_mv |
Validação de modelos conceituais Modelagem conceitual |
topic |
Validação de modelos conceituais Modelagem conceitual Ciência da Computação Ontologia UML (Linguagem de modelagem padrão) Restrições (Inteligência artificial) 004 |
dc.subject.cnpq.fl_str_mv |
Ciência da Computação |
dc.subject.br-rjbn.none.fl_str_mv |
Ontologia UML (Linguagem de modelagem padrão) Restrições (Inteligência artificial) |
dc.subject.udc.none.fl_str_mv |
004 |
description |
Conceptual models often capture the invariant aspects of the phenomena we perceive. These invariants may be considered static when they refer to structures we perceive in phenomena at a particular point in time or dynamic/temporal when they refer to regularities across different points in time. While static invariants have received significant attention, dynamics enjoy marginal support in widely-employed techniques such as UML and OCL. This thesis aims at addressing this gap by proposing a technique for the representation of dynamic invariants of subject domains in UML-based conceptual models. For that purpose, a temporal extension of OCL is proposed. It enriches the ontologically well-founded OntoUML profile and enables the expression of a variety of (arbitrary) temporal constraints. The extension is fully implemented in the tool for specification, verification and simulation of enriched OntoUML models. |
publishDate |
2015 |
dc.date.issued.fl_str_mv |
2015-05-28 |
dc.date.accessioned.fl_str_mv |
2016-08-29T15:33:21Z |
dc.date.available.fl_str_mv |
2016-07-11 2016-08-29T15:33:21Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.citation.fl_str_mv |
GUERSON, John. Representing dynamic invariants in ontologically well-founded conceptual models. 2015. 136 f. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Centro Tecnológico, Vitória, 2015. |
dc.identifier.uri.fl_str_mv |
http://repositorio.ufes.br/handle/10/4283 |
identifier_str_mv |
GUERSON, John. Representing dynamic invariants in ontologically well-founded conceptual models. 2015. 136 f. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Centro Tecnológico, Vitória, 2015. |
url |
http://repositorio.ufes.br/handle/10/4283 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
Text |
dc.publisher.none.fl_str_mv |
Universidade Federal do Espírito Santo Mestrado em Informática |
dc.publisher.program.fl_str_mv |
Programa de Pós-Graduação em Informática |
dc.publisher.initials.fl_str_mv |
UFES |
dc.publisher.country.fl_str_mv |
BR |
dc.publisher.department.fl_str_mv |
Centro Tecnológico |
publisher.none.fl_str_mv |
Universidade Federal do Espírito Santo Mestrado em Informática |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da Universidade Federal do Espírito Santo (riUfes) instname:Universidade Federal do Espírito Santo (UFES) instacron:UFES |
instname_str |
Universidade Federal do Espírito Santo (UFES) |
instacron_str |
UFES |
institution |
UFES |
reponame_str |
Repositório Institucional da Universidade Federal do Espírito Santo (riUfes) |
collection |
Repositório Institucional da Universidade Federal do Espírito Santo (riUfes) |
bitstream.url.fl_str_mv |
http://repositorio.ufes.br/bitstreams/eddd35a2-debd-43ca-b6b6-8c50afbbd343/download |
bitstream.checksum.fl_str_mv |
b7867cf01fac04ad68223c7eeca3fe68 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 |
repository.name.fl_str_mv |
Repositório Institucional da Universidade Federal do Espírito Santo (riUfes) - Universidade Federal do Espírito Santo (UFES) |
repository.mail.fl_str_mv |
|
_version_ |
1804309136371875840 |