Sciweavers

FMOODS
2006

Bounded Analysis and Decomposition for Behavioural Descriptions of Components

13 years 11 months ago
Bounded Analysis and Decomposition for Behavioural Descriptions of Components
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages should be able to deal with data types and with rich communication means. Symbolic Transition Systems (STS) support the definition of component models which take into account control, concurrency, communication and data types. However, verification of components described with protocol modelled by STS, especially model-checking, is difficult since they possibly involve different sources of infinity. In this paper, we propose the notions of bounded analysis and bounded decomposition. They can be used to test boundedness of systems and to generate finite simulations for them so that standard model-checking techniques may be applied for verification purposes.
Pascal Poizat, Jean-Claude Royer, Gwen Salaün
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2006
Where FMOODS
Authors Pascal Poizat, Jean-Claude Royer, Gwen Salaün
Comments (0)