The Community for Technology Leaders
2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (2011)
Paris, France
June 27, 2011 to June 29, 2011
ISSN: 1524-4547
ISBN: 978-0-7695-4410-6
pp: 67-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.
INDEX TERMS
Dynamic web services, formal methods, real time rewriting logic
CITATION
Faiza Belala, Fateh Latreche, "A Novel Semantic Framework for Analyzing Dynamic Web Services", 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, vol. 00, no. , pp. 67-72, 2011, doi:10.1109/WETICE.2011.52
200 ms
(Ver 3.3 (11022016))