Framework for Interoperability of Executable Architectures

KBSI proposes to design, develop, and deploy a language, a suite of tools and a methodology to facilitate the syntactic and semantic interoperability of DoDAF models and artifacts among diverse vendor-specific tools and applications. Though syntactic interoperability may today be achieved through CADM, there is no guarantee that the CADM models are verifiable, validated, or at an executable capability. Currently, semantic interoperability requires manual effort – this is not only cost ineffective and tedious but is also prone to errors. We propose to mitigate these issues by developing the Executable Architecture Markup Language (EAML), a neutral language for executable architectures that can support model execution and experimentation. We will also develop a proof-of-concept Intelligent Toolkit for Interoperable Architectures (ITIA) that uses EAML natively to support model execution for verification, validation, and quantitative analysis using a combination of Colored Petri Nets, Object Constraint Language, rule-based and automated reasoning techniques. Model translation will itself be powered by an innovative ontology-driven translator code generator approach to ensure semantic interoperability. Finally, we will elaborately document the methodological changes required by model developers, strategic military analysts and systems analysts to develop, modify, validate, and publish DoDAF-based architectures that are verifiable and validated and hence reusable.