Universal Constraint Language

Abstract

Názov práce: Univerzálny jazyk pre integritné obmedzenia Autor: Peter Piják Katedra / Ústav: Katedra softwarového inženýrství Vedúci diplomovej práce: Mgr. Martin Nečaský, Ph.D. Abstrakt: Dnešné softvérové systémy sú zvyčajne zložené zo systému viacerých komponent. Pri navrhovaní a modelovaní systému sa pri jednotlivých častiach modelu vyjadrujú integritné obmedzenia v rôznych jazykoch pre zápis integritných obmedzení (napríklad jazyk OCL pre UML diagramy tried, Schematron pre model XML alebo SQL triggery pre relačné databázy). Výrazy integritných obmedzení musia byť prekladané do výrazov nad inými meta-modelmi do iného jazyka, čo je netriviálna úloha. V tejto práci je predstavený jazyk pre integritné obmedzenia Universal Constraint Language (UCL), ktorým je možné vyjadriť výrazy integritných obmedzení nad rôznymi dátovými meta-modelmi. Jazyk je formálne zadefinovaný a je implementovaný jeho analyzátor (parser). Ďalej popisujeme spôsob prevodu výrazov medzi jednotlivými meta-modelmi a odvodzovanie z výrazov v prezentovanom jazyku do existujúcich špecifických jazykov pre integritné obmedzenia. Kľúčové slová: jazyk pre integritné obmedzenia, Modelom riadená architektúra (MDA), univerzálny formalizmus

Title: Universal Constraint Language Author: Peter Piják Department / Institute: Department of Software Engineering Supervisor of the master thesis: Mgr. Martin Nečaský, Ph.D. Abstract: Today's software applications are typically compound of system of more application components. By modeling of software, various integrity constraint languages are used for particular parts of model (e.g. OCL for UML class diagrams, Schematron for XML or SQL triggers for relational databases). Constraint expressions need to be converted to expressions over different meta-models. These tasks are non-trivial. In this thesis, a new common language Universal Constraint Language (UCL) for expressing integrity constraints over various data meta-models is introduced. It is formally defined and also its parser is implemented. We also present semi-automatic translating between constraints over various meta-models; and deriving constraints from the introduced language to constraints in specific constraint languages. Keywords: constraint language, model-driven architecture, universal formalism