Universal Constraint Language
| Thesis title in Czech: | Universal Constraint Language |
|---|---|
| Thesis title in English: | Universal Constraint Language |
| Key words: | constraint language, model-driven architecture, universal formalism |
| English key words: | constraint language, model-driven architecture, universal formalism |
| Academic year of topic announcement: | 2010/2011 |
| Thesis type: | diploma thesis |
| Thesis language: | angličtina |
| Department: | Department of Software Engineering (32-KSI) |
| Supervisor: | doc. Mgr. Martin Nečaský, Ph.D. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 10.11.2010 |
| Date of assignment: | 10.11.2010 |
| Date and time of defence: | 05.09.2011 11:30 |
| Date of electronic submission: | 04.08.2011 |
| Date of submission of printed version: | 05.08.2011 |
| Date of proceeded defence: | 05.09.2011 |
| Opponents: | RNDr. Jakub Malý, Ph.D. |
| Guidelines |
| With the expansion of advanced software architectures such as Service-Oriented Architecture or Enterprise-Service Bus, integrity constraints become more and more important. There are various constraint languages available today, e.g. Schematron or XQuery for XML, SQL triggers for relational databases or even Object-Constraint Language for UML class diagrams. These languages allow for specification of integrity constraints for a particular data model. The problem occurs when an integrity constraint needs to be expressed over different data models and/or an integrity constraint expressed over one data model needs to be converted to an expression over another data model. These tasks are non-trivial. At best, they must be solved manually. More often, there is currently no solution.
The aim of this thesis is to introduce a new common language for expressing integrity constraints. The language will be based on the well-known Object-Constraints Language (OCL) [1]. However, it needs some extensions and, which is more important, must be based on solid formal background. The language must be usable to express integrity constraints for several popular data models, e.g. XML, relational, object-relational, object-oriented, or RDF. Beside the theoretical work, the author will also implement a parser of integrity constraints expressed in the introduced language. He will also implement a framework to automatically derive expressions in specific constraint languages from expressions in the proposed common language. |
| References |
| [1] Object Management Group: Object Constraint Language OMG Available
Specification Version 2.2. February 2010. http://www.omg.org. [2] Richters M. - Gogolla M.: On formalizing the UML object constraint language OCL. Lecture Notes in Computer Science, 1998, Volume 1507, Conceptual Modeling - ER '98, Pages 449-464 [3] Richters M. - Gogolla M.: A metamodel for OCL. Lecture Notes in Computer Science, 1999, Volume 1723, <<UML>>'99 -- The Unified Modeling Language, Page 752 [4] Atzeni P. - Cappellari P. - Torlone R. - Bernstein P. A. - Gianforme G. Model-independent schema translation. The VLDB Journal, 2008, Volume 17, Number 6, Pages 1347-1370 [5] Demuth B. - Hussmann H.: Using UML/OCL Constraints for Relational Database Design. Lecture Notes in Computer Science, 1999, Volume 1723/1999, 751, DOI: 10.1007/3-540-46852-8_42. [6] Beleg G.: Java Code Generation for Dresden OCL2 for Eclipse, Master thesis Technische Universität Dresden |