Blocks, a component framework with checking facilities for knowledge-based systems.

LES AUTEURS Moisan, S. and Ressouche, A. and Rigault, J-P.

RESUME:

Blocks is an answer to the software
engineering needs of the design of knowledge-based system engines.
It is a framework composed of reusable and adaptable software
components. However, its safe and correct use is complex and we
supply formal models and associated tools to assist it. These
models and tools are based on behavioral description of components
and on model-checking techniques. They ensure a safe reuse of the
components, especially when extending them through inheritance,
owing to the notion of behavioral refinement.

Mots clé: component framework, behavioral model, model checking, artificial intelligence

BibTeX reference:

@Article{Informatica01,
  author = {Moisan, S. and Ressouche, A. and Rigault, J-P.},
  title = {{{\sc Blocks}, a Component Framework with Checking Facilities for Knowledge-Based Systems}},
  journal={Informatica, Special Issue on Component Based Software Development},
  year =         {2001},
  volume =       {25},
  number =       {4},
  month =        {November},
  pages =        {501-507}