OMML: a behavioural model interchange format

The number and diversity of existing languages for describing behavioural specifications (models) of systems do not enable the integration, sharing, or reuse of models between tools. Incompatible node models cannot be used to help validate overall combined system behaviour. In this paper, we address this problem by defining an XML-based model interchange format named OpenModel Modeling Language (OMML). It represents behavioural models in a tool-independent way. OMML is a function rich procedural language that expresses functionality in terms of function/object theories. It uses shared ontologies to support standardisation of terminology among model developers. This paper describes OMML and its different document types. We also describe prototype tools we have developed to support bidirectional translation between models expressed in OMML, ISATs P-EBF, and SCR. We have performed an initial evaluation of the approach, demonstrating interoperability between ISAT and SCR.