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

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 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.

• Type: Conference
• Year: 2009
• Where: SOFSEM
• Authors: Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar
• Keywords: Service Composition Facility, Service Creation Facility, SOFSEM 2009, Theoretical Computer Science, Web Services Composition