Call for papers: Service Oriented and Programming Track @ SAC 2010

ACM SAC 2010
------------------------------

For the past twenty-four 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 2010 is sponsored by the ACM Special Interest Group on Applied
Computing (SIGAPP), and is hosted by University of Applied Sciences,
Western Switzerland (HES-SO) and Ecole Polytechnique fédérale de Lausanne
(EPFL), Switzerland.


SOAP Track: call for papers
--------------------------------------------------------------------------------

http://www.cs.unibo.it/projects/acmsac2010-soap/ 
<http://www.cs.unibo.it/projects/acmsac2010-soap/>

Although when considered from a purely technological point of view
Service-Oriented Computing (SOC) is not an enormous novelty, , when
considered from a programming paradigm perspective it is quickly changing
our vision of the Web. Originally, the Web was indeed mainly seen as a
mean of presenting the information to a wide spectrum of people, but SOC
is triggering a radical shift to a vision of the Web as a computational
fabric where loosely coupled services interact publishing their interfaces
inside dedicated repositories, where they can be searched by other
services, retrieved and invoked, always abstracting from the actual
implementation. In the context of this modern paradigm we have to cope
with an old challenge, like in the early days of Object-Oriented
Programming 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 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 (ontologies, OWL, ...) and the
syntactic one (WSDL, ...). In particular, the role of discovery engines
and protocols is not clear. In this respect we still lack adopted
standards: UDDI looked to be a good candidate, 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 to use formal methods for specification
and verification in this setting have been made. Session correlation,
service types, contract theories and communication patterns are only a 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.

The Service Oriented Architectures and Programming track aims at bringing
together, for the second year, 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 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:

Formal Methods for specification of Web Services
Notations and models for Service Oriented Computing
Methodologies for Service Oriented application design
Tools for service oriented application design
Service Oriented Middlewares
Service Oriented Programming 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 Programming
Service application case studies
Dependability and Web Services
Quality of Service
Security Issues in Service Oriented Computing
Comparisons between different approaches to Services
Statement papers about future possible directions for research
Exception Handling in composition languages
Trust and Web Services

Important Dates (strict)
--------------------------------------------------------------------------------

September 8, 2009: Paper submissions
October 19, 2009: Author notification
November 2, 2009: Camera-Ready Copy
March 22-26, 2010: Conference

Submissions
--------------------------------------------------------------------------------

Authors are invited to submit original unpublished papers using the eCMS
site :

http://sac.cs.iupui.edu/SAC2010/ <http://sac.cs.iupui.edu/SAC2010/>

Submission of the same paper to multiple tracks is not allowed. Authors
are allowed up to 8 pages but with more than 5 pages in the final camera
ready, there will be a charge of 80USD per extra page. Peer groups with
expertise in the track focus area will blindly review submissions.
Accepted papers will be published in the annual conference proceedings.
Submission guidelines can be found on SAC 2010 Website:

http://www.acm.org/conferences/sac/sac2010/ 
<http://www.acm.org/conferences/sac/sac2010/>

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.


PC Members
--------------------------------------------------------------------------------

Cristian Aflori, Ditech.RO & "Gh.Asachi" Technical University (Romania)
Roberto Bruni, Università di Pisa (Italy)
Michael Butler, University of Southampton (UK)
Ralph Deters, University of Saskatchewan (Canada)
Schahram Dustdar, Technical University of Vienna, (Austria)
Nickolas Kavantzas, ORACLE (USA)
Reicko Heckel, University of Leicester (UK)
Michael Leuschel, University of Dusseldorf (Germany)
Roberto Lucchi, JRC (Italy)
Francisco Martins, University of Lisbon (Portugal)
Hernàn Melgratti, University of Buenos Aires (Argentina)
Nicola Mezzetti, Di.Tech (Italy)
Fabrizio Montesi, italianaSoftware s.r.l. (Italy)
Luca Padovani, Università di Urbino (Italy)
Andreas Roth, SAP (Germany)
Maurice ter Beek, ISTI-CNR, Pisa (Italy)
Stefan Tilkov, innoQ (Germany)
Martin Wirsing, University of Muenchen (Germany)

Track Chairs
--------------------------------------------------------------------------------

Claudio Guidi
cguidi @ cs.unibo.it <http://cs.unibo.it>
Polo Scientifico e didattico di Cesena, University of Bologna

Ivan Lanese
lanese @ cs.unibo.it <http://cs.unibo.it>
Dipartimento di Scienze dell'Informazione, University of Bologna

Manuel Mazzara
manuel.mazzara @ newcastle.ac.uk <http://newcastle.ac.uk>
School of Computing Science, Newcastle university, UK

-- 
_____________________________________________________________

  	dr. Claudio Guidi

  	Università di Bologna
  	Corso di Laurea in Scienze dell'informazione
  	via Sacchi, 3
  	47023 Cesena (FC), Italy

  	Phone:  +39-0547-338846
  	Fax:    +39-0547-338890

  	e-mail:   cguidi@cs.unibo.it
        homepage: http://www.cs.unibo.it/~cguidi

_____________________________________________________________

Received on Friday, 21 August 2009 09:27:24 UTC