[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

_______________________________________________________________

                    CALL FOR PAPERS

                       
   SOAP: Service Oriented Architectures and Programming Track
   
    
        http://www.cs.unibo.it/acmsac2009-soap

________________________________________________________________

   24th Annual ACM Symposium on Applied Computing (SAC 2009)
          Hilton Hawaiian Village Beach Resort & Spa
            Waikiki Beach, Honolulu, Hawaii, USA
                   March 8-12, 2009
         http://www.acm.org/conferences/sac/sac2009

________________________________________________________________


For the past twenty-three years, the ACM Symposium on Applied 
Computing has been a primary gathering forum for applied computer 
scientists, computer engineers, software engineers, 
and application developers from around the world. SAC 2009 
is sponsored by the ACM Special Interest Group on Applied 
Computing (SIGAPP), and is hosted by University of Hawaii at 
Manoa and Chaminade University of Honolulu.

________________________________________________________________

                       SOAP Track

Service Oriented Systems were born with the aim of building 
large adaptive applications as compositions of loosely-coupled 
services. Nowadays, in the context of Services we have to cope 
with a challenge like in the early days of Object-Oriented 
Programming (OOP) when, until key features like encapsulation, 
inheritance, and polymorphism, and proper design methodologies 
were defined, consistency in the programming model definition 
was not achieved. The complex scenario of Service Oriented 
Programming needs to be clarified on many aspects, both from 
the engineering and from the foundational point of view.

>From the engineering point of view, there are open issues at 
many levels. Among the others, at the system design level, 
both traditional approaches based on UML and approaches 
taking inspiration from business process modelling, e.g. 
BPMN, are used. At the composition level, although WS-BPEL 
is a de-facto industrial standard, other approaches are 
appearing, and both the orchestration and choreography views 
have their supporters. At the description and discovery 
level there are two separate communities pushing respectively 
the semantic approach (e.g. OWL) and the syntactic one (e.g. WSDL). 
Especially, the role of discovery engines and protocols 
is not clear. In this respect we still lack adopted standards: 
a good candidate looked to be UDDI, but it is no longer 
pushed by the main corporations, and its wide adoption seems 
difficult. Furthermore, a new different implementation platform,
the so-called REST services, is emerging and competing 
with classic Web Services. Finally, features like Quality of 
Service, security and dependability need to be taken seriously 
into account, and this investigation should lead to standard
proposals.

>From the foundational point of view, formalists have discussed 
widely in the last years, and many attempts at using formal 
methods for specification and verification in this setting 
have been made. Session correlation, service types, contract 
theories and communication patterns are only few examples of 
the aspects that have been investigated. Moreover, several 
formal models based upon automata, Petri nets and algebraic 
approaches have been developed. However most of these approaches 
concentrated only on a few features of Service Oriented Systems 
in isolation, and a comprehensive approach is still far from 
being achieved.

Service Oriented Architectures and Programming track aims 
at bringing together researchers and practitioners having 
the common objective of transforming Service Oriented 
Programming into a mature discipline with both solid scientific 
foundations and software engineering development methodologies 
supported by dedicated tools. In particular, we will 
encourage works and discussions about what Service Oriented 
Architectures and Programming still needs in order to achieve 
its original goal, along with works proposing comparisons 
among different models and technological solutions.

Major topics of interest will include:

    * Approaches to Web Services specification
    * Formal methods and models for Service Oriented Computing
    * Methodologies for Service Oriented application design
    * Tools for service oriented application design
    * Service Oriented middlewares
    * Service Oriented languages
    * Test methodologies for Service Oriented applications
    * Analysis techniques and tools
    * Service systems performance analysis
    * Industrial deployment of tools and methodologies
    * Standards for Service Oriented Architectures and Programming
    * Service applications case studies
    * Dependable Services
    * Quality of Service
    * Security Issues in Service Oriented Computing
    * Comparisons between different approaches to Services
    * Statement papers about future possible directions for research


________________________________________________________________

                       Important Dates

    * August 16, 2008: Paper submissions (strict)
    * October 11, 2008: Author notification
    * October 25, 2008: Camera-Ready Copy
    * March 8-12, 2009: Conference 

________________________________________________________________

                         Submissions

    * Papers must follow the template reported at this 
      http://www.acm.org/conferences/sac/sac2009/downloads09.htm 

    * The author(s) name(s) and address(s) must NOT appear in the
      body of the submitted paper, and self-references should be 
      in the third person. This is to facilitate blind review 
      required by ACM. All submitted papers must include the paper 
      identification number on the front page, above the title of 
      the paper provided to you by the eCMS when you register 
      your paper.

    * Submit your paper in electronic format by using the 
      eCMS site: http://sac.cs.iupui.edu/SAC2009/

________________________________________________________________

                         PC Members

    * Marco Aiello, University of Groningen, The Netherlands
    * Roberto Bruni, Università di Pisa, Italy
    * Reicko Heckel, University of Leicester, UK
    * Kohei Honda, Queen Mary & Westfield College of London, UK
    * Nickolas Kavantzas, Oracle, USA
    * Nora Koch, LMU and Cirquent GmbH, Germany
    * Roberto Lucchi, European Commission - Joint Research Centre (Italy)
    * Li MA, IBM China Research Lab, China
    * Jing Mei, IBM China Research Lab, China
    * Hernan Melgratti, Universidad de Buenos Aires, Argentina
    * Greg Meredith, Biosimilarity LLC, USA
    * Fabrizio Montesi, italianaSoftware s.r.l., Italy
    * Martin Wirsing, LMU, Germany
    * Gianluigi Zavattaro, Università di Bologna, Italy

________________________________________________________________

                       Track Chairs

    * Claudio Guidi
      cguidi @ cs.unibo.it
      Polo Scientifico e didattico di Cesena, University of Bologna, Italy

    * Ivan Lanese
      lanese @ cs.unibo.it
      Dipartimento di Scienze dell'Informazione, University of Bologna, Italy

    * Manuel Mazzara
      manuel.mazzara @ newcastle.ac.uk
      School of Computing Science, Newcastle university, UK 

________________________________________________________________

Reply via email to