{'fraction_non_alphanumeric': 0.013771186440677966, 'fraction_numerical': 0.0, 'mean_word_length': 5.608391608391608, '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}}
Towards Reliable Web Service Discovery through Behavioural Verification and Validation

Currently, the issues of trust and dependability on thirdparty Web services are becoming key challenges in the success of service oriented computing in industrial environments. One major obstacle in addressing these issues is that the current standard of Web service interface description (WSDL) neglects Web service behaviour, leading to incorrect bindings and unpredictable results. In this paper we address the behavioural facet by proposing an approach where the service provider augments the WSDL document with a formal model of the Web service behaviour, expressed in the stream X-machine (SXM) formalism. This model is both utilised by the service broker during publication to derive a test set and verify Web service behavioural conformance, and by the service consumer during discovery to perform service selection based on behavioural properties.