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

被引：1
|
作者：
Ribeiro, Angelica Ap. de A. [1 ,2 ]
Stempliuc, Sergio M. [2 ]
Lisboa-Filho, Jugurta [1 ]
Oliveira, Italo Lopes [2 ]
机构：
[1] Univ Fed Vicosa, Dept Informat, Vicosa, MG, Brazil
[2] Fac Governador Ozanam Coelho Fagoc, Uba, MG, Brazil
来源：
ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 2 | 2013年
关键词：
OCL; UML-GeoFrame; Geographical Databases;
D O I：
10.5220/0004451502860293
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：286 / 293
页数：8
相关论文
共 26 条
  • [1] Incremental integrity checking of UML/OCL conceptual schemas
    Cabot, Jordi
    Teniente, Ernest
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (09) : 1459 - 1478
  • [2] Verification and Validation of UML Conceptual Schemas with OCL Constraints
    Queralt, Anna
    Teniente, Ernest
    [J]. ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2012, 21 (02)
  • [3] Extending UML Profiles to Model Integrity Constraints in SQL Databases
    Eessaar, Erki
    Aaberg, Erko
    [J]. INFORMATION MODELLING AND KNOWLEDGE BASES XXIII, 2012, 237 : 39 - 58
  • [4] Validate UML Model and OCL Expressions Using USE Tool
    Bhutto, Arifa
    Hussain, Dil Muhammad Akbar
    [J]. PERTANIKA JOURNAL OF SCIENCE AND TECHNOLOGY, 2018, 26 (03): : 1465 - 1479
  • [5] A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams
    Gomez-Gutierrez, Juan Antonio
    Clariso, Robert
    Cabot, Jordi
    [J]. ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING, 2022, 450 : 267 - 275
  • [6] Extending Geographic Data Modeling by Adopting Constraint Decision Table to Specify Spatial Integrity Constraints
    Wang, Fei
    Reinhardt, Wolfgang
    [J]. EUROPEAN INFORMATION SOCIETY: LEADING THE WAY WITH GEO-INFORMATION, 2007, : 435 - 454
  • [7] Model checking of extended OCL constraints on UML models in SOCLe
    Mullins, John
    Oarga, Raveca
    [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4468 : 59 - +
  • [8] Extending UML for trajectory data warehouses conceptual modelling
    Oueslati, Wided
    Akaichi, Jalel
    [J]. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2012, 3 (11) : 7 - 12
  • [9] Extending OCL for OLAP querying on conceptual multidimensional models of data warehouses
    Pardillo, Jesus
    Mazon, Jose-Norberto
    Trujillo, Juan
    [J]. INFORMATION SCIENCES, 2010, 180 (05) : 584 - 601
  • [10] A proposal for extending UML-B to support a conceptual model
    de Sousa, Thiago C.
    Snook, Colin F.
    Silva, Paulo Sergio Muniz
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2011, 7 (04) : 293 - 301
123