Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations - MaRDI portal

Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (Q2947219)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations
scientific article

    Statements

    title
    Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (English)
    0 references
    author
    Hendrik Radke
    0 references
    Jan Steffen Becker
    0 references
    Thorsten Arendt
    0 references
    Annegret Habel
    0 references
    Gabriele Taentzer
    0 references
    publication date
    22 September 2015
    0 references
    zbMATH Keywords
    meta-modeling
    0 references
    essential OCL
    0 references
    graph constraints
    0 references
    set operations
    0 references
    describes a project that uses
    Henshin
    0 references
    Alloy
    0 references
    UMLtoCSP
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68N30
    0 references
    68Q42
    0 references
    68Q85
    0 references
    68R10
    0 references
    zbMATH DE Number
    6484113
    0 references
    OpenAlex ID
    W997242481
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2947219&oldid=36201932"
    Powered by MediaWiki