Concepts de base

La revue des éléments nécessaires à la compréhension de ce rapport inclut une description de la notation formelle ASTD utilisée pour spécifier des politiques de contrôle d’accès, les applications SOA comme architecture des systèmes d’information, le protocole « Simple Object Access Protocol » (SOAP) pour les échanges de messages entre les services Web, le langage « Web Service Definition Language » (WSDL) pour spécifier les interfaces des processus et le langage de processus « Business Process Execution Language » (BPEL) pour l’implémentation des solutions proposées dans cette thèse.Le langage ASTD [23] est une notation formelle qui combine une représentation gra- phique et les opérateurs des notations telles que CSP [31] et LOTOS [8]. La définition complète des structures ASTD, incluant la représentation mathématique et graphique des structures et des états ASTD ainsi que la sémantique formelle, est disponible dans le rapport [21]. Une spécification ASTD est un ensemble fini de structures ASTD dont l’une, nommée main, est marquée comme la structure ASTD principale.

L’exécution d’une spécification ASTD est intuitive. L’état initial de la structure ASTD principale est calculé et les événements reçus de l’environnement font évoluer l’état courant de la spécification vers un nouvel état en fonction de la spécification elle-même (l’ensemble des structures ASTD qui la composent). Il existe neuf structures ASTD.Une structure ASTD peut être de type automate (aut).

Dans ce cas, l’automate contient des structures élémentaires ou encore d’autres structures ASTD qui sont x est l’ensemble des paramètres de l’événement et „ est un prédicat optionnel qui doit être évalué à vrai pour déclencher la transition. Une structure ASTD automate est, dans sa ver- sion simplifiée, un système d’états-transitions avec la possibilité de paramétrer les transitions par des variables et d’ajouter des conditions d’exécution à celles-ci. La figure 1.1a illustre une structure ASTD automate nommée AUT1. Elle a deux transi- tions sans paramètres t1 et t2 qui doivent être exécutées en séquence. La figure 1.1b montre l’évolution de l’état de cette structure ASTD depuis l’état initial après les occurrences des événements t1 et t2. L’état initial de la structure ASTD automate de l’exemple est q0 comme le montre le jeton présent dans cet état dans la partie gauche de la figure 1.1b. D’après la spécification à la figure 1.1a, seule la transition t1 est possible dans cet état. Après l’occurrence de l’événement t1, il y a un changement d’état de q0 à q1 comme le montre le jeton dans l’état q1 (voir la partie médiane de la figure 1.1b). De même, après l’occurrence de l’événement t2, l’état courant de la structure ASTD automate passe de l’état q1 à l’état q2 et le jeton se retrouve dans ce dernier état comme l’illustre la partie droite de la figure 1.1b.

..structure, le passage à l’état initial de la seconde sous-structure est possible si l’état de la première sous-structure est final. Dans l’exemple présenté par la figure 1.2a, la structure ASTD principale est la séquence SEQ1 et elle comporte deux sous-structures ASTD automate qui seront exécutées en séquence. La figure 1.2b illustre l’évolution de l’état de la structure ASTD séquence depuis son état initial jusqu’à son état final. Cette évolution se fait à la suite des occurrences successives des événements t1 et t2.plusieurs sous-structures ASTD membres. Une telle structure ASTD ore la possibilité d’exécuter les transitions de toutes les sous-structures et, une fois le choix de la sous-structure à exécuter effectué, les autres sous-structures sont ignorées lors d’occurrences futures d’événements. Le choix de la sous-structure est déterminé par la première occurrence d’un événement acceptable. La méthode de spécification ASTD, qui inclut le langage ASTD, a été proposée dans la perspective d’être utilisée pour modéliser des systèmes d’information. La spé- cification complète d’un système comprend en plus de la description des ASTD, un modèle UML des entités du système et la définition des attributs de ces entités.

Dans cet ensemble de modèles, la spécification ASTD vient préciser le comportement des diérentes entités du système et chaque transition de la spécification modifie éventuellement des attributs de ces entités. Le diagramme de classes de la figure 1.3 montre la relation entre les entités Book et Member du système d’information d’une bibliothèque. Pour modéliser le comportement du processus de prêt de livres de cette bibliothèque, on peut lui ajouter la spécification ASTD de la figure 1.4. La structure ASTD automate de la figure 1.4b montre le comportement des instances de l’entité Book : un livre est acquis (événement Acquire), ensuite il peut être emprunté un certain nombre de fois (structure ASTD loan) et enfin il est retiré de la bibliothèque (événement Discard). La spécification ASTD automate de la figure 1.4d modélise le cycle d’un prêt. Celui-ci débute par l’emprunt d’un livre par un membre (événement Lend).