Extending OCL to Specify and Validate Integrity Constraints in UML-GeoFrame Conceptual Data Model

Angélica Ap. de A. Ribeiro, Sergio M. Stempliuc, Jugurta Lisboa-Filho, Italo Lopes Oliveira

2013

Abstract

This paper describes a proposal for OCL (Object Constraint Language) by adding geographical features to assist the geographical data modeling. OCL can be used to complement the diagrams when the UML constructors do not allow the specification of all requirements related to the application domain. The objective is to complement and validate conceptual data diagrams built with constructors of the UML-GeoFrame data model, with and extended OCL used for constraint topological relationships in the data model itself and available in his diagram to access stereotypes for direct user defined constraints.

Download


Paper Citation


in Harvard Style

Ap. de A. Ribeiro A., M. Stempliuc S., Lisboa-Filho J. and Lopes Oliveira I. (2013). Extending OCL to Specify and Validate Integrity Constraints in UML-GeoFrame Conceptual Data Model . In Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8565-60-0, pages 286-293. DOI: 10.5220/0004451502860293

in Bibtex Style

@conference{iceis13,
author={Angélica Ap. de A. Ribeiro and Sergio M. Stempliuc and Jugurta Lisboa-Filho and Italo Lopes Oliveira},
title={Extending OCL to Specify and Validate Integrity Constraints in UML-GeoFrame Conceptual Data Model},
booktitle={Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2013},
pages={286-293},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004451502860293},
isbn={978-989-8565-60-0},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 15th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Extending OCL to Specify and Validate Integrity Constraints in UML-GeoFrame Conceptual Data Model
SN - 978-989-8565-60-0
AU - Ap. de A. Ribeiro A.
AU - M. Stempliuc S.
AU - Lisboa-Filho J.
AU - Lopes Oliveira I.
PY - 2013
SP - 286
EP - 293
DO - 10.5220/0004451502860293