Methodological Support for Service-Oriented Design with rCOS
Sun Wen-hui, Wu Jinzhao, Xiong YuQing · 2009
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.