SysML contracts for systems of systems

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

doi:10.1109/SYSOSE.2014.6892466

SysML contracts for systems of systems

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

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

20 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 language	English
Title of host publication	2014 9th International Conference on System of Systems Engineering (SOSE)
Publisher	IEEE
Pages	73-78
Number of pages	6
ISBN (Print)	9781479952281
DOIs	https://doi.org/10.1109/SYSOSE.2014.6892466
Publication status	Published - 2014
Event	International conference on system of systems engineering - Stamford Grand, Adelaide, Australia Duration: 9 Jun 2014 → 13 Jun 2014 Conference number: 9 http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6883270

Conference

Conference	International conference on system of systems engineering
Abbreviated title	SOSE 2014
Country/Territory	Australia
City	Adelaide
Period	9/06/14 → 13/06/14
Internet address	http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6883270

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

Access to Document

10.1109/SYSOSE.2014.6892466

Cite this

@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",

note = "International conference on system of systems engineering, SOSE 2014 ; Conference date: 09-06-2014 Through 13-06-2014",

url = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6883270",

}

TY - GEN

T1 - SysML contracts for systems of systems

AU - Bryans, J.

AU - Fitzgerald, John

AU - Payne, Richard

AU - Miyazawa, Alvaro

AU - Kristensen, Klaus

N1 - Conference code: 9

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

UR - https://www.scopus.com/pages/publications/84908635566

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

T2 - International conference on system of systems engineering

Y2 - 9 June 2014 through 13 June 2014

ER -

SysML contracts for systems of systems

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this