A Rigorous Model of Contract-Based Service Component Architecture

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.

[1]  Gerard J. Holzmann,et al.  The Model Checker SPIN , 1997, IEEE Trans. Software Eng..

[2]  Frantisek Plasil,et al.  Behavior Protocols for Software Components , 2002, IEEE Trans. Software Eng..

[3]  Vladimir Mencl.  Specifying Component Behavior with Port State Machines , 2004, Electron. Notes Theor. Comput. Sci..

[4]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[5]  Jifeng He,et al.  rCOS: Refinement of Component and Object Systems , 2004, FMCO.

[6]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[7]  Osamu Shigo,et al.  Constructing Behavioral State Machine using Interface Protocol Specification , 2006, 2006 13th Asia Pacific Software Engineering Conference (APSEC'06).

[8]  Takeo Kanade,et al.  Unifying Theories of Programming , 2010, Lecture Notes in Computer Science.

[9]  Zhenbang Chen,et al.  A Contract-based Approach to Specifying and Verifying Safety Critical Systems , 2007, FESCA@ETAPS.

[10]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[11]  Zhenbang Chen,et al.  A Rigorous Model of Service Component Architecture , 2008, Electron. Notes Theor. Comput. Sci..

[12]  Yaron Goland,et al.  Web Services Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[13]  Jifeng He,et al.  A Theory of Reactive Components , 2006, FACS.