Methodological Support for Service-Oriented Design with rCOS

Service-Oriented Design is a software development paradigm that utilizes services as fundamental elements for developing applications/solution. In this paper we propose a UML based service-oriented design method which adopts the formal specification-rCOS. A Java-like formal language rCOS is used to describe the models. It can describe the syntax and semantics of services. And a case study is systematically developed to show its feasibility.

[1]  Roy Grønmo,et al.  Web service composition in UML , 2004, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004..

[2]  Quan Long,et al.  POST: A Case Study for an Incremental Development in rCOS , 2005, ICTAC.

[3]  Tony Andrews.  Business Process Execution Language for Web Services Version 1.1 , 2003 .

[4]  Remco M. Dijkman,et al.  Methodological support for service-oriented design with ISDL , 2004, ICSOC '04.

[5]  Mike P. Papazoglou,et al.  Design Methodology for Web Services and Business Processes , 2002, TES.

[6]  Jifeng He,et al.  rCOS: A refinement calculus of object systems , 2006, Theor. Comput. Sci..