Web service publishing and composition based on monadic methods and program slicing

  • Authors:

  • Yingzhou Zhang;Wei Fu;H. K. N. Leung

  • Affiliations:

  • College of Computer, Nanjing Univ. of Posts and Telecomm., Nanjing 210003, China and State Key Lab. of Networking and Switching Technology, Beijing Univ. of Posts and Telecomm., Beijing 100876, Ch ...;College of Computer, Nanjing Univ. of Posts and Telecomm., Nanjing 210003, China and State Key Lab. of Networking and Switching Technology, Beijing Univ. of Posts and Telecomm., Beijing 100876, Ch ...;Department of Computing, Hong Kong Polytechnic University, Hong Kong, China

  • Venue:
  • Knowledge-Based Systems
  • Year:
  • 2013

Quantified Score

Hi-index 0.00

Visualization

Abstract

As the rapid development of web services, how to publish, discover and compose them in open and dynamic network environment has become one of the most important challenges for web-based technology. We abstract web service components as coalgebraic monads, which has an advantage of supporting the studying of state systems such as concurrent or uncertain systems. With the help of monad techniques, we present a novel formal model for web services in a black-box observation way. Through monads' properties such as abstraction, reflection and composability, this model can help us formally describe and support further study on service components during web service publishing. After publishing, we in this paper also propose a composition method based on program slicing technology. Our monad-based methods proposed in this paper relatively improve service reuse and enable the integration and composition of web services because of the integration of combinable and reusable monads techniques.