Incremental evaluation of OCL constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4001 LNCS, Issue , 2006, Pages 81-95

  Cabot, Jordi ^a   Teniente, Ernest ^b  

^a UNIVERSITAT OBERTA DE CATALUNYA   (Spain)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; INFORMATION THEORY;

OCL INTEGRITY CONSTRAINTS; REASONING; STRUCTURAL EVENTS; UML CONCEPTUAL SCHEMAS;

FORMAL LOGIC;

EID: 33746074050     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11767138_7     Document Type: Conference Paper

References (18)

1. Cabot, J., Teniente, E.: Determining the Structural Events that May Violate an Integrity Constraint. In: Proc. 7th Int. Conf. on the Unified Modeling Language (UML'04), LNCS, 3273 (2004) 173-187
2. Cabot, J., Teniente, E.: Computing the Relevant Instances that May Violate an OCL Constraint. In: Proc. 17th Int. Conf. on Advanced Information Systems Engineering (CAiSE'05), LNCS, 3520 (2005) 48-62
3. Cabot, J., Teniente, E.: Incremental Evaluation of OCL Constraints (extended version). UPC, LSI Research Report, LSI-05-12-R (2005)
4. Cabot, J., Teniente, E.: A Tool for the Incremental Evaluation of OCL Constraints. Available at www.lsi.upc.edu/~jcabot/research/tools/caise06 (2006)
5. Cabot, J., Teniente, E.: Transforming OCL Constraints: A Context Change Approach. In: Proc. 21st Annual ACM Symposium on Applied Computing (Model Transformation Track), (2006)
6. Gogolla, M., Richters, M.: Expressing UML Class Diagrams Properties with OCL. In: A. Clark and J. Warmer, (eds.): Object Modeling with the OCL. Springer-Verlag (2002) 85-114
7. Gupta, A., Mumick, I. S.: Maintenance of Materialized Views: Problems, Techniques, and Applications. In: Materialized Views Techniques, Implementations, and Applications. The MIT Press (1999) 145-157
8. ISO/TC97/SC5/WG3: Concepts and Terminology for the Conceptual Schema and Information Base. ISO, (1982)
9. Lee, S. Y., Ling, T. W.: Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases. In: Proc. 22nd Int. Conf. on Very Large Data Bases. Morgan Kaufmann (1996) 495-505
10. Klasse Objecten.: Octopus: OCL Tool for Precise UML Specifications. (2005)
11. OMG: UML 2.0 OCL Specification. OMG Adopted Specification (ptc/03-10-14)
12. OMG: UML 2.0 Superstructure. OMG Adopted Specification (ptc/03-08-02)
13. Pastor, O., Gómez, J., Insfrán, E.; Pelechano, V.: The OO-Method Approach for Information Systems Modeling: From Object-Oriented Conceptual Modeling to Automated Programming. Information Systems 26 (2001) 507-534
14. Ross, K. A., Srivastava, D., Sudarshan, S.: Materialized View Maintenance and Integrity Constraint Checking: Trading Space for Time. In: Proc. ACM SIGMOD international conference on Management of data, (1996) 447-458
15. Dresden University.: Dresden OCL Toolkit. (2005)
16. Babes-Bolyai University.: Object Constraint Language Environment 2.0.
17. Urpf, T., Olivé, A.: A Method for Change Computation in Deductive Databases. In: Proc. 18th Int. Conf. on Very Large Data Bases. Morgan Kaufmann (1992) 225-237
18. Wieringa, R.: A Survey of Structured and Object-Oriented Software Specification Methods and Techniques. ACM Computing Surveys 30 (1998) 459-527