Cette thèse constitue une contribution au génie logiciel appliqué à la programmation d'automates. Elle est née d'abord du simple besoin concret d'une bonne librairie de manipulation d'automate ouverte, efficace, extensible et simple d'utilisation. A priori, la programmation générique en C++ semblant la plus adaptée à ces besoins (son originalité par rapport à la programmation purement objets, vient de ce qu'elle impose des contraintes sur les temps de calcul des opérations), le but était d'étendre ces techniques de programmation et leurs domaines d'application aux automates puis aux machines à états en général tout en rendant la librairie plus abordable grâce à la programmation générative et des composants actifs. Ce travail couvre de plus un besoin d'étude sur la programmation par patron en C++ : faisabilité, pouvoir d'expression et efficacité. Cette thèse espère apporter une solution viable à la programmation générique d'automates avec des concepts novateurs, une implémentation sous forme de librairie C++ ouverte et une expérimentation de programmation générative généralisant les résultats obtenus à l'ensemble des machines dont la structure est basée sur celle d'un graphe.
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00720666 |
Date | 01 July 2003 |
Creators | Le Maout, Vincent |
Publisher | Université de Marne la Vallée |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0017 seconds