Towards Formalizing Behavorial Substitutability in Component Frameworks

Sabine Moisan 1 Annie Ressouche 2 Jean-Paul Rigault 2
2 STARS - Spatio-Temporal Activity Recognition Systems
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : When using a component framework, developers need to respect the behavior implemented by the components. Static information about the component interface is not sufficient. Dynamic information such as the description of valid sequences of operations is required. In this paper we propose a mathematical model and a formal language to describe the knowledge about behavior. We rely on a hierarchical model of deterministic finite state-machines. The execution model of these state-machines follows the Synchronous Paradigm. We focus on extension of components, owing to the notion of behavioral substitutability. A formal semantics for the language is defined and a composition-ality result allows us to get modular model-checking facilities. From the language and the model, we can draw practical design rules that are sufficient to preserve behavorial substitutability. Associated tools may ensure correct (re)use of components, as well as automatic simulation and verification , code generation, and run-time checks.
Document type :
Conference papers
Complete list of metadatas

Cited literature [28 references]  Display  Hide  Download

https://hal.inria.fr/hal-01873040
Contributor : Sabine Moisan <>
Submitted on : Thursday, September 13, 2018 - 3:46:34 PM
Last modification on : Friday, September 14, 2018 - 1:16:32 AM
Long-term archiving on : Friday, December 14, 2018 - 12:41:33 PM

File

article.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01873040, version 1

Collections

Citation

Sabine Moisan, Annie Ressouche, Jean-Paul Rigault. Towards Formalizing Behavorial Substitutability in Component Frameworks. International Conference on Software Engeniering and Formal Methods (SEFM), Sep 2004, Beijing, China. ⟨hal-01873040⟩

Share

Metrics

Record views

238

Files downloads

18