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-2Full text not available from this repository.
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|
|Deposited On:||20 Apr 2012 11:02|
|Last Modified:||03 Jan 2013 09:51|
Actions (login required)