Y. Ni and Y. S. Fan, “Model Transformation and Formal Verification for Semantic Web Services Composition,” Advances in Engineering Software, Vol. 41, No. 6, 2010, pp. 879-885. doi:10.1016/j.advengsoft.2010.01.005

has been cited by the following article:

• TITLE: Towards an UML Profile for Web Service Composition Based on Behavioral Descriptions

  AUTHORS: Ayoub Sabraoui, Ahmed Ettalbi, Mohammed El Koutbi, Abdeslam En-Nouaary

  KEYWORDS: Web Service Composition; UML Profile; MDA; BPEL

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.5 No.9, September 14, 2012

  ABSTRACT: Web service composition is one of the challenging issues that have been investigated over the past decade. It consists of combining and reusing existing Web services to best suit new user requirements. This paper proposes an UML profile to compose Web services based on their behavioral aspects. To do so, the web service WSDL files are first transformed to UML models; then the profile is used to integrate them; finally the MDA approach is adopted to transform the applied profile into a BPEL process. As such, our method has the advantages of being independent of the Web service composition language and the UML modeling tool. Finally, a case study is developed in order to show the benefits of our method.