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 -