Materialized view maintenance and integrity constraint checking: trading space for time
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
Maintenance of materialized views: problems, techniques, and applications
Materialized views
Information Systems - Special issue on Databases: creation, management and utilization
Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Expressing UML Class Diagrams Properties with OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
A Method for Change Computation in Deductive Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Transforming OCL constraints: a context change approach
Proceedings of the 2006 ACM symposium on Applied computing
Computing the relevant instances that may violate an OCL constraint
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Transformation techniques for OCL constraints
Science of Computer Programming
Transformation techniques for OCL constraints
Science of Computer Programming
Incremental Detection of Model Inconsistencies Based on Model Operations
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Incremental integrity checking of UML/OCL conceptual schemas
Journal of Systems and Software
OCL support in an industrial environment
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Towards incremental execution of ATL transformations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Active operations on collections
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Extending conceptual schemas with business process information
Advances in Software Engineering
Instant and incremental QVT transformation for runtime models
Proceedings of the 14th international conference on Model driven engineering languages and systems
Runtime model validation with parallel object constraint language
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
Constraint support in MDA tools: a survey
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
On the evolution of OCL for capturing structural constraints in modelling languages
Rigorous Methods for Software Construction and Analysis
Automatic generation of workflow-extended domain models
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
A research roadmap towards achieving scalability in model driven engineering
Proceedings of the Workshop on Scalability in Model Driven Engineering
Incremental semantic analysis for OCL compilers
Innovations in Systems and Software Engineering
| Hi-index | 0.00 |
Integrity checking is aimed at determining whether an operation execution violates a given integrity constraint. To perform this computation efficiently, several incremental methods have been developed. The main goal of these methods is to consider as few of the entities in an information base as possible, which is generally achieved by reasoning from the structural events that define the effect of the operations. In this paper, we propose a new method for dealing with the incremental evaluation of the OCL integrity constraints specified in UML conceptual schemas. Since our method works at a conceptual level, its results are useful in efficiently evaluating constraints regardless of the technology platform in which the conceptual schema is to be implemented.