La modélisation correcte des objets et modèles pertinents pour Process Governance est la condition préalable à la transformation automatique du processus BPM en un diagramme BPMN. Le contrôle sémantique permet de vérifier dès le stade de la modélisation si la transformation s'opérera sans problème. Il vérifie si les conventions de modélisation ont été respectées et si tous les éléments et informations requis sont présents.
Contexte
Le contrôle sémantique peut être exécuté soit sur des diagrammes de chaînes de plus-value soit sur des CPE.
Étendue
Il est possible de définir les éléments qui devront être intégrés dans le contrôle sémantique. Si cette étendue n'est pas précisée, le contrôle portera sur tous les modèles qui ont été sélectionnés mais pas sur leurs associations. Les éléments suivants peuvent être intégrés dans le contrôle par la définition de l'étendue :
Pour toutes les CPE pertinentes ainsi que leurs associations, le contrôle vérifie si le déroulement en soi du processus est correct (événements, fonctions, opérateurs).
Tous les organigrammes pertinents et éléments organisationnels reliés à des tâches manuelles sont contrôlés afin de garantir que l'exécution est possible.
Les attributs LDAP pertinents sont contrôlés. Si cette option n'est pas sélectionnée, tous les attributs organisationnels qui ne concernent pas LDAP sont vérifiés.
Tous les dialogues pertinents et les diagrammes de masques associés sont contrôlés.
Tous les éléments de données pertinents et les diagrammes de flux de données associés sont contrôlés.
Tous les types d'opération de service de logiciels pertinents, les diagrammes d'accès associés et les opérations de service de logiciels liées sont contrôlés.
Contrôle des diagrammes de flux de données
Existence
Le contrôle porte sur l'existence d'une association d'un diagramme de flux de données avec les objets suivants :
Des valeurs d'objets multiples et des diagrammes de flux de données associés sont possibles pour chaque définition d'objet. Il faut s'assurer que la valeur d'objet fait référence au diagramme de flux de données correspondant.
Concordance
Si un diagramme de flux de données est généré pour un objet, celui-ci crée une valeur dans le flux de données. Le contrôle sémantique vérifie si l'objet possède une valeur dans le flux de données.
Règle XOR
Le contrôle sémantique vérifie si chaque règle XOR est suivie par un événement.