SysML contracts for systems of systems

J. Bryans, John Fitzgerald, Richard Payne, Alvaro Miyazawa, Klaus Kristensen

    Research output: Contribution to journalArticle

    12 Citations (Scopus)

    Abstract

    This paper proposes and demonstrates an architectural pattern for the contractual specification of interfaces between constituent systems within a System of Systems (SoS). We take a structured approach to the development of the pattern, which we call the Contract Pattern. It is developed and demonstrated in SysML using a case study from the Audio/Video domain. We also identify some of the obstacles in the way of checking the conformance of a constituent system to a contract, and discuss how these may be overcome.
    Original languageEnglish
    Pages (from-to)73-78
    Number of pages6
    JournalProceedings of the 9th International Conference on System of Systems Engineering: The Socio-Technical Perspective, SoSE 2014
    DOIs
    Publication statusPublished - 2014
    EventInternational conference on system of systems engineering - Stamford Grand, Adelaide, Australia
    Duration: 9 Jun 201413 Jun 2014
    Conference number: 9
    http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6883270

    Fingerprint

    Interfaces (computer)
    Computer systems
    Specifications
    System of systems

    Keywords

    • Contracts
    • Protocols
    • Analytical models
    • Object-oriented modeling
    • Ontologies
    • Software architecture
    • Formal specification
    • Contract pattern
    • SysML contract
    • Systems of systems
    • Architectural pattern
    • Contractual specification
    • SoS
    • Structured approach
    • Interface specification
    • Modelling
    • SysML
    • Architectural frameworks

    Cite this

    SysML contracts for systems of systems. / Bryans, J.; Fitzgerald, John; Payne, Richard; Miyazawa, Alvaro; Kristensen, Klaus.

    In: Proceedings of the 9th International Conference on System of Systems Engineering: The Socio-Technical Perspective, SoSE 2014, 2014, p. 73-78.

    Research output: Contribution to journalArticle

    @article{5ea678ca4dbf4c0fa5d1edb149fa3352,
    title = "SysML contracts for systems of systems",
    abstract = "This paper proposes and demonstrates an architectural pattern for the contractual specification of interfaces between constituent systems within a System of Systems (SoS). We take a structured approach to the development of the pattern, which we call the Contract Pattern. It is developed and demonstrated in SysML using a case study from the Audio/Video domain. We also identify some of the obstacles in the way of checking the conformance of a constituent system to a contract, and discuss how these may be overcome.",
    keywords = "Contracts, Protocols, Analytical models, Object-oriented modeling, Ontologies, Software architecture, Formal specification, Contract pattern, SysML contract, Systems of systems, Architectural pattern, Contractual specification, SoS, Structured approach, Interface specification, Modelling, SysML, Architectural frameworks",
    author = "J. Bryans and John Fitzgerald and Richard Payne and Alvaro Miyazawa and Klaus Kristensen",
    year = "2014",
    doi = "10.1109/SYSOSE.2014.6892466",
    language = "English",
    pages = "73--78",
    journal = "Proceedings of the 9th International Conference on System of Systems Engineering: The Socio-Technical Perspective, SoSE 2014",

    }

    TY - JOUR

    T1 - SysML contracts for systems of systems

    AU - Bryans, J.

    AU - Fitzgerald, John

    AU - Payne, Richard

    AU - Miyazawa, Alvaro

    AU - Kristensen, Klaus

    PY - 2014

    Y1 - 2014

    N2 - This paper proposes and demonstrates an architectural pattern for the contractual specification of interfaces between constituent systems within a System of Systems (SoS). We take a structured approach to the development of the pattern, which we call the Contract Pattern. It is developed and demonstrated in SysML using a case study from the Audio/Video domain. We also identify some of the obstacles in the way of checking the conformance of a constituent system to a contract, and discuss how these may be overcome.

    AB - This paper proposes and demonstrates an architectural pattern for the contractual specification of interfaces between constituent systems within a System of Systems (SoS). We take a structured approach to the development of the pattern, which we call the Contract Pattern. It is developed and demonstrated in SysML using a case study from the Audio/Video domain. We also identify some of the obstacles in the way of checking the conformance of a constituent system to a contract, and discuss how these may be overcome.

    KW - Contracts

    KW - Protocols

    KW - Analytical models

    KW - Object-oriented modeling

    KW - Ontologies

    KW - Software architecture

    KW - Formal specification

    KW - Contract pattern

    KW - SysML contract

    KW - Systems of systems

    KW - Architectural pattern

    KW - Contractual specification

    KW - SoS

    KW - Structured approach

    KW - Interface specification

    KW - Modelling

    KW - SysML

    KW - Architectural frameworks

    U2 - 10.1109/SYSOSE.2014.6892466

    DO - 10.1109/SYSOSE.2014.6892466

    M3 - Article

    SP - 73

    EP - 78

    JO - Proceedings of the 9th International Conference on System of Systems Engineering: The Socio-Technical Perspective, SoSE 2014

    JF - Proceedings of the 9th International Conference on System of Systems Engineering: The Socio-Technical Perspective, SoSE 2014

    ER -