Incremental checking of OCL constraints through SQL queries

CEUR Workshop Proceedings

Volumn 1285, Issue , 2014, Pages 23-32

  Oriol, Xavier ^a   Teniente, Ernest ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Constraints Checking; OCL; SQL

Indexed keywords

CONSTRAINTS CHECKING; INCREMENTAL CHECKING; RELATIONAL DBMS; SQL QUERY; SUB-QUERIES;

EID: 84910683787     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. Olivé, A.: Conceptual Modeling of Information Systems. Springer, Berlin (2007)
2. Object Management Group (OMG): Unified Modeling Language (UML) Superstructure Specification, version 2.4.1. (2011) http://www.omg.org/spec/UML/.
3. Object Management Group (OMG): Object Constraint Language (UML), version 2.4. (2014) http://www.omg.org/spec/OCL/.
4. Hamann, L., Hofrichter, O., Gogolla, M.: On integrating structure and behavior modeling with OCL. In: International Conference on Model Driven Engineering Languages & Systems (MODELS 2012), Springer (2012) 235-251
5. Bergmann, G.: Translating OCL to graph patterns. In: Model-Driven Engineering Languages and Systems. Volume 8767 of LNCS. Springer (2014) 670-686
6. Clavel, M., Marina, E., Miguel Angel, G.d.D.: Building an efficient component for OCL evaluation. Electronic Communications of the EASST 15 (2008)
7. Demuth, B., Hussmann, H.: Using UML/OCL constraints for relational database design. In: UML99 - The Unified Modeling Language. Springer (1999) 598-613
8. Demuth, B., Wilke, C: Model and object verification by using Dresden OCL. In: Proceedings of the Russian-German Workshop "Innovation Information Technologies: theory and practice", Russia. (2009) 81
9. Egea, M., Dania, C, Clavel, M.: MySQL4OCL: A stored procedure-based MySQL code generator for OCL. Electronic Communications of the EASST 36 (2010)
10. Oriol, X., Tort, A., Teniente, E.: Fixing up non-executable operations in UML/OCL conceptual schemas. In: Conceptual Modeling-ER 2014. (2014) 232-245
11. Uhl, A., Goldschmidt, T., Holzleitner, M.: Using an OCL impact analysis algorithm for view-based textual modelling. ECEASST 44 (2011)
12. Groher, I., Reder, A., Egyed, A.: Incremental consistency checking of dynamic constraints. In: Fundamental Approaches to Software Engineering. Springer (2010) 203-217
13. Cabot, J., Teniente, E.: Incremental integrity checking of UML/OCL conceptual schemas. Journal of Systems and Software 82(9) (2009) 1459-1478
14. Szárnyas, G., Izsó, B., Rath, I., Harmath, D., Bergmann, G., Varró, D.: IncQuery-D: A distributed incremental model query framework in the cloud. In: Model-Driven Engineering Languages and Systems. Volume 8767 of LNCS. Springer (2014) 653-669
15. Decker, H.: Translating advanced integrity checking technology to SQL. In: Database Integrity. (2002) 203-249
16. Miranker, D.P.: TREAT: A better match algorithm for AI production systems. In: Proc. of the 6th National Conf. on Artificial Intelligence. Volume 1 of AAAI., AAAI Press (1987) 42-47
17. Costal, D., Gomez, C, Queralt, A., Raventós, R., Teniente, E.: Improving the definition of general constraints in UML. Software & Systems Modeling 7(4) (2008) 469-486