SysML contracts for systems of systems

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

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding

    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
    Title of host publication2014 9th International Conference on System of Systems Engineering (SOSE)
    PublisherIEEE
    Pages73-78
    Number of pages6
    ISBN (Print)9781479952281
    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

    Conference

    ConferenceInternational conference on system of systems engineering
    Abbreviated titleSOSE 2014
    CountryAustralia
    CityAdelaide
    Period9/06/1413/06/14
    Internet address

    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

    Bryans, J., Fitzgerald, J., Payne, R., Miyazawa, A., & Kristensen, K. (2014). SysML contracts for systems of systems. In 2014 9th International Conference on System of Systems Engineering (SOSE) (pp. 73-78). IEEE. https://doi.org/10.1109/SYSOSE.2014.6892466

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

    2014 9th International Conference on System of Systems Engineering (SOSE). IEEE, 2014. p. 73-78.

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding

    Bryans, J, Fitzgerald, J, Payne, R, Miyazawa, A & Kristensen, K 2014, SysML contracts for systems of systems. in 2014 9th International Conference on System of Systems Engineering (SOSE). IEEE, pp. 73-78, International conference on system of systems engineering, Adelaide, Australia, 9/06/14. https://doi.org/10.1109/SYSOSE.2014.6892466
    Bryans J, Fitzgerald J, Payne R, Miyazawa A, Kristensen K. SysML contracts for systems of systems. In 2014 9th International Conference on System of Systems Engineering (SOSE). IEEE. 2014. p. 73-78 https://doi.org/10.1109/SYSOSE.2014.6892466
    Bryans, J. ; Fitzgerald, John ; Payne, Richard ; Miyazawa, Alvaro ; Kristensen, Klaus. / SysML contracts for systems of systems. 2014 9th International Conference on System of Systems Engineering (SOSE). IEEE, 2014. pp. 73-78
    @inproceedings{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",
    isbn = "9781479952281",
    pages = "73--78",
    booktitle = "2014 9th International Conference on System of Systems Engineering (SOSE)",
    publisher = "IEEE",
    address = "United States",

    }

    TY - GEN

    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 - Conference proceeding

    SN - 9781479952281

    SP - 73

    EP - 78

    BT - 2014 9th International Conference on System of Systems Engineering (SOSE)

    PB - IEEE

    ER -