Abstract: This paper outlines an integrated framework in support of a generic problem of system of systems (SoS) integration and illustrates an application of the framework formalisms to evaluate a large architecture comprising the Air Combat Capability (ACC) integrated into its command control communication computer intelligence surveillance and reconnaissance (C4ISR) SoS environment. The framework utilises the notion of synthesis of executable architectures from their static Department of Defense Architecture Framework (DoDAF) specifications and focuses on the information interoperability aspect of integration. The DoDAF architecture, obtained in the earlier studies, was found not being readily amendable to development of executable models and hence certain refinements are performed. An operational activity process capturing the missions carried out by an ACC together with its corresponding properties is extracted from the architecture and modelled as coloured Petri net (CPN). State space analysis is utilised to investigate the CPN model. All possible execution sequences are generated and investigated to verify the properties of interest. The approach of developing executable architectures of the existing, large, non-execution compliant architectures assists analysts and designers to evaluate rigorously and efficiently and to compare architecture designs.