Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
OCL as a Specification Language for Business Rules in Database Applications
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Software Engineering Techniques Applied to Agricultural Systems: An Object-Oriented and UML Approach (Applied Optimization)
STAO: a component architecture for raster and time series modeling
Environmental Modelling & Software
Using UML/OCL constraints for relational database design
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Modelling an Environmental Knowledge-Representation System
WSKS '08 Proceedings of the 1st world summit on The Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Qualified topological relations between spatial objects with possible vague shape
International Journal of Geographical Information Science
Designing Data Warehouses for Geographic OLAP Querying by Using MDA
ICCSA '09 Proceedings of the International Conference on Computational Science and Its Applications: Part I
Towards the definition of spatial data warehouses integrity constraints with spatial OCL
DOLAP '10 Proceedings of the ACM 13th international workshop on Data warehousing and OLAP
Entity-relationship and object-oriented formalisms for modeling spatial environmental data
Environmental Modelling & Software
ProtOLAP: rapid OLAP prototyping with on-demand data supply
Proceedings of the sixteenth international workshop on Data warehousing and OLAP
| Hi-index | 0.00 |
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.