Using OCL in Model Validation According to Stereotypes

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F12%3A10126793" target="_blank" >RIV/00216208:11320/12:10126793 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/68407700:21230/12:00192771 RIV/68407700:21240/12:00192771

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Using OCL in Model Validation According to Stereotypes

Popis výsledku v původním jazyce

Model-Driven Development approach became popular in past years. Domain-specific profiles are defined for various domains and tools are used to transform models using these profiles to source code artifacts. However, rules need to be defined for the profile elements usage so the transformation can be effective and reliable. This paper deals with an approach of expressing these rules using special type of metamodel with UML class diagrams with the stereotypes defined in the profile - we call them constraint diagrams. Each class in this metamodel represent all classes in the model with the same stereotype. Using stereotyped associations, we can link classes with different stereotypes and restrict the usage of such stereotype only to relations between specific stereotyped classes in the model. OCL constraints can be generated from the constraint diagram to enable validation of the model according to the rules in the metamodel. This paper deals with the description of the constraint diagram

Název v anglickém jazyce

Using OCL in Model Validation According to Stereotypes

Popis výsledku anglicky

Model-Driven Development approach became popular in past years. Domain-specific profiles are defined for various domains and tools are used to transform models using these profiles to source code artifacts. However, rules need to be defined for the profile elements usage so the transformation can be effective and reliable. This paper deals with an approach of expressing these rules using special type of metamodel with UML class diagrams with the stereotypes defined in the profile - we call them constraint diagrams. Each class in this metamodel represent all classes in the model with the same stereotype. Using stereotyped associations, we can link classes with different stereotypes and restrict the usage of such stereotype only to relations between specific stereotyped classes in the model. OCL constraints can be generated from the constraint diagram to enable validation of the model according to the rules in the metamodel. This paper deals with the description of the constraint diagram

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2012

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

DATESO 2012

ISBN

978-80-7378-171-2

ISSN

1613-0073

e-ISSN

—

Počet stran výsledku

10

Strana od-do

93-102

Název nakladatele

MATFYZPRESS, vydavatelství Matematicko-fyzikální fakulty UK

Místo vydání

Praha

Místo konání akce

Zernov, Rovensko pod Troskami

Datum konání akce

18. 4. 2011

Typ akce podle státní příslušnosti

CST - Celostátní akce

Kód UT WoS článku

—