Représente une relation sémantique entre les éléments de modèle, indiquant les conditions et les propositions qui doivent rester vraies.
Représente une relation sémantique entre les éléments de modèle qui indique les conditions et les propositions qui doivent rester vraies.
PseudoState - WFR1 - Dans les modèles d'activité, les transitions entrantes (et sortantes) venant rejoindre ou diviser (jonction ...
PseudoState - WFR2 - Tous les trajets partant d'une fourche doivent finalement rejoindre une ou plusieurs jonctions ultérieures. ...
PseudoState - WFR6 - Un sommet de branche doit avoir un segment de transition entrante et au moins deux segments de transition ...
Représente un attribut d'association ou une liste d'attributs dont les valeurs servent à partitionner l'ensemble d'objets ...
Représente une relation sémantique entre les éléments de modèle qui indique les conditions et les propositions qui doivent ...
Représente une relation sémantique entre les relations, indiquant les conditions et les propositions qui doivent rester vraies. ...
SendAction - WFR1 - Les types et l'ordre des paramètres réels doivent correspondre aux paramètres de la requête (signal ou ...
StateMachine - WFR6 - Si une machine à états décrit une caractéristique comportementale, elle ne contient aucun déclencheur ...
Stereotype - WFR3 - Dans l'espace de noms de métaclasse (M2), les noms des stéréotypes ne doivent pas entrer en conflit ni ...