Interacting Components

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    40 Downloads (Pure)


    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 languageEnglish
    Title of host publicationCommunicating Process Architectures, CPA 2006
    Subtitle of host publication29 WoTUG Conference on Concurrent and Parallel Programming
    EditorsPeter Welch, Jon Kerridge, Fred Barnes
    Place of PublicationAmsterdam
    Number of pages24
    ISBN (Print)1-58603-671-8
    Publication statusPublished - 26 Sept 2006
    EventCommunicating Process Architectures, CPA 2006: 29th WoTUG Conference on Concurrent and Parallel Programming - Edinburgh, United Kingdom
    Duration: 17 Sept 200620 Sept 2006
    Conference number: 29

    Publication series

    NameConcurrent Systems Engineering Series
    PublisherIOS Press


    ConferenceCommunicating Process Architectures, CPA 2006
    Country/TerritoryUnited Kingdom


    • EWI-7000
    • CSP
    • Fault Tolerance
    • Formal Methods
    • Components
    • SystemCSP
    • IR-66386
    • hierarchical verification
    • graphical modeling
    • design patterns
    • contexts
    • contracts
    • METIS-238198
    • Simulation


    Dive into the research topics of 'Interacting Components'. Together they form a unique fingerprint.

    Cite this