iASTD, un interpréteur d'ASTD

Le langage de spécification formel ASTD a été conçu pour la description des systèmes d'information complexes. Deux outils sont alors nécessaires pour l'exécution d'actions sur une telle spécification : un outil permettant d'exécuter de façon simple une suite d'évènements afin de valider la spécification, et un outil plus durable permettant d'exécuter efficacement le système d'information final généré à partir d'une spécification ASTD. Ce mémoire présente l'ensemble des travaux évoqués à propos de l'interpréteur iASTD d'ASTD, depuis l'écriture des algorithmes décrivant l'exécution d'actions sur la structure ASTD spécifiée, à leur implémentation dans le langage oCaml, en passant par l'introduction d'algorithmes de Kappa optimisation pour l'exécution des opérateurs quantifiés. Les tests fonctionnels et les tests de performance sont également présentés.

Name thesis:degree_name

M. Sc.

Level thesis:degree_level

Maîtrise

Discipline thesis:degree_discipline

Informatique

Grantor dc:publisher

Université de Sherbrooke

Year dc:date.issued

2011

Author dc:creator

• Salabert, Kevin

Advisor dc:contributor.advisor

• Frappier, Marc

Language dc:language.iso

fr

Handle dc:identifier.uri

https://hdl.handle.net/11143/4922

OAI identifier oai:identifier

oai:usherbrooke.scholaris.ca:11143/4922