{'fraction_non_alphanumeric': 0.016815034619188922, 'fraction_numerical': 0.0019782393669634025, 'mean_word_length': 5.487179487179487, '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 Checking Service Composition Approach based on Model Transformation

The service oriented architecture SOA approach constitutes an ideal solution for distributed application development. However, its success is conditioned by a solution to the problem of dynamic service composition. The formal-based tools are ones of the promising solutions to this problem, because of their mathematical-basis who can provide possibility of doing computation on services behavior in order to confirm the existence or not of some particular behaviours. In this paper, the authors present an approach based on model transformation MT for checking behavioural compatibility between services. Elementary services behaviours, modelled as OWFNet, an extenstion of Petri Nets, are automatically translated to a LOTOS specification. The translation is done by a two-fold transformation, model to model M2M and model to text M2T. The resulting Lotos text specification is submitted to a LOTOS toolkit to check service composability.