AFRL-RZ-WP-TR-2011-2108 META II : LINGUA FRANCA DESIGN AND INTEGRATION LANGUAGE

We present a novel integration language for heterogeneous model composition. The language is anchored to a mathematically rigorous denotational semantics to provide a precise meaning to the composition of heterogeneous models. Nonetheless, it is not based on a common model of computation where others models of computation can be mapped, as previous works have proposed. On the contrary, the language is fully open. Both denotational and operational models of computation can be defined and provided as libraries that can be used to integrate and design heterogeneous models with precise semantics. Component’s bodies can be specified in external languages and model transformation flows of different components to executable specifications can be safely integrated in multiple back-end analysis tools. This article is a preprint to be submitted to journals and conferences in future after further revisions.