INES - National Institute of Science and Technology for Software Engineering

RSS feed


Calendar

February 2013
M T W T F S S
« Jan   Mar »
 123
45678910
11121314151617
18192021222324
25262728  

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

    (0)
    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.

    ,
  • INES at MODULARITY-AOSD 2013

    (0)
    Publicado em February 22nd, 2013Uncategorized

    INES researcher Sérgio Soares will attend MODULARITY - AOSD 2013 from March 24th to March 30th. Sérgio will be a judge in the ACM SIGPLAN Student Research Competition (SRC) that will be hosted at the conference, held in Fukuoka, Japan on March 24-29, 2013.