DocumentCode
2691230
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
fYear
2009
fDate
16-17 May 2009
Firstpage
383
Lastpage
387
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Engineering and Electronic Commerce, 2009. IEEC '09. International Symposium on
Conference_Location
Ternopil
Print_ISBN
978-0-7695-3686-6
Type
conf
DOI
10.1109/IEEC.2009.86
Filename
5175143
Link To Document