Planning, Executing, Controlling and Replanning for IP program library
Introduction
Structure of the talk
Program supervision definition
Example : PROGAL KB
One problem = one system
LAMA
LAMA structure
Structures in LAMA
Yakl Example
Pegase : Supervision Engine
Program Supervision Engine
Pegase Code : Planning
Pegase Code : execution
Pegase Code : Evaluation
Different Application Domains
Lama KBs
EST - Genomic comparison
ATR (Maryland University)
Conclusions
Email: rvincent@sophia.inria.fr
Home Page: http://www.inria.fr/orion/