Des extensions du langage UML pour capturer le temps
Le langage UML (Unified Model Language) est le fruit d'un effort substantiel réalisé par de nombreux méthodologistes en vue d'élaborer une procédure commune pour décrire des systèmes complexes à l'aide des concepts d'orientation et d'objet. Depuis l'adoption de la norme UML et sa nouvelles version avancée UML 2.0 ce langage de modélisation a été utilisé pour développer de nombreux systèmes critiques en termes de temps et de ressources. Le langage UML fait toutefois défaut dans certains domaines clés constituant une source de préoccupation particulière pour les concepteurs et des développeurs de systèmes en temps réel et intégrés. L'absence de notions quantifiables de temps et de ressources a notamment empêché son utilisation à plus grande échelle. Or une définition sémantique rigoureuse est obligatoire. On s'est heureusement aperçu que le langage UML possédait tous les mécanismes requis pour faire face à ces problèmes au travers de ses possibilités d'extensibilité. Le lien entre l'exécution du système et la progression du temps peut être décrit de manière précise et, ce faisant, soutenir la modélisation du comportement en fonction du temps. À cette fin, une entité active a été introduite afin de permettre la définition de contraintes de durée entre les événements arbitraires intervenant au niveau du système. Outre l'objet "minuterie", une horloge retrouve l'heure actuelle. D'autres extensions permettent par ailleurs d'identifier des événements de l'exécution du système significatifs d'un point de vue syntaxique, et notamment des informations liées au type et à l'heure des occurrences. Un formalisme opérationnel a par ailleurs été défini afin d'exprimer des hypothèses et des exigences impliquant des conditions plus complexes que la distance entre deux événements. Un observateur peut l'exécuter en synchronisation avec un système et surveiller son état et les événements qui se produisent. Il est utilisé en tant qu'accepteur de langage pouvant avoir des attributs de mémoire locale, leur comportement étant décrit par une machine d'états. Le nouveau profil en temps réel du langage UML sera évalué dans le cadre d'études de cas industrielles proposées et élaborées par les partenaires industriels du projet OMEGA. Le but est d'intégrer des étapes et des lignes directrices plus détaillées sur l'utilisation du langage UML noyau, en particulier par rapport aux extensions temporelles proposées.
