Spatio-Temporal UML Modeling and Verifying with Description Logic

張富(FU ZHANG) ； 曹东霞(DONG-XIA CAO) ； 程經纬(JING-WEI CHENG)

《Journal of Information Science and Engineering》 35卷6期 (2019/11) Pp. 1279-1298

https://doi.org/10.6688/JISE.201911_35(6).0007

摘要

Spatio-temporal data modeling is an important basis for spatio-temporal data management. Unified Modeling Language (UML) is a widely used modeling language. Therefore, how to model spatio-temporal data based on UML and then how to further verify the correctness of the spatio-temporal UML models have become important issues. In this paper we propose a spatio-temporal UML model and a Description Logic (DL) method for verifying the model. First of all, we present a UML-based spatio-temporal data model. Also, an abstract definition and semantic description of the spatio-temporal UML models are given, and a case of cadastral change process is provided. Then, by adding some special concepts, roles, and axioms into the DL ALCIQ, a method for mapping the spatio-temporal UML models to ALCIQ knowledge bases is proposed, and a mapping example is provided. Further, several verification tasks of the spatio-temporal UML models are equivalently converted to the inference problems of the mapped ALCIQ knowledge bases, and the inference results can be returned and the verification of spatio- temporal UML models are realized with the help of the DL inference abilities.

關鍵字

spatio-temporal data modeling ； UML ； description logic ； verification ； transformation