Formal Specification of Adaptive Web Service Composition Using Maude
Yasser Oussalah, Nadia Zeghib
International Journal of Information Studies, Vol. 4, No. 3, 2012.
DOI: 
Link: https://www.dline.info/ijis/fulltext/v4n3/ijisv4n3_2.pdf
Abstract:
The composition of heterogeneous Web services is a key aspect of usability and applicability of Web services in
different application domains such as business applications, healthcare, and e-government. Unfortunately, the reuse of Web
services raises composition issues since they present, most of the time, mismatching at different levels such as structural,
behavioral and non-functional. The resulted mismatches require adaptation to insure the correct working between Web
services. This paper presents an effective adaptive Web service composition. It gives especially a formal specification of
operations which enable to compose and adapt services at runtime. This specification is given in Maude language as a
logical framework. Thanks to many Maude tools, formal analysis may be easily performed.