A Formal Model of Business Application Integration from Web Services (Position Paper)

  • Authors:
  • Kaiyu Wan;Mubarak Muhammad;Vasu Alagar

  • Affiliations:
  • East China Normal University, Shanghai, PRC;Concordia University, Montreal, Canada;X'ian Jiaotong-Liverpool University, Suzhou, PRC

  • Venue:
  • SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web services composition tool can automate this process. The challenge lies in the creation of an automatic service composition facility which will tap into the potential of Web services, interact with the consumer in getting their business policies, and ensure that the behavior of Web services do not violate business policies while achieving the stated goals of the consumer. In this paper we discuss the architecture specific to this issue, as an add-on to a trustworthy service-oriented architecture. We provide an abstract view of the service creation facility and its environment, and propose suitable formal notations and formal analysis in the construction of this automated facility.