{'fraction_non_alphanumeric': 0.012285012285012284, 'fraction_numerical': 0.0, 'mean_word_length': 5.0, '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}}
A CCS based Model for Describing and Verifying the Behavior of Web Service

Guaranteeing the correct behavior of Web service composition which is composed of independent, communicating Web services is an essential problem. A CCS-based model which generalizes the behavior of Web services and their composition is proposed in this paper. The application of this model is further investigated in a case study.