Name: JOHN OLIVEIRA GUERSON
Publication date: 28/05/2015
Advisor:
Name |
Role |
|---|---|
| JOÃO PAULO ANDRADE ALMEIDA | Advisor * |
Examining board:
| Name |
Role |
|---|---|
| GIANCARLO GUIZZARDI | Internal Examiner * |
| JOÃO PAULO ANDRADE ALMEIDA | Advisor * |
Summary: 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.
