Universal Constraint Language
| Název práce v češtině: | Universal Constraint Language |
|---|---|
| Název v anglickém jazyce: | Universal Constraint Language |
| Klíčová slova: | constraint language, model-driven architecture, universal formalism |
| Klíčová slova anglicky: | constraint language, model-driven architecture, universal formalism |
| Akademický rok vypsání: | 2010/2011 |
| Typ práce: | diplomová práce |
| Jazyk práce: | angličtina |
| Ústav: | Katedra softwarového inženýrství (32-KSI) |
| Vedoucí / školitel: | doc. Mgr. Martin Nečaský, Ph.D. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 10.11.2010 |
| Datum zadání: | 10.11.2010 |
| Datum a čas obhajoby: | 05.09.2011 11:30 |
| Datum odevzdání elektronické podoby: | 04.08.2011 |
| Datum odevzdání tištěné podoby: | 05.08.2011 |
| Datum proběhlé obhajoby: | 05.09.2011 |
| Oponenti: | RNDr. Jakub Malý, Ph.D. |
| Zásady pro vypracování |
| 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. |
| Seznam odborné literatury |
| [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 |