Formal method-based behaviour for semantic web services discovery
by Maamar Khater; Mimoun Malki
International Journal of Web Science (IJWS), Vol. 2, No. 4, 2014

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.

Online publication date: Fri, 17-Jul-2015

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Web Science (IJWS):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com