Made available in DSpace on 2016-08-29T15:33:21Z (GMT). No. of bitstreams: 1
tese_8885_JohnMScThesis[final]20150703-110844.pdf: 2078817 bytes, checksum: b7867cf01fac04ad68223c7eeca3fe68 (MD5)
Previous issue date: 2015-05-28 / 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.
Identifer | oai:union.ndltd.org:IBICT/oai:dspace2.ufes.br:10/4283 |
Date | 28 May 2015 |
Creators | GUERSON, J. O. |
Contributors | FARIAS, C. R. G., GUIZZARDI, G., ALMEIDA, J. P. A. |
Publisher | Universidade Federal do Espírito Santo, Mestrado em Informática, Programa de Pós-Graduação em Informática, UFES, BR |
Source Sets | IBICT Brazilian ETDs |
Detected Language | English |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | text |
Source | reponame:Repositório Institucional da UFES, instname:Universidade Federal do Espírito Santo, instacron:UFES |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0021 seconds