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

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.

References

  1. Clementini, E.; Di Felice, P.; Oosterom, P. 1993. A Small Set of Formal Topological Relationships Suitable for End-User Interaction. In: International Symposium on Advances in Spatial Databases.
  2. Dietrich, S. W.; Urban, S. D. An Advanced Course in Database systems: beyond relational databases. Prentice Hall, 2005
  3. Duboisset, M.; Pinet, F.; Kang, M.; Schneider, M. 2005. Precise Modeling and Verification of Topological Integrity Constraints in Spatial Databases: From an Expressive Power Study to Code Generation Principles. In: International Conference on Conceptual Modeling, 24, Klagenfurt.
  4. Egenhofer, M. J.; Franzosa, R. D. 1991. Point-set topological spatial relations. International Journal of Geographic Information Systems, v.5, n.2, p. 161-174.
  5. Lisboa Filho, J.; Iochpe, C. 1996. Adaptando o modelo de objetos OMT para modelagem conceitual de aplicações de SIG. In: 1a SEGEO-RJ - Semana Estadual de Geoprocessamento, Rio de Janeiro.
  6. Lisboa Filho, J.; Stempliuc, S. M. 2009. Modeling spatial constraints in conceptual database design of network applications. In: Urban and Regional Data Management (UDMS), Ljubljana, p. 185-193.
  7. OMG. 2012. Documents Associated With Object Constraint Language, Version 2.3.1, January 2012.
  8. OMG. 2011. Documents Associated With Unified Modeling Language (UML), Ver. 2.4.1, August 2011.
  9. Warmer, J.; Kleppe, A. 2003. The Object Constraint Language: Getting Your Models Ready for MDA. 2. Ed. Bostons: Addison Wesley.
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