Paper Details

Communicating Process Architectures (CPA)
 Title: Interacting Components
 Conference: Communicating Process Architectures 2006
 Authors: Bojan Orlica, Alastair Allenb
(a) Control Engineering, Faculty of EE-Math-CS, University of Twente
(b) Department of Engineering, University of Aberdeen
 Abstract: SystemCSP is a graphical modeling language based on both CSP and concepts of component-based software development. The component framework of SystemCSP enables specification of both interaction scenarios and relative execution ordering among components. Specification and implementation of interaction among participating components is formalized via the notion of interaction contract. The used approach enables incremental design of execution diagrams by adding restrictions in different interaction diagrams throughout the process of system design. In this way all different diagrams are related into a single formally verifiable system. The concept of reusable formally verifiable interaction contracts is illustrated by designing set of design patterns for typical fault tolerance interaction scenarios. 
Files:


BibTeX Entry


Full paper