InopSys - Interoperability of Calculi for System Modelling

The use of different complementary views plays an important role in describing complex systems. There are a lot of models which are adequate for data, transitions, interaction, composition, and recursive definitions at any level to describe static and dynamic aspects. The goal of the project is the integration of different formal models into an interoperable toolkit.