Interacting Components

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

    24 Downloads (Pure)

    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 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
    PublisherIOS Press
    Pages179-202
    Number of pages24
    ISBN (Print)1-58603-671-8
    Publication statusPublished - 26 Sep 2006
    EventCommunicating Process Architectures, CPA 2006: 29th WoTUG Conference on Concurrent and Parallel Programming - Edinburgh, United Kingdom
    Duration: 17 Sep 200620 Sep 2006
    Conference number: 29

    Publication series

    NameConcurrent Systems Engineering Series
    PublisherIOS Press
    Volume64

    Conference

    ConferenceCommunicating Process Architectures, CPA 2006
    Country/TerritoryUnited Kingdom
    CityEdinburgh
    Period17/09/0620/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

    Fingerprint

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

    Cite this