A Novel Semantic Framework for Analyzing Dynamic Web Services

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.