Hlavní stránka > Výsledky hledání: keywords:"universal formalism"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Universal Constraint Language
 Piják, Peter ; Nečaský, Martin (vedoucí práce) ; Malý, Jakub (oponent)
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
Úplný záznam
Universal Constraint Language
 Piják, Peter ; Nečaský, Martin (vedoucí práce) ; Malý, Jakub (oponent)
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
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English