Aguinaldo GARRIDO DE CEITA

Ancien Membre de l'équipe COSI

THÈSE

Sujet de thèse : Conception de systèmes basés sur la connaissance pour la conduite de processus continus Directeur(s) de thèse : Claudia Frydman et Lucile Torres Date de début de thèse : octobre 2001 Financement(s) : ATER Thèmes de recherche développés : Modélisation et conception des processus assistés par ordinateur Points forts : - les concepts liés à la modélisation et à la simulation des systèmes - les notions liées à la représentation de la connaissance - etude de la théorie des systèmes - l'assistance par ordinateur des systèmes étudiés Activités internationales : Stage industriel dans le cadre du projet IEPAL (Intensive Educational Program in Advenced Logistics). Thème : "Analysis on time and methods of goods arrival at maritime terminal". Membre du comité d'organisation de la conférence MAJECSTIC'03 Editeur des actes de la conférence MAJECSTIC'03 Résumé : Tout système informatique contient au moins trois phases distinctes de modélisation à savoir : la phase de spécification, de conception et d’implémentation. Chacune de ces phases ayant trois points de vue de la modélisation à savoir : le point de vue données, fonctionnels et comportemental (Calvez J.P., 1991). La description du comportement peut être séquentielle ou réactive (Harel D. et Pnueli A., 1985). Nos travaux s’intéressent à la spécification du comportement de systèmes à base de connaissances réactifs (SBC_R ) d’une part et, à la vérification et la validation de tels modèles d’autre part. La construction de systèmes réactifs est un thème de recherche assez récent pour le domaine du génie logiciel (Lesage j-j, 1999) ainsi que pour le domaine de l’ingénierie des connaissances (IC) (Henao M.C., 2001; Palma J.T. et al., 2000). L’état de l’art actuel des travaux effectués sur les SBC_R conduit à deux constats : Premièrement, l’IC s’est intéressé qu’à la spécification – donc qu’à la proposition de langage de spécification – du comportement des systèmes à base de connaissances dits transformationnels (SBC_T) (Groot P., Ten Teije A., et Van Harmelen F., 1999; Speel P.H. et al., 2001; Van Eck P. et al., 2001); Deuxièmement, lorsque dans ce domaine les chercheurs se sont intéressés aux questions liées aux SBC_R , leur contribution se sont focalisées sur la conception et l’implémentation de ce type de systèmes (Henao M.C., 2001; Palma J.T. et al., 2000). L’analyse de références bibliographiques récentes permet d’affirmer qu’il y a, par conséquent, un manque de langage permettant la spécification du comportement des SBC_R. C’est ainsi que le langage RCML a été proposé. Ce langage est inspiré du langage CML de la méthodologie CommonKADS (Schreiber G. et al., 1999). Pour vérifier et valider des modèles RCML il a été proposé une méthode basée sur la simulation. Les modèles RCML étant des modèles non simulables, il a donc été proposé un algorithme et une stratégie pour les rendre simulable (i.e. opérationnalisation de modèles). La simulation de modèles opérationnels permet de mettre en évidence des erreurs de spécifications et par conséquent de corriger le modèle RCML avant de passer à la phase de conception et/ou d’implémentation. Ces travaux on conduit à la conception de deux outils informatiques : l’analyseur RCML et l’outil d’opérationnalisation RcmlToStatemate.

PUBLICATIONS

[ présentation : catégorie > année / année > catégorie / compacte / BibTeX ]

[1] P. Bouché, A. Garrido De Ceita, G. Grosset, O. Labarthe, J. Serment, “Manifestation des Jeunes Chercheurs dans le domaine des Sciences et Technologies de l'Information et de la Communication, MAJECSTIC'2003”, n° ISBN: 2-9520712-0-9, 2003. 128 pages.[bib]

[2] A. Garrido De Ceita, L. Torres, C. Frydman, “Specification and Validation of Knowledge-Based Systems”, in: SCSC'03, Summer Computer Simulation Conference, Montreal, Canada, juillet 20-24 2003.[bib]

[3] A. Garrido De Ceita, “Extension de la méthodologie CommonKADS pour la spécification du comportement des systèmes réactifs.”, in: Journées des Doctorants du LSIS (JDL6), pp. 91-98, Marseille, France, décembre 2002.[bib]

[4] L. Torres, C. Frydman, A. Garrido De Ceita, “Adding Event-driven Control Knowledge in a CommonKADS Knowledge Model”, in: 5th International Conference on Knowledge-Based Intelligent Information Engineering Systems month Allied Technologies (KES'2001), Oaka month Nara, Japon, 2001.[bib]

webmaster