Monitoring de services Web

Samir Sebahi

Equipe BD

Ces dernières années, l'idée du logiciel en tant que service a ajouté un nouveau paradigme à l'architecture de systèmes logiciels, en considérant de plus en plus les logiciels comme des agents autonomes agissant en fonction de certains contrats. Pour ces systèmes, la vérification de conformance aux lois/règles imposées par les autorités de réglementation et de certification est particulièrement difficile, due à la nature dynamique de ces systèmes. Run-time Business Protocol Monitoring (RBPM) est un prototype de système de vérification développé dans le cadre du projet COMPAS. Il se distingue par la proposition d’une abstraction simple et compréhensible, et d’un langage de vérification formel proche de l’environnement des services. Dans le cadre de cette démonstration, nous démontrons une partie des résultats mettant en avant : Notre langage de spécification, et un scénario de détection de violation de contrats par un système pendant son exécution.