Mathematical models towards self-organizing formal federation languages based on conceptual models of information exchange capabilities

Conceptual models capture information that is crucial for composability of legacy solutions that is not formally captured in the derived technical artifacts. It is necessary to make this information available for the selection (or elimination) of available solutions, their orchestration, and their execution. Current standards barely address this class of problems. The approach presented in this paper is the first step towards self-organizing federation languages. The system interfaces are described in form of exchangeable data. The context of information exchange (syntax, semantics, and pragmatics) is captured as metadata. These metadata are used to identify the elements of a formal federation language that links model composability and simulation interoperability based on conceptual model elements. The paper describes the formal process of selection, orchestration, and execution and the underlying mathematics for the information exchange specifications that bridge conceptual and engineering levels of the federation process.