ProC/B for Networks: Integrated INET Models

The ProC/B toolset [1] is used to model an analyze process chain models in application fields ranging from logistics systems to service oriented architectures. The language comes with an GUI supporting users with different levels of experience. Simulative analysis can be performed with OMNeT + + [2]. A different but also OMNeT + +-based class of models are communication networks created with the popular INET framework. Network and process chain models have been two separate worlds. Recently we presented a hybrid approach for modeling SOA systems using ProC/B combined with INET models [3].