A Novel Semantic Framework for Analyzing Dynamic Web Services

Author

Latreche, Fateh ; Belala, Faiza

Author_Institution

Comput. Sci. Dept., Mentouri Univ., Constantine, Algeria

fYear

2011

fDate

27-29 June 2011

Firstpage

67

Lastpage

72

Abstract

Web Services are a kind of distributed systems built by using a set of loosely coupled components, these elementary components may be situated in dynamic environments characterized by intense use of wireless medium. In such environments requested services may failed at any time during the composition process. However, current research works on Web services focus merely on static composition and disregard dynamic one. To cope with this problem we exploit in this work real time rewriting logic to design and formal check dynamic Web services. Thanks to this formalization we do not only obtain a high level specification of dynamic Web services behavior, but we are able to formally reason on it thanks to Maude real time.

Keywords

Web services; formal specification; rewriting systems; Maude real time; dynamic Web services analysis; high level specification; rewriting logic; semantic framework; Analytical models; Mathematical model; Reactive power; Real time systems; Unified modeling language; Web services; Wireless sensor networks; Dynamic web services; formal methods; real time rewriting logic;

fLanguage

English

Publisher

ieee

Conference_Titel

Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2011 20th IEEE International Workshops on

Conference_Location

Paris

ISSN

1524-4547

Print_ISBN

978-1-4577-0134-4

Electronic_ISBN

1524-4547

Type

conf

DOI

10.1109/WETICE.2011.52

Filename

5990003