Formal or Not, but Precise Modelling of Services with CASL4SOA and SoaML

Author

Choppy, Christine ; Reggio, Gianna ; Tran, Khanh-Dung

Author_Institution

LIPN, Univ. Paris 13, Paris, France

fYear

2012

fDate

17-19 Aug. 2012

Firstpage

187

Lastpage

194

Abstract

The emergence of service-oriented architecture (SOA) enables business functionalities to be invoked over a remote network, and thus requires specific modelling methods to develop service-oriented solutions. In this paper, we focus on precise service modelling and provide two approaches, one based on a standard widespread not formal notation (SoaML), and the other based on a formal notation (CASL4SOA). We chose SoaML introduced by OMG as a standard UML profile for modelling services, and CASL4SOA, a formal visual notation for service oriented systems based on CASL that resulted from a unification effort of the algebraic specification community. We illustrate both approaches using a case study.

Keywords

Unified Modeling Language; algebraic specification; business data processing; service-oriented architecture; CASL4SOA; OMG; SoaML; algebraic specification community; business functionalities; precise services modelling; remote network; service-oriented architecture; service-oriented solutions; standard UML profile; Collaboration; Contracts; Semantics; Service oriented architecture; Standards; Unified modeling language; Visualization; service-oriented development;

fLanguage

English

Publisher

ieee

Conference_Titel

Knowledge and Systems Engineering (KSE), 2012 Fourth International Conference on

Conference_Location

Danang

Print_ISBN

978-1-4673-2171-6

Type

conf

DOI

10.1109/KSE.2012.18

Filename

6299418