Soumission d’un article à iFM 2009

Du 16 au 19 février 2009 aura lieu la 7ème conférence internationale sur les méthodes formelles intégrées (International Conference on integrated Formal Methods) à Düsseldorf en Allemagne.

Dans le cadre de ma formation en Maîtrise recherche en informatique de l’Université de Sherbrooke, je soumets à cette conférence un article intitulé « Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions ». En voici le court résumé.

This paper describes an algorithm to automatically generate error messages for events refused by a process expression.  It can be used in the context of an information system specified with the EB3 method.  In this method, a process expression is used to describe the valid traces of event that the information system must accept.  If a user submit an event which is rejected by this process expression, our algorithm produces an error message explaining why the event has been rejected; it also suggest which event should be submitted in order to correct the error.

La version complète sera prochainement disponible.