Title :
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
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;
Conference_Titel :
Knowledge and Systems Engineering (KSE), 2012 Fourth International Conference on
Conference_Location :
Danang
Print_ISBN :
978-1-4673-2171-6
DOI :
10.1109/KSE.2012.18
