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.
Original language | English |
---|---|
Title of host publication | Communicating Process Architectures, CPA 2006 |
Subtitle of host publication | 29 WoTUG Conference on Concurrent and Parallel Programming |
Editors | Peter Welch, Jon Kerridge, Fred Barnes |
Place of Publication | Amsterdam |
Publisher | IOS |
Pages | 179-202 |
Number of pages | 24 |
ISBN (Print) | 1-58603-671-8 |
Publication status | Published - 26 Sept 2006 |
Event | Communicating Process Architectures, CPA 2006: 29th WoTUG Conference on Concurrent and Parallel Programming - Edinburgh, United Kingdom Duration: 17 Sept 2006 → 20 Sept 2006 Conference number: 29 |
Publication series
Name | Concurrent Systems Engineering Series |
---|---|
Publisher | IOS Press |
Volume | 64 |
Conference
Conference | Communicating Process Architectures, CPA 2006 |
---|---|
Country/Territory | United Kingdom |
City | Edinburgh |
Period | 17/09/06 → 20/09/06 |
Keywords
- EWI-7000
- CSP
- Fault Tolerance
- Formal Methods
- Components
- SystemCSP
- IR-66386
- hierarchical verification
- graphical modeling
- design patterns
- contexts
- contracts
- METIS-238198
- Simulation