TY - GEN
T1 - A rigorous model of Contract-Based service component architecture
AU - Dehui, Du
AU - Jing, Liu
AU - Honghua, Cao
PY - 2008
Y1 - 2008
N2 - Service Component Architecture (SCA) is a new promising programming model for constructing service-oriented application, which facilitates the development of business integration in SOA. However, there still lacks the unified theory foundations for the service component assembly based on SCA in a rigorous way. Firstly, a metamodel of the contract-based SCA is proposed by applying the idea of design by contract to the assembly process of service components. Secondly, a signature model for the contract-based SCA is given according to the metamodel, which supports the construction of service-oriented application in a rigorous way. Moreover, reasoning about or verifying the correctness of service components assembly can be implemented based on the semantics of the port protocol. Finally, the online shop case study is discussed to illustrate how to construct a service-oriented application in a rigorous way.
AB - Service Component Architecture (SCA) is a new promising programming model for constructing service-oriented application, which facilitates the development of business integration in SOA. However, there still lacks the unified theory foundations for the service component assembly based on SCA in a rigorous way. Firstly, a metamodel of the contract-based SCA is proposed by applying the idea of design by contract to the assembly process of service components. Secondly, a signature model for the contract-based SCA is given according to the metamodel, which supports the construction of service-oriented application in a rigorous way. Moreover, reasoning about or verifying the correctness of service components assembly can be implemented based on the semantics of the port protocol. Finally, the online shop case study is discussed to illustrate how to construct a service-oriented application in a rigorous way.
KW - Consistency verification
KW - Contract
KW - SCA
KW - Service component
UR - https://www.scopus.com/pages/publications/79951490268
U2 - 10.1109/CSSE.2008.1007
DO - 10.1109/CSSE.2008.1007
M3 - 会议稿件
AN - SCOPUS:79951490268
SN - 9780769533360
T3 - Proceedings - International Conference on Computer Science and Software Engineering, CSSE 2008
SP - 409
EP - 412
BT - Proceedings - International Conference on Computer Science and Software Engineering, CSSE 2008
T2 - International Conference on Computer Science and Software Engineering, CSSE 2008
Y2 - 12 December 2008 through 14 December 2008
ER -