A Formal Perspective for Service Coordination Framework in Service Oriented Architecture

Author

Li, Qin ; Zhu, Huibiao ; He, Jifeng

Author_Institution

Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai

fYear

2009

fDate

14-17 April 2009

Firstpage

287

Lastpage

296

Abstract

The service oriented architecture is a widely used concept to construct the Web applications. Among several implementations, the bus model is proposed to coordinate heterogeneous services. However, it is difficult to analyze the properties of the composition pattern using buses in practice. Therefore, it is extremely necessary to provide a theoretical foundation for it. In this paper, we focus on the specification of services in the bus system and the properties of their parallel executions. The service model is formalized on three levels and a composition approach is proposed to describe the composition pattern with the bus infrastructure. The idea of separating the communication from the computation gives the model more flexibility.

Keywords

Web services; Web application; bus infrastructure; bus model; bus system; composition pattern; heterogeneous service; service coordination framework; service model; service oriented architecture; Application software; Australia; Communication system security; Computational modeling; Concrete; Helium; Laboratories; Pattern analysis; Service oriented architecture; Software engineering;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 2009. ASWEC '09. Australian

Conference_Location

Gold Coast, QLD

ISSN

1530-0803

Print_ISBN

978-0-7695-3599-9

Type

conf

DOI

10.1109/ASWEC.2009.11

Filename

5076651