SOS architectural requirements modeling and analysis

Abstract

Analysing the architectural requirements of System-of-Systems is a daunting task, usually involving a complicated process of enterprise architecture modeling and verifying. So the paper proposes a method of capability-oriented requirements modeling for developing the architecture requirements of System-of-Systems. A multi-layer ontologies framework is suggested to model the architecture requirements. To check the consistency of performance requirements, a formal inference method is designed to verify the requirements models. Finally, a case study is provided to demonstrate the applicability of the method.