Lancaster EPrints

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
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 53711
Deposited By: ep_importer_pure
Deposited On: 20 Apr 2012 11:02
Refereed?: No
Published?: Published
Last Modified: 10 Apr 2014 01:04
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/53711

Actions (login required)

View Item