Back to University of Twente portal
Interacting Components
Orlic, B. and Broenink, J.F. (2006) Interacting Components. In: Communicating Process Architectures 2006, 17-20 September 2006, Edinburgh, UK.
![[img]](http://doc.utwente.nl/style/images/fileicons/application_pdf.png)
| PDF 1104Kb |
| 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. |
| Item Type: | Conference or Workshop Item |
| Copyright: | © 2006 IOS Press |
| Faculty: | Electrical Engineering, Mathematics and Computer Science (EEMCS) |
| Research Group: | |
| Link to this item: | http://purl.utwente.nl/publications/66386 |
| Official URL: | http://www.iospress.nl/book/communicating-process-architectures-2006/ |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page
Metis ID: 238198