Validation of stereotypes' usage in UML class model by generated OCL constraints

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F12%3A00196367" target="_blank" >RIV/68407700:21230/12:00196367 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/68407700:21240/12:00196367 RIV/00216208:11320/12:10139331

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Validation of stereotypes' usage in UML class model by generated OCL constraints

Popis výsledku v původním jazyce

The Model Driven Development approach became popular in the past years. Domain-specific profifies are defifined for various domains and tools are used to transform UML class models using these profifiles to source code artifacts. However, rules need to be defined for the profifile elements' usage so the transformation can be efffective and reliable. The paper deals with an approach of expressing these specific rules using a special type of meta-model using UML class diagram notation with the stereotypesdefifined in the profile { we call them constraint diagrams. In these diagrams we can restrict usage of specific stereotypes according to the other connected stereotypes. OCL invariants can be generated from these diagrams that can be used to validate amodel that uses the profifile. The approach is illustrated on an example of a UML profifile for J2EE and Flex application.

Název v anglickém jazyce

Validation of stereotypes' usage in UML class model by generated OCL constraints

Popis výsledku anglicky

The Model Driven Development approach became popular in the past years. Domain-specific profifies are defifined for various domains and tools are used to transform UML class models using these profifiles to source code artifacts. However, rules need to be defined for the profifile elements' usage so the transformation can be efffective and reliable. The paper deals with an approach of expressing these specific rules using a special type of meta-model using UML class diagram notation with the stereotypesdefifined in the profile { we call them constraint diagrams. In these diagrams we can restrict usage of specific stereotypes according to the other connected stereotypes. OCL invariants can be generated from these diagrams that can be used to validate amodel that uses the profifile. The approach is illustrated on an example of a UML profifile for J2EE and Flex application.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

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

Information Technologies - Applications and Theory 2012

ISBN

978-80-971144-1-1

ISSN

—

e-ISSN

—

Počet stran výsledku

8

Strana od-do

25-32

Název nakladatele

Technical University of Košice

Místo vydání

Košice

Místo konání akce

Belianské Tatry

Datum konání akce

17. 9. 2012

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

WRD - Celosvětová akce

Kód UT WoS článku

—