{'fraction_non_alphanumeric': 0.022288261515601784, 'fraction_numerical': 0.0, 'mean_word_length': 5.419047619047619, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Modeling with Stochastic Message Sequence Charts

Message Sequence Chart (MSC) is a formal language widely used in industry for requirement specifications. In this paper, we propose a stochastic extension to MSC and this extend version of the MSC language is called Stochastic Message Sequence Charts (SMSC). Compared with MSC, SMSC is suitable for performance modeling and analysis. We integrated the SMSC language into the Möbius framework, which has a well-defined interface that facilitates interactions and solutions to hybrid models from different modeling formalisms, to enable the use of the Möbius built-in solvers for evaluating the models’ stochastic properties.