DocumentCode
228140
Title
SysML contracts for systems of systems
Author
Bryans, Jeremy ; Fitzgerald, Jeannie ; Payne, Roger ; Miyazawa, Alvaro ; Kristensen, Klaus
Author_Institution
Sch. of Comput. Sci., Newcastle Univ., Newcastle upon Tyne, UK
fYear
2014
fDate
9-13 June 2014
Firstpage
73
Lastpage
78
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
formal specification; software architecture; SoS; SysML contract; architectural pattern; contract pattern; contractual specification; structured approach; systems of systems; Analytical models; Contracts; Object oriented modeling; Ontologies; Protocols; SysML; architectural frameworks; contracts; interface specification; modelling; systems of systems;
fLanguage
English
Publisher
ieee
Conference_Titel
System of Systems Engineering (SOSE), 2014 9th International Conference on
Conference_Location
Adelade, SA
Type
conf
DOI
10.1109/SYSOSE.2014.6892466
Filename
6892466
Link To Document