Title: Formal method-based behaviour for semantic web services discovery

Authors: Maamar Khater; Mimoun Malki

Addresses: Computer Science Department, EEDIS Laboratory, Tahar Moulay University, Algeria ' Computer Science Department, EEDIS Laboratory, Djillali Liabès University, Algeria

Abstract: The effectiveness and reliability of IS-based web services becomes a critical factor in business success. Known classical problems in the field of web services are imposed implicitly in the design and implementation of such systems, namely: description process of web service, publication process, discovery process, composition process, selection process, substitution, and adaptation process. The approach proposed in this paper allows the realisation of discovery and adaptation tasks based on the behavioural aspect of semantic web services. In this paper, we propose a new behaviour model for semantic web services using automata. The formal model used to specify the process of semantic web services is typed interface and weighted automaton (TIWA) with an operational semantics associated with different action necessary in the implementation of all the algorithms proposed in this paper.

Keywords: automata; OWL-S profile; web service behaviour; QoS; quality of service; formal method; semantic web; web services; web service discovery; adaptation; substitution; behavioural modelling; typed interface; weighted automaton; operational semantics.

DOI: 10.1504/IJWS.2014.070669

International Journal of Web Science, 2014 Vol.2 No.4, pp.203 - 217

Accepted: 12 Oct 2014
Published online: 17 Jul 2015 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article