Incremental checking of OCL constraints through SQL queries
Document typeConference report
Rights accessRestricted access - publisher's policy
We propose a new method for efficiently checking OCL constraints by means of SQL queries. That is, an OCL constraint is satisfied if its corresponding SQL query returns the empty set. Such queries are computed in an incremental way since, whenever a change in the data occurs, only the constraints that may be violated because of such change are checked and only the relevant values given by the change are taken into account. Moreover, the queries we generate do not contain nested subqueries nor procedures. In this way, we take advantage of relational DBMS capabilities and we get an efficient check of OCL constraints.
CitationOriol, X.; Teniente, E. Incremental checking of OCL constraints through SQL queries. A: International Workshop on OCL. "OCL 2014 : OCL and Textual Modeling : Applications and Case Studies : Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014). Valencia, Spain, September 30, 2014.". València: 2014, p. 23-32.
|Oriol and Teniente.pdf||304.9Kb||Restricted access|