2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (2011)
June 27, 2011 to June 29, 2011
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.
Dynamic web services, formal methods, real time rewriting logic
F. Belala and F. Latreche, "A Novel Semantic Framework for Analyzing Dynamic Web Services," 2011 IEEE 20th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises(WETICE), Paris, France, 2011, pp. 67-72.