TY - GEN
T1 - A formal model of business application integration fromWeb services (Position Paper)
AU - Wan, Kaiyu
AU - Muhammad, Mubarak
AU - Alagar, Vasu
N1 - Funding Information:
This research is supported by a Research Grant from Natural Sciences and Engineering Research Council of Canada (NSERC).
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=67650706261&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-95891-8_58
DO - 10.1007/978-3-540-95891-8_58
M3 - Conference Proceeding
AN - SCOPUS:67650706261
SN - 3540958908
SN - 9783540958901
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 656
EP - 667
BT - SOFSEM 2009
T2 - 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009
Y2 - 24 January 2009 through 30 January 2009
ER -