INES – National Institute of Science and Technology for Software Engineering

RSS feed


December 2021
« Nov    

  • INES at 28th Symposium On Applied Computing (SAC’2013) – Programming Languages Track

    Publicado em February 22nd, 2013News, Publications

    The paper “Formal Semantics and Expressiveness of a Web Service Composition Language” by Marcelo Guerra Hahn, Microsoft Corp., USA; Regina Motz, INCO – UdelaR, Uruguay; Martin A. Musicante, DIMAp – UFRN, Brasil; Alberto Pardo, INCO – UdelaR, Uruguay has been accepted for publication in the Programming Languages (PL) Technical Track at the 28th Symposium On Applied Computing (SAC’2013).

    The conference will be held in March 18 – 22, 2013 at Institute of Engineering of the Polytechnic Institute of Coimbra (ISEC-IPC), Coimbra, Portugal.

    This activity is part of the project “Confiabilidade e Segurança em Software Crítico”.

    A brief overview of the paper is given next

    Web Services have become the standard for exposing services on the Internet. Since many operations require the collaboration between two or more services, the need to have languages to express Web Services compositions has emerged. In this paper, we focus on PEWS, a Web Service composition language. We present an operational semantics of PEWS and propose some minor extensions to it in order to support most common workflow patterns. The extended version of PEWS is able to fully support 36 out of the 43 control-flow patterns as defined in the literature, compared to 17 fully supported by the industry standard BPEL.


Leave a Reply

You must be logged in to post a comment.