Sciweavers

Share
SOFSEM
2009
Springer

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

9 years 6 months ago
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.
Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar
Added 17 Mar 2010
Updated 17 Mar 2010
Type Conference
Year 2009
Where SOFSEM
Authors Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar
Comments (0)
books