BLOCKS, a Component Framework with Checking Facilities for Knowledge-Based Systems - Archive ouverte HAL Access content directly
Journal Articles Informatica Year : 2001

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

(1) , (1) , (1, 2)
1
2

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.
Fichier principal
Vignette du fichier
Informatica_27.pdf (117.33 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01861673 , version 1 (25-08-2018)

Identifiers

  • HAL Id : hal-01861673 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More