Using UML and OCL to maintain the consistency of spatial data in environmental information systems |
| |
| Affiliation: | 1. State Key Laboratory of Industrial Control Technology, Zhejiang University, 310027 Hangzhou, China;2. Department of Chemical Engineering, Chung-Yuan Christian University, Chung-Li 320, Taiwan, ROC;3. ABB Corporate Research Center Germany, 68526 Ladenburg, Germany;1. Key Laboratory of Analytical Chemistry for Biology and Medicine, College of Chemistry and Molecular Sciences, Wuhan University, Wuhan 430072, PR China;2. Key Lab of Separation Science for Analytical Chemistry, Dalian Institute of Chemical Physics, Chinese Academy of Sciences, Dalian 116023, PR China;3. Faculty of Chemical, Environmental and Biological Science and Technology, Dalian University of Technology, Dalian 116024, PR China;1. State Key Laboratory of Industrial Control Technology, Zhejiang University, 310027 Hangzhou, China;2. ABB Corporate Research Center Germany, 68526 Ladenburg, Germany;1. Department of Agricultural & Resource Economics, Colorado State University, USA;2. Department of Agricultural Economics, Kansas State University, USA;3. Department of Agricultural Economics and Economics, Montana State University, USA |
| |
| Abstract: | The Object Constraint Language (OCL) is a subset of the well-known Unified Modeling Language (UML) that allows specifying constraints over entities representing concepts from the application domain. The purpose of this paper is to describe a specific extension of OCL to model spatial constraints of Environmental Information Systems (EIS). These new features are applied to the agricultural spreading of organic matter. In this context, it is important to model a set of spatial constraints that define precisely where spreading can take place. For example, organic matters can never be spread inside certain natural areas. At present, some tools allow producing integrity checking mechanisms in different languages (Java, C#, SQL, etc.) from specifications of non-spatial constraints expressed in OCL. For instance, the SQL code generated by OCL2SQL can be used to check if a database verifies constraints or to forbid inserting data that do not verify them. In order to check spatial constraints in EIS, we implemented the “Spatial OCL” proposed in this paper into an extension of OCL2SQL. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
