A formal model of business application integration fromWeb services (Position Paper)

Kaiyu Wan*, Mubarak Muhammad, Vasu Alagar

*Corresponding author for this work

Research output: Chapter in Book or Report/Conference proceedingConference Proceedingpeer-review

3 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationSOFSEM 2009
Subtitle of host publicationTheory and Practice of Computer Science - 35th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings
Pages656-667
Number of pages12
DOIs
Publication statusPublished - 2009
Event35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009 - Spindleruv Mlyn, Czech Republic
Duration: 24 Jan 200930 Jan 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5404 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009
Country/TerritoryCzech Republic
CitySpindleruv Mlyn
Period24/01/0930/01/09

Fingerprint

Dive into the research topics of 'A formal model of business application integration fromWeb services (Position Paper)'. Together they form a unique fingerprint.

Cite this