BPMN: les flux et les artefacts

Le chapitre sur les passerelles a employé la condition attachée à une porte, le nom que Silver donne à un flux de séquence sortant d’une passerelle, et le flux par défaut, en laissant leur syntaxe de côté. Ce chapitre la donne.

Le flux de séquence (sequence flow)

Le flux de séquence montre l’ordre des éléments de flux dans un processus. Il se trace d’une ligne pleine terminée par une pointe pleine¹.

Chaque flux de séquence a exactement une source et une cible, prises parmi les événements, les activités et les passerelles¹. Le standard rassemble ces familles sous le FlowNode; l’activité de chorégraphie en est la quatrième sous-classe, réservée aux diagrammes de chorégraphie¹. Le sous-processus événementiel fait exception: il ne peut être ni source ni cible¹.

isImmediate dit si des activités absentes du modèle peuvent survenir entre les deux éléments que le flux relie. Sans valeur, il se lit comme faux dans un processus non exécutable et comme vrai dans un processus exécutable, où il ne doit jamais valoir faux¹.

Les bordures infranchissables

Deux bordures arrêtent un flux de séquence: celle d’un pool et celle d’un sous-processus développé, dont les objets ne se relient à aucun objet extérieur². Le chapitre sur les sous-processus porte cette seconde règle.

Le tableau des connexions autorisées ne mentionne ni le pool, ni le couloir, ni l’objet de données, ni le groupe, ni l’annotation textuelle². Ces cinq éléments se rattachent autrement: le groupe et l’annotation par une association, l’objet de données par une association de données, le pool et le couloir en contenant les objets.

Le flux non contrôlé (uncontrolled flow)

Le standard appelle flux non contrôlé un flux qu’aucune condition n’affecte et qui ne traverse aucune passerelle³. Le cas le plus simple est la ligne unique entre deux activités. Plusieurs flux non contrôlés peuvent aussi diverger d’une activité ou converger vers elle, et chacun porte son jeton de la source vers la cible³.

Plusieurs flux sortants d’une même activité valent donc une division parallèle, écriture que le standard tient pour la méthode à préférer dans la plupart des situations³.

La fusion, elle, garde son symbole: le chapitre sur les passerelles donne la règle et les anomalies qu’elle évite.

L’expression de condition (condition expression)

Un flux de séquence peut porter une expression de condition. Le jeton n’est placé sur le flux que si elle s’évalue à vrai¹. En pratique, la source du flux est une passerelle ou une activité¹.

Les deux formes de l’expression

L’expression (Expression) consigne la logique en langue naturelle, dans l’attribut documentation hérité; elle est tenue pour sous-spécifiée et ne s’exécute pas. L’expression formelle (FormalExpression) exprime la même logique sous une forme exécutable, dans un langage déclaré: language porte l’URI de ce langage et body le corps de l’expression. Le langage par défaut vaut pour tout un modèle et se déclare sur l’élément definitions, par l’attribut expressionLanguage, que chaque expression formelle peut redéfinir⁴.

Une expression de condition s’évalue à un booléen⁴. Elle se place là où elle sert, ou se définit au niveau du processus, les flux qui en ont besoin la référençant⁴.

Le marqueur en losange

Un flux conditionnel sortant d’une activité porte un petit losange au début du connecteur. Sortant d’une passerelle, il ne le porte pas: le standard l’interdit¹.

Une activité dont un flux sortant est conditionnel doit en porter au moins un autre¹. La passerelle source ne peut être ni parallèle ni événementielle¹.

Silver relève l’erreur d’outil correspondante: certains dessinent le losange au départ d’un flux sortant de passerelle⁵. Il ajoute une règle de style. Le flux conditionnel convient au parallélisme conditionnel, celui de la figure ci-dessus; un choix exclusif s’écrit avec une passerelle exclusive, faute de quoi le lecteur hésite sur ce que le modélisateur a voulu dire⁵.

Le flux par défaut (default flow)

Un flux de séquence peut être déclaré par défaut. Il est alors emprunté quand aucun des autres flux sortants n’est valide, c’est-à-dire quand toutes leurs expressions de condition sont fausses¹.

Quatre sources l’admettent: la passerelle exclusive, l’inclusive, la complexe et l’activité¹. L’attribut default de la source désigne celui de ses flux sortants qui joue ce rôle⁶. Silver en fait une règle de validation: une activité ou une passerelle a au plus un flux par défaut⁵.

Son marqueur est une barre oblique tracée au début du connecteur¹³. Le flux par défaut ne porte aucune expression de condition, et une expression qui s’y trouverait serait ignorée⁶.

Pour Silver, par défaut se lit sinon et ne dit rien de la fréquence: le flux est emprunté si et seulement si aucun autre ne l’est⁵.

Les deux branches conditionnelles peuvent être empruntées ensemble, ce que la fusion inclusive confirme, et la branche par défaut ne l’est que si aucune des deux ne l’est. Silver observe qu’un modélisateur qui écrit deux flux conditionnels suivis d’un flux par défaut vise le plus souvent un choix exclusif, alors que cette configuration n’en est pas un⁵.

Le flux de message (message flow)

Un flux de message montre la circulation des messages entre deux participants prêts à les envoyer et à les recevoir⁷. Il se trace d’une ligne discontinue, ouverte par un cercle vide à la source et fermée par une pointe de flèche vide⁷.

Les connexions autorisées

Un flux de message doit relier deux pools distincts⁷. Il se raccorde à la bordure du pool ou à un objet de flux intérieur, et il ne relie jamais deux objets d’un même pool⁷.

Trois éléments seulement peuvent en être la source ou la cible: le pool avec le participant qu’il représente, l’activité et l’événement⁷. Le couloir, la passerelle, l’objet de données, le groupe et l’annotation textuelle sont absents de son tableau de connexions². L’attribut messageRef désigne le message transporté, que le diagramme peut afficher sur la ligne⁷.

Le pool et le participant appartiennent au chapitre suivant, sur les pools, les couloirs et la collaboration. La figure les emploie au minimum nécessaire pour qu’un flux de message existe.

Ce que la ligne promet

Dumas en donne l’étendue: un flux de message couvre toute forme de communication entre deux organisations, un courriel, un fax, un appel téléphonique ou une lettre remise en main propre. Il sert aussi à représenter un échange de matières, une livraison de marchandises par exemple, et son étiquette porte le contenu échangé⁸.

Silver ramène la ligne à ce qu’elle promet: un flux de message sortant d’une tâche utilisateur signale que la tâche peut envoyer le message. Pour affirmer que l’envoi ou la réception a lieu, la notation offre l’événement de message ainsi que les tâches d’envoi et de réception⁹. Il pose une seconde limite: un flux de message se raccorde à une activité ou à un événement à l’intérieur d’un pool qui contient un processus, la bordure restant réservée au pool réduit à une boîte noire⁹.

Le standard n’oblige à dessiner aucun flux de message. Silver les recommande, parce qu’ils montrent comment le processus s’articule avec le client, les fournisseurs de service et les autres processus internes. Il en reconnaît le coût, un encombrement visuel qui rebute une partie des lecteurs⁹.

Les artefacts (artifacts)

Un artefact ajoute au diagramme une information qui ne relève ni du flux de séquence ni du flux de message¹⁰. Le standard en définit trois: l’association, le groupe et l’annotation textuelle¹⁰. La liste reste ouverte, un modélisateur ou un outil pouvant ajouter ses propres types¹⁰.

Un artefact, y compris celui qu’un outil ajoute, n’est jamais la source ni la cible d’un flux de séquence, ni celles d’un flux de message¹⁰.

L’association (association)

Une association rattache une information ou un artefact à un objet de flux¹⁰. Elle se trace d’une ligne pointillée¹⁰.

Les styles du flux de séquence, du flux de message et de l’association de texte ne se modifient ni ne se reprennent pour un autre usage. Un modélisateur ou un outil reste libre d’introduire d’autres styles de ligne, à la condition qu’aucun n’entre en conflit avec un style que BPMN définit¹¹.

L’attribut associationDirection vaut None, One ou Both: par défaut l’association ne porte aucune pointe, One en place une à la cible, Both en place une à chaque extrémité¹⁰.

L’association de données (data association)

BPMN 1.2 employait l’association dirigée pour montrer qu’un objet de données entrait dans une activité ou en sortait. La version 2.0.2 confie ce rôle à un connecteur distinct, l’association de données, qui en reprend le tracé¹⁰.

La différence est sémantique. Une association de données déplace des données entre les objets de données, les propriétés et les entrées et sorties des activités, des processus et des tâches globales; aucun jeton n’y circule et elle reste donc sans effet direct sur le déroulement du processus¹². L’association, elle, rattache une information au diagramme sans rien déplacer.

Dumas lit l’association de données comme une affirmation métier: une association entrante fait de l’objet une entrée de l’activité, une association sortante en fait une sortie¹³.

L’association de compensation

L’association sert aussi à désigner l’activité employée pour la compensation¹⁰. Sa cible doit être marquée comme activité de compensation³. Le chapitre sur les événements de bord porte ce mécanisme.

L’annotation textuelle (text annotation)

Une annotation textuelle donne au lecteur une information supplémentaire. Elle se dessine comme un rectangle ouvert tracé d’un trait plein unique, le texte se plaçant à l’intérieur¹⁰. Elle se rattache à un objet précis du diagramme par une association et reste sans effet sur le déroulement du processus¹⁰.

Deux attributs la décrivent: text porte le texte et textFormat en donne le format, sous forme de type mime, text/plain par défaut¹⁰.

Silver la distingue de la documentation. Le modèle entier et la plupart de ses éléments portent un élément documentation dans le XML, où l’on range autant d’information que l’on veut, directement ou par des liens vers des documents externes. Cet élément appartient à la sous-classe descriptive, si bien qu’un outil conforme sait l’importer et l’afficher, mais il ne se dessine pas¹⁴. L’annotation textuelle fait apparaître le commentaire dans le dessin, et Silver la veut attachée à un élément par une association non dirigée plutôt que posée en flottant¹⁴.

Sa règle de style prescrit l’annotation quand les seuls éléments BPMN ne suffisent pas à exprimer sans ambiguïté un aspect de la logique du processus¹⁴. La passerelle complexe en est l’exemple type: son symbole laisse ouverte la synchronisation qu’elle opère.

Dumas décrit le même usage et rappelle la contrepartie: une annotation ne porte aucune sémantique¹³.

Le groupe (group)

Un groupe réunit visuellement des éléments d’un diagramme, de manière informelle. Il se dessine comme un rectangle à coins arrondis tracé d’un trait discontinu¹⁰.

Le groupe s’attache à une valeur de catégorie (CategoryValue) dont il est la représentation visuelle, et les éléments graphiques à l’intérieur reçoivent cette valeur¹⁰. L’étiquette du groupe porte cette valeur, que le nom de la catégorie peut précéder¹⁰. Le sens d’une catégorie est défini par l’utilisateur et sert à documenter ou à analyser: on peut ranger les éléments de flux en « orientés client » et « orientés support », puis calculer le coût et la durée des activités par catégorie¹⁰. Une même catégorie sert à plusieurs groupes d’un diagramme¹⁰.

Le groupe n’est pas un objet de flux, il ne se connecte donc à aucun flux de séquence ni à aucun flux de message, et il laisse le déroulement du processus inchangé¹⁰. Les contraintes des pools et des couloirs lui échappent également: un groupe peut s’étendre au-delà de la bordure d’un pool pour entourer des éléments répartis entre plusieurs participants, ce qui sert à désigner les activités d’une même transaction interentreprises¹⁰.

C’est là son emploi courant. Il met en évidence une partie du diagramme en lui épargnant les contraintes qu’un sous-processus ajouterait, et la partie ainsi désignée peut être isolée pour un rapport ou une analyse¹⁰.

Silver observe que le mécanisme de valeur de catégorie ne s’emploie pas dans la pratique et conseille de tenir le groupe pour un surligneur du diagramme¹⁴.

Les classes de conformité

Les éléments de ce chapitre se rangent presque tous dans la sous-classe descriptive, la plus restreinte des trois¹⁵. Son tableau porte le flux de séquence inconditionnel, le flux de message, l’annotation textuelle, le groupe ainsi que l’association et l’association de données¹⁵.

Deux écritures relèvent de la sous-classe analytique: le flux de séquence conditionnel, avec son expression, et le flux de séquence par défaut, avec l’attribut default¹⁵.

Un modèle destiné à des interlocuteurs métier dispose ainsi de tous les connecteurs et de tous les artefacts. La condition portée par une ligne et le flux par défaut qui la complète sont le seul apport du niveau suivant.

Au-delà des connecteurs

Le pool et le couloir appartiennent au chapitre suivant. L’objet de données, le magasin de données et les associations de données qui les relient au flux ouvrent celui d’après.

Le chapitre suivant

BPMN: les pools, les couloirs et la collaboration. Le pool, le couloir et le pool boîte noire, les règles qui rendent une collaboration BPMN légale et la façon de modéliser un système comme participant.

Notes et références