Vérification d' un MOO

Le modèle orienté objet est un outil très souple, qui vous permet de développer votre modèle rapidement et sans contrainte. Vous pouvez vérifier la validité de votre MOO à tout moment.

Un MOO valide doit respecter les types de règles suivants :

Vous pouvez vérifier votre modèle de l'une des façons suivantes :

La boîte de dialogue Paramètres de vérification de modèle s'affiche, et vous permet de spécifier le type de vérifications à effectuer, ainsi que les objets sur lesquels vous souhaitez faire porter ces vérifications. Les sections suivantes documentent les vérifications spécifiques au MOO disponibles par défaut. Pour plus d'informations sur les vérifications effectuées sur des objets génériques disponibles dans tous les types de modèles et pour des informations détaillées sur l'utilisation de la boîte de dialogue Paramètres de vérification de modèle, voir Guide des fonctionnalités générales > Modélisation avec PowerAMC > Objets > Vérification de modèles.

• Vérification des domaines
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des domaines.
• Vérification des sources de données
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des sources de données.
• Vérification des packages
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des packages.
• Vérification des acteurs et des cas d'utilisation
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des acteurs et des case d'utilisation.
• Vérification des classes
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des classes.
• Vérification des identifiants
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des identifiants.
• Vérification des interfaces
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des interfaces.
• Vérification des attributs de classe et d'interface
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des attributs de classe et d'interface.
• Vérification des opérations de classe et d'interface
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des opérations de classe et d'interface.
• Vérification des réalisations
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des réalisations.
• Vérification des généralisations
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des généralisations.
• Vérification des objets
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des objets.
• Vérification des liens entre objets
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des liens entre objets.
• Vérification des messages
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des messages.
• Vérification des états
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des états.
• Vérification des actions d'état
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des actions d'état.
• Vérification des événements
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des événements.
• Vérification des points de jonction
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des points de jonction.
• Vérification des activités
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des activités.
• Vérification des décisions
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des décisions.
• Vérification des noeuds d'objet
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des noeuds d'objet.
• Vérification des unités d'organisation
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des unités d'organisation.
• Vérification des débuts et des fins
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des débuts et des fins.
• Vérification des synchronisations
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des synchronisations.
• Vérification des transitions et des flux
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des transitions et des flux.
• Vérification des composants
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des composants.
• Vérification des noeuds
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des noeuds.
• Vérification des formats de données
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des formats de données.
• Vérification des instances de composant
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des instances de composant.
• Vérification des références d'interaction
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des références d'interaction.
• Vérification des parties de classe
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des parties de classe.
• Vérification des ports de classe et de composant
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des ports de classe et de composant.
• Vérification des connecteurs d'assemblage de classe ou de composant
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des connecteurs d'assemblage de classe ou de composant.
• Vérification des associations
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des associations.
• Vérification des paramètres d'entrée et de sortie d'activité
  PowerAMC fournit des vérifications par défaut afin de contrôler la validité des paramètres d'entrée et de sortie d'activité.