{"id":{"repo_id":"sherbrooke","oai_identifier":"oai:usherbrooke.scholaris.ca:11143/4922"},"canonical_url":"https://search.dev.ndltd.org/etd/sherbrooke/oai:usherbrooke.scholaris.ca:11143/4922","repository":{"repo_id":"sherbrooke","name":"Université de Sherbrooke","base_url":"https://usherbrooke.scholaris.ca/server/oai/request"},"display":{"title":"iASTD, un interpréteur d'ASTD","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Salabert, Kevin"],"institution":"Université de Sherbrooke","degree_name":"M. Sc.","degree_level":"Maîtrise","degree_discipline":"Informatique","degree_department":null,"school":null,"contributors":[],"advisors":["Frappier, Marc"],"committee_chairs":[],"committee_members":[],"year":2011,"date_issued":"2011","date_published":"2011","updated_at":"2026-07-27T21:07:37Z","subjects":[],"languages":["fr"],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/11143/4922","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Frappier, Marc"]},{"key":"dc:creator","label":"Author","values":["Salabert, Kevin"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2014-05-16T15:36:48Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2014-05-16T15:36:48Z"]},{"key":"dc:date.issued","label":"Date","values":["2011"]},{"key":"dc:publisher","label":"Institution","values":["Université de Sherbrooke"]},{"key":"dc:type","label":"Dc Type","values":["Mémoire de maîtrise"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Informatique"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Maîtrise"]},{"key":"thesis:degree_name","label":"Degree Name","values":["M. Sc."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["Université de Sherbrooke"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["fr"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/11143/4922"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:title","label":"Title","values":["iASTD, un interpréteur d'ASTD"]}]}],"canonical_facts":{"dc:contributor.advisor":["Frappier, Marc"],"dc:creator":["Salabert, Kevin"],"dc:date.accessioned":["2014-05-16T15:36:48Z"],"dc:date.available":["2014-05-16T15:36:48Z"],"dc:date.issued":["2011"],"dc:description.abstract":["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."],"dc:identifier.uri":["https://hdl.handle.net/11143/4922"],"dc:language.iso":["fr"],"dc:publisher":["Université de Sherbrooke"],"dc:title":["iASTD, un interpréteur d'ASTD"],"dc:type":["Mémoire de maîtrise"],"thesis:degree_discipline":["Informatique"],"thesis:degree_level":["Maîtrise"],"thesis:degree_name":["M. Sc."],"thesis:institution_name":["Université de Sherbrooke"]},"updated_at":"2026-07-27T21:07:37Z"}