A formal perspective for service coordination framework in service oriented architecture

Qin Li; Huibiao Zhu; Jifeng He

doi:10.1109/ASWEC.2009.11

A formal perspective for service coordination framework in service oriented architecture

Qin Li^*, Huibiao Zhu, Jifeng He

^*Corresponding author for this work

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

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.

Original language	English
Title of host publication	Proceedings - 2009 Australian Software Engineering Conference, ASWEC 2009
Pages	287-296
Number of pages	10
DOIs	https://doi.org/10.1109/ASWEC.2009.11
State	Published - 2009
Event	2009 Australian Software Engineering Conference, ASWEC 2009 - Gold Coast, Australia Duration: 14 Apr 2009 → 17 Apr 2009

Publication series

Name	Proceedings of the Australian Software Engineering Conference, ASWEC

Conference

Conference	2009 Australian Software Engineering Conference, ASWEC 2009
Country/Territory	Australia
City	Gold Coast
Period	14/04/09 → 17/04/09

Access to Document

10.1109/ASWEC.2009.11

Cite this

@inproceedings{5a0979e82aed4409bb92f2dd7686b1c2,

title = "A formal perspective for service coordination framework in service oriented architecture",

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

author = "Qin Li and Huibiao Zhu and Jifeng He",

year = "2009",

doi = "10.1109/ASWEC.2009.11",

language = "英语",

isbn = "9780769535999",

series = "Proceedings of the Australian Software Engineering Conference, ASWEC",

pages = "287--296",

booktitle = "Proceedings - 2009 Australian Software Engineering Conference, ASWEC 2009",

note = "2009 Australian Software Engineering Conference, ASWEC 2009 ; Conference date: 14-04-2009 Through 17-04-2009",

}

Li, Q , Zhu, H & He, J 2009, A formal perspective for service coordination framework in service oriented architecture. in Proceedings - 2009 Australian Software Engineering Conference, ASWEC 2009., 5076651, Proceedings of the Australian Software Engineering Conference, ASWEC, pp. 287-296, 2009 Australian Software Engineering Conference, ASWEC 2009, Gold Coast, Australia, 14/04/09. https://doi.org/10.1109/ASWEC.2009.11

A formal perspective for service coordination framework in service oriented architecture. / Li, Qin ; Zhu, Huibiao ; He, Jifeng.
Proceedings - 2009 Australian Software Engineering Conference, ASWEC 2009. 2009. p. 287-296 5076651 (Proceedings of the Australian Software Engineering Conference, ASWEC).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A formal perspective for service coordination framework in service oriented architecture

AU - Li, Qin

AU - Zhu, Huibiao

AU - He, Jifeng

PY - 2009

Y1 - 2009

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

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

UR - https://www.scopus.com/pages/publications/70349690576

U2 - 10.1109/ASWEC.2009.11

DO - 10.1109/ASWEC.2009.11

M3 - 会议稿件

AN - SCOPUS:70349690576

SN - 9780769535999

T3 - Proceedings of the Australian Software Engineering Conference, ASWEC

SP - 287

EP - 296

BT - Proceedings - 2009 Australian Software Engineering Conference, ASWEC 2009

T2 - 2009 Australian Software Engineering Conference, ASWEC 2009

Y2 - 14 April 2009 through 17 April 2009

ER -

A formal perspective for service coordination framework in service oriented architecture

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this