Cross-Document Dependency Analysis for System-of-System Integration

Naqvi, Asad and Chitchyan, Ruzanna and Zschaler, Steffen and Rashid, Awais and Südholt, Mario (2010) Cross-Document Dependency Analysis for System-of-System Integration. In: Foundations of Computer Software. Future Trends and Techniques for Development. Lecture Notes in Computer Science . Springer, Berlin, pp. 201-226. ISBN 978-3-642-12565-2

Full text not available from this repository.

Abstract

Systems-of-systems are formed through integration of individual complex systems, often not designed to work together. A number of factors can make this integration very challenging which often leads to catastrophic failures. In this paper, we focus on three major classes of system-of-system integration problems: managerial independence, interface incompatibility, and component-system complexity. We then present an aspect-oriented requirements description language (RDL) which uses natural language analysis capabilities to reason about dependencies across the documentation of the constituent systems of a system-of-systems. The aspect-oriented compositions in the RDL also facilitate specification of cross-document constraints and inconsistency resolution strategies, which can be used for deriving proof obligations and test cases for verification and validation of the emergent behaviour of a system-of-systems. We showcase the capabilities of our RDL through a case study of a real-world emergency response system. Our analysis shows that the querying and composition capabilities of the RDL provide valuable support for reasoning across documentation of multiple systems and specifying suitable integration constraints.

Item Type:
Contribution in Book/Report/Proceedings
Uncontrolled Keywords:
/dk/atira/pure/researchoutput/libraryofcongress/qa75
Subjects:
?? COMPUTING, COMMUNICATIONS AND ICTQA75 ELECTRONIC COMPUTERS. COMPUTER SCIENCE ??
ID Code:
53711
Deposited By:
Deposited On:
20 Apr 2012 10:02
Refereed?:
Yes
Published?:
Published
Last Modified:
16 Sep 2023 02:58