All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Using OCL in Model Validation According to Stereotypes

The result's identifiers

  • Result code in 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>

  • Alternative codes found

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

  • Result on the web

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    Using OCL in Model Validation According to Stereotypes

  • Original language description

    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

  • Czech name

  • Czech description

Classification

  • Type

    D - Article in proceedings

  • CEP classification

    IN - Informatics

  • OECD FORD branch

Result continuities

  • Project

  • Continuities

    I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Others

  • Publication year

    2012

  • Confidentiality

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

Data specific for result type

  • Article name in the collection

    DATESO 2012

  • ISBN

    978-80-7378-171-2

  • ISSN

    1613-0073

  • e-ISSN

  • Number of pages

    10

  • Pages from-to

    93-102

  • Publisher name

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

  • Place of publication

    Praha

  • Event location

    Zernov, Rovensko pod Troskami

  • Event date

    Apr 18, 2011

  • Type of event by nationality

    CST - Celostátní akce

  • UT code for WoS article