SAC 2009 SOAP

SOAP: Service Oriented Architectures and Programming Track
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 23, 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

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

Track Chairs

 * has program chair::Claudio Guidi, Polo Scientifico e didattico di Cesena, University of Bologna, Italy
 * has program chair::Ivan Lanese, Dipartimento di Scienze dell'Informazione, University of Bologna, Italy
 * has program chair::Manuel Mazzara, School of Computing Science, Newcastle university, UK