Skip to Main content Skip to Navigation
Journal articles

BLOCKS, a Component Framework with Checking Facilities for Knowledge-Based Systems

Abstract : 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 using 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.
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Sabine Moisan Connect in order to contact the contributor
Submitted on : Saturday, August 25, 2018 - 3:37:21 PM
Last modification on : Tuesday, December 7, 2021 - 4:10:11 PM
Long-term archiving on: : Monday, November 26, 2018 - 1:28:50 PM


Files produced by the author(s)


  • HAL Id : hal-01861673, version 1



Sabine Moisan, Annie Ressouche, Jean-Paul Rigault. BLOCKS, a Component Framework with Checking Facilities for Knowledge-Based Systems. Informatica, Slovene Society Informatika, Ljubljana, 2001, Special Issue on Component Based Software Development, 25 (4), pp.7. ⟨hal-01861673⟩



Les métriques sont temporairement indisponibles