Professional Documents
Culture Documents
: IRM
Une smantique ASM des flux de jeton pour les diagrammes dactivits
Promotion : 2010/2011
Liste de figures
Fig. 1 : Diagramme d'activit.5 Fig. 2: Problmes avec les rgions d'activit interruptible.................7
Sommaire
1. 2. 3. 4. INTRODUCTION .............................................................................................................. 4 Problmatique ..................................................................................................................... 4 Contexte .............................................................................................................................. 4 Notions de base ................................................................................................................... 4 4.1. 4.2. 5. 6. 7. 8. 9. Diagrammes d'activit ................................................................................................. 4 Machine detat ............................................................................................................. 5
Calcul des transitions .......................................................................................................... 6 Calcul des offres de jetons .................................................................................................. 6 Slection doffres de jetons ................................................................................................. 7 Rgions activit interruptible .............................................................................................. 7 Rsolution des problmes d'UML ....................................................................................... 8
1. INTRODUCTION
Le langage de modlisation unifi (UML) est largement utilis des fins de spcification et de documentation dans le processus de dveloppement logiciel. Le modle des diagrammes d'activit UML comportent diffrent aspects du systme logiciel, notamment le contrle et les flux de donnes. Pour fournir un soutien au-del de l'outil de dessin d'assistance, et d'utiliser des diagrammes d'activits de manire efficace, il est ncessaire de comprendre exactement leur signification.
2. Problmatique
Les spcifications dUML pour dfinir des diagrammes d'activits avec plus de prcisions, sont insuffisantes pour plusieurs raisons. Premirement, elles sont vagues, laissant beaucoup d'espace pour l'interprtation. Deuximement, il est informel, donc un grand cart doit tre combl jusqu' ce qu'il puisse tre utilement appliqu pour l'excution du modle et le raisonnement automatis. Troisimement, il contient des exigences invraisemblables, par exemple, pour les rgions d'activit interruptible qui rduisent leurs utilisations. Lauteur a propos une solution ces lacunes en dfinissant la smantique des diagrammes d'activits l'aide de machines abstraites dtat (ASM). La spcification est prcise et par consquent, elle permet de comprendre la signification d'un modle. Elle est formelle et peut donc servir de fondement la mise en uvre d'outils. Enfin, elle contribue garantir que le comportement spcifi rpond l'intuition du modlisateur.
3. Contexte
UML facilite la modlisation de contrle et de flux de donnes au moyen de diagrammes d'activit, comprenant une multitude de concepts. Plusieurs niveaux sont dfinis. Ce document traite essentiellement le niveau intermdiaire qui inclut les nuds objet, les flux simultans avec des gardes, et les dcisions. Et prendre les rgions d'activit interruptible comme un exemple d'une fonctionnalit trs utile d'avoir une smantique vague.
4. Notions de base
4.1. Diagrammes d'activit
Les lments fondamentaux de diagrammes d'activits sont des actions qui sont relis par des bords pour indiquer le contrle et les flux de donnes. Actions de spcifier des transformations sur l'tat du systme qui ne sont pas encore dcomposs dans le schma de donn. Ils sont soit dpendants de l'implmentation ou plus spcifiques, par exemple, utilis pour envoyer et recevoir des signaux ou d'invoquer le comportement spcifi dans d'autres diagrammes. le terme plus gnral action est utilis qui est une artes reliant les actions. Elles peuvent passer par des nuds de contrle qui coordonnent les flux dans un diagramme 4
d'activit. Un nud de dcision choisit entre diffrents bords sortants et le nud correspondant et de fusionner plusieurs flux unit indpendant. D'autre part, un nud de fourche se spare un flux en flux simultans et le nud de jointure correspondant synchronise tous les flux entrants. Par ailleurs, les flux peuvent provenir de nuds initiaux et se terminent dans les nuds finaux. Une rgion d'activit interruptible est un sous-ensemble de nuds et d'artes soutenant la rsiliation de parties d'un diagramme d'activit.
Cet exemple peut s'expliquer au moins en termes de jetons. Lors du dmarrage du diagramme d'activit, les jetons sont disponibles sur le C et D nuds, et sur la E1 bord. Il existe trois situations diffrentes, selon la valeur de l'attribut x: - X <0: Le jeton1 peut permettre une action A et le jetons 3 peut passer au tampon E. Le nud de jointure ne doit pas tre travers. - X = 0: Seulement le jeton 3 peu se dplacer E. - X> 0: Le jeton 2 peut se dplacer la broche d'entre de F, permettant l'action B. Indpendamment, le jeton 3 peut se dplacer soit F ou E, mais pas dans les deux nuds.
4.2.
Machine detat
ASM base peuvent tre considrs comme des pseudo-code sur des donnes abstraites, et en effet nous les utilisons comme un moyen commode pour dcrire les calculs. Un ASM comprend des rgles de transition qui fonctionnent sur un tat compos de fonctions dfinies sur un ensemble de base. La rgle mise jour f (s1, sn...): = T modifie la valeur de f en (s1, sn...) t. En gnral, les rgles de transition de plusieurs s'excutent en parallle, exigeant que les mises jour individuelles n'entrent pas en conflit les uns les autres. 5
Conclusion
Nous formalisons la smantique des flux de jetons dans les diagrammes d'activit dUML 2 en termes de rgles de l'ASM. Les rgles qui en rsultent peuvent tre retrace aux besoins prsents ou absents de la spcification UML. La partie prsente dans cet article est intgr dans les rgles pour moteurs asynchrones multi-agents ASM prcisant la gestion des signaux et des excutions d'activit et d'action . La formalisation est de haut niveau suffisante pour rvler des problmatiques avec la spcification UML. D'autre part, il peut tre excut directement en utilisant le compilateur ASML. Par ailleurs, il est apte servir de base l'appui d'outils, par exemple, pour le model checking et de vrification . Un environnement intgr a t mis en uvre, soutenant la simulation et de dbogage des diagrammes d'activits.