GEBRUIKEN Maak uw UML-diagrammen en niet alleen met deze tool.
Download nu

GEBRUIKEN Rangschikking & Samenvatting

GEBRUIKEN Tags

Creëren generator genereren maak uml-diagram maak diagrammen maak uml Object Constraint Language Informatiesystemen Validatie stamboomdiagrammen maken

GEBRUIKEN Beschrijving

Gebruik is een handig systeem dat speciaal is ontworpen voor de specificatie en validatie van informatiesystemen op basis van een subset van de uniforme modelleertaal (UML) en de Object Constraint-taal (OCL). De uitdrukkingen geschreven in de taalbeperkingstaal (OCL) worden gebruikt om extra integriteitsbeperkingen op het model te specificeren. Een model kan worden geanimeerd om de specificatie te valideren tegen niet-formele vereisten. Systeemstates (snapshots van een hardingssysteem) kunnen tijdens een animatie worden gemaakt en gemanipuleerd. Voor elke snapshot worden de OCL-beperkingen automatisch gecontroleerd. Informatie over een systeemstatus wordt gegeven door grafische weergaven. OCL-expressies kunnen worden ingevoerd en geëvalueerd om gedetailleerde informatie over een systeemstatus te vragen.

GEBRUIKEN Gerelateerde software