Sciweavers

Share
FSEN
2009
Springer

Specification and Validation of Behavioural Protocols in the rCOS Modeler

11 years 10 months ago
Specification and Validation of Behavioural Protocols in the rCOS Modeler
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus for Refinement of Component and Object Systems. As an aid to the software engineer, the modeler helps to separate the different concerns by creating different artifacts in the UML model: use cases define a scenario through a sequence diagram, and methods are given as guarded designs in rCOS. rCOS interface contracts are specified through state machines with modelling variables. Messages and transitions in the diagrams are labelled with method invocations. The modeler checks the consistency of those artifacts through the process algebra CSP and the model checker FDR2: a scenario must follow a contract, and an implementation must not deadlock when following the contract. We illustrate the translation and validation with a case study.
Zhenbang Chen, Charles Morisset, Volker Stolz
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2009
Where FSEN
Authors Zhenbang Chen, Charles Morisset, Volker Stolz
Comments (0)
books