UML subit des reproches incessants sur le manque de ses fondements formels. Limprécision de sa sémantique complique la vérification des modèles quand la correction des spécifications devient une condition incontournable en génie logiciel. Reconnues pour leurs fondements théoriques rigoureux, les langages formels sont à même de répondre à ce besoin. Ils sont toutefois peu utilisés en raison de leur complexité. Aussi, pour rallier convivialité et rigueur, de nombreuses équipes de recherches sactivent autour de la sémantique dUML dans le but de lui conférer des bases solidement construites. La principale motivation de cette étude a été, tout le long de son développement, de parvenir à une modélisation UML valide sans obligation de maîtrise, pour le concepteur UML, des techniques formelles usitées en pareille situation. Cet objectif, plutôt ambitieux, ouvre de larges horizons sur la sémantique des langages et lanalyse des modèles qui en découlent. La méthodologie que nous proposons apporte plusieurs contributions. Sa principale originalité apparaît dans le large spectre de diagrammes quelle intègre, de façon complémentaire, pour produire un modèle unique formellement vérifié.

Docteur d'état en informatique de l'USTHB en coopération avec l'université Paris 6. Elle enseigne à l'école ESI d'Alger. Elle a dirigé l'école doctorale en Sciences et Technologies de l'Information et de la Communication en Algérie. Elle a publié près de 40 articles dans des conférences et revues internationales reconnues.

Hersteller:
BoD - Books on Demand
info@bod.de
In de Tarpen 42
DE 22848 Norderstedt