Incremental evaluation of OCL constraints
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after each operation execution. Incremental integrity checking exploits available information about the structural events that define the operation effect to compute integrity constraint vi...
| Authors: | , |
|---|---|
| Format: | report |
| Publication Date: | 2005 |
| Country: | España |
| Institution: | Universitat Politècnica de Catalunya (UPC) |
| Repository: | UPCommons. Portal del coneixement obert de la UPC |
| Language: | English |
| OAI Identifier: | oai:upcommons.upc.edu:2117/84190 |
| Online Access: | https://hdl.handle.net/2117/84190 |
| Access Level: | Open access |
| Keyword: | Integrity constraints UML OCL Àrees temàtiques de la UPC::Informàtica::Sistemes d'informació |
| Summary: | Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after each operation execution. Incremental integrity checking exploits available information about the structural events that define the operation effect to compute integrity constraint violations considering as few entities of the information base as possible. In this paper we propose a new method to cope with incremental integrity checking at the conceptual level, in particular in UML conceptual schemas with OCL integrity constraints. Our method ensures an incremental verification of constraints regardless the concrete syntactic definition chosen by the designer. |
|---|