The ProC/B Toolset for the Modelling and Analysis of Process Chains
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
A Framework for Simulation Models of Service-Oriented Architectures
SIPEW '08 Proceedings of the SPEC international workshop on Performance Evaluation: Metrics, Models and Benchmarks
A calculus for SLA delay properties
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Hi-index | 0.00 |
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].