Title :
Methodological Support for Service-Oriented Design with rCOS
Author :
Wenhui, Sun ; Jinzhao, Wu ; YuQing, Xiong
Author_Institution :
Comput. Coll., Beijing Jiaotong Univ., Beijing, China
Abstract :
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.
Keywords :
Unified Modeling Language; formal languages; formal specification; software architecture; Java-like formal language rCOS; UML; Unified Modeling Language; formal specification-rCOS; methodological support; service-oriented design method; software development paradigm; Application software; Buildings; Business communication; Business continuity; Design methodology; Marketing and sales; Process design; Software design; Software systems; Unified modeling language; UML; rCOS; refinement calculus; service-oriented design;
Conference_Titel :
Information Engineering and Electronic Commerce, 2009. IEEC '09. International Symposium on
Conference_Location :
Ternopil
Print_ISBN :
978-0-7695-3686-6
DOI :
10.1109/IEEC.2009.86
