Le diagramme d'état UML est un puissant mécanisme de formalisation de la dynamique qui peut exprimer plusieurs aspects d'une classe.
UML distingue les "protocol state machines" des "behavioral state machine" ?
Les "protocol state machines" ont une sémantique très simple. Ils peuvent être utilisés pour la plupart des classes représentant une notion métier, qui a toujours plusieurs états différents pendant sa vie, ces états étant modifiés du fait de processus métier et/ou d'invocation d'opérations sur la classe représentée.
Modelio supporte les dernières évolutions apportées par UML2 pour les state machines, comme les points d'entrée, les points de sortie et les régions.
Les "behavioral state machines" sont utilisés pour les objets actifs, c'est-à-dire, les objets qui répondent à des événements externes. Ils peuvent exprimer le parallélisme, et ont une forte capacité d'abstraction pour des comportements associés aux états.
Les diagrammes d'activités UML peuvent représenter des vues globales d'interaction. Vous pouvez glisser/déposer des interactions et montrer la logique d'orchestration, en utilisant les mécanismes habituels des diagrammes d'activités.
Les diagrammes d'activités UML sont utilisés pour modéliser les processus métier, ou la partie dynamique d’un modèle (algorithme d'une opération par exemple). Ils peuvent être "autonomes" et représenter un processus, ou le comportement d'une opération. Les partitions peuvent être disposées horizontalement ou verticalement.
Modelio supporte toutes les fonctionnalités des diagrammes d'activités UML2 comme, par exemple, des partitions imbriquées, des appel d'actions, des pins, des événements reçus, et des data stores.
Modelio permet la création rapide et facile des diagrammes d’activités grâce à son support des smart interactions. Par exemple, glisser/déposer une opération dans un diagramme d'activités pour créer une "operation call action" connectée à l'opération.
Des icônes attachées à un élément représentent sa connexion à d’autres éléments. Ici, la partition "Hotliner" est décorée d'une icône d'acteur, ce qui signifie que cette partition représente un acteur existant (nommé Hotliner). Ces aspects rendent les diagrammes d'activités Modelio très lisibles et agréables à manipuler.
BPMN est une notation standardisée par l'OMG dédiée à la modélisation de processus métier. Les diagrammes BPMN spécifient les détails d'un processus, d'une séquence, des évènements, des tâches, des gates, des lanes, des pools, ...
Modelio apporte le support intégré des standards BPMN2 et UML2, afin d'assurer la couverture efficace des notions UML et des éléments BPMN.
Dans cet exemple, les flux de données ("Order" et "Bill") se réfèrent aux classes UML, les lanes et les pools se réfèrent aux acteurs ou aux packages, comme en témoignent les icônes, et un processus peut appeler un autre processus ou une opération UML.
Une exigence définit une capacité ou une condition qui doit être satisfaite.
Une exigence peut définir une fonction devant être fournie par un système, ou une condition de performance que le système doit respecter.
Une exigence peut apparaître dans d'autres diagrammes pour montrer ses liens vers d'autres éléments de modèle. Les exigences ont des propriétés et des liens vers d’autres éléments (exigences ou éléments de modèle).
Modelio fournit un éditeur tabulaire dédié à l'analyse des exigences, ainsi que le support graphique de la modélisation des exigences.
Dans cet exemple, les exigences sont connectées à des éléments de modèle, afin d’exprimer les éléments de modèle qui les détaillent (refine), les satisfont (satisfy) ou les vérifient (verify). Le composant "DiscountTravelOrderingSite" satisfait l'exigence "Internet booking access", car il implémente des fonctionnalités liées à cette dernière. Cette exigence peut être vérifiée en exécutant des cas de test liés aux cas d'utilisation "Cancel Trip" et "Book Trip".
Les diagrammes d'exigences s'appuient sur le standard SysML (System Modeling Language) de l'OMG.
