Bounded Analysis and Decomposition for Behavioural Descriptions of Components

  title={Bounded Analysis and Decomposition for Behavioural Descriptions of Components},
  author={Pascal Poizat and Jean-Claude Royer and Gwen Sala{\"u}n},
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… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper


Publications citing this paper.
Showing 1-10 of 11 extracted citations

Similar Papers

Loading similar papers…