[TYPES/announce] CFP: Service-Oriented Architectures and Programming track of the 29th ACM Symposium On Applied Computing

Sun Jun 9 10:03:31 EDT 2013

Service-Oriented Architectures and Programming track
  of the 29th Symposium On Applied Computing

http://www.itu.dk/acmsac2014-soap/

        IMPORTANT DATES (strict)

September 13, 2013: Submission of regular papers and SRC abstracts
November 15, 2013: Notification of paper and SRC acceptance/rejection
December 6, 2013: Camera-ready copies of accepted papers
December 13, 2013: Author registration due date

        ACM SAC 2014

For the past twenty-eight 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 2014 is sponsored by the ACM
Special Interest Group on Applied Computing (SIGAPP), and is held at
Gyeongju (Korea).

        SOAP TRACK: CALL FOR PAPERS

Service-Oriented Programming (SOP) is quickly changing our vision of
the Web, bringing a paradigmatic shift in the methodologies followed
by programmers when designing and implementing distributed
systems. Originally, the Web was mainly seen as a means of presenting
information to a wide spectrum of people, but SOP is triggering a
radical transformation of the Web towards a computational fabric where
loosely coupled services interact publishing their interfaces inside
dedicated repositories, where they can be discovered by other services
and then invoked, abstracting from their actual
implementation. Research on SOP is giving strong impetus to the
development of new technologies and tools for creating and deploying
distributed software.  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 SOP needs to be
clarified on many aspects, both from the engineering and from the
foundational points 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 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 concentrate 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 researchers and practitioners having the common
objective of transforming SOP into a mature discipline with both solid
scientific foundations and mature software engineering development
methodologies supported by dedicated tools. In particular, we will
encourage works and discussions about what SOP still needs in order to
achieve its original goal.

Major topics of interest will include:

- Formal methods for specification of Web Services
- Notations and models for Service-Oriented Computing
- Methodologies and 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
- Exception handling in composition languages
- Trust and Web Services
- Sustainability and Web Services, Green Computing
- Adaptable Web Services
- Software Product Lines for Services
- Artificial Intelligence Techniques for Service-Oriented Computing

        SUBMISSIONS

Authors are invited to submit original unpublished papers. Submission
of the same paper to multiple tracks is not allowed. Peer groups with
expertise in the track focus area will double-blindly review
submissions. Accepted papers will be published in the annual
conference proceedings. SOAP track chairs will not submit to the
track. Submissions from SOAP PC members and from PC members and track
chairs of other SAC tracks are welcome. Submission guidelines
can be found on SAC 2014 Website:

    http://www.acm.org/conferences/sac/sac2014/

The submission web-link(START system) for regular papers is

https://www.softconf.com/d/sac2014

Prospective papers should be submitted to the track using the provided
automated submission system. Please pay attention to ensure anonymity
of your submitted manuscript as detailed in the submission page so to
allow for double-blind review. Papers not satisfying this constraint
will be automatically rejected. The maximum length for papers is 8
pages. Accepted papers whose camera-ready version will exceed 6 pages
will have to pay an extra charge.

Paper registration is required, allowing the inclusion of the paper/poster
in the conference proceedings. An author or a proxy attending SAC MUST
present
the paper. This is a requirement for the paper/poster to be included
in the ACM/IEEE digital library. No-show of scheduled papers and posters
will result in excluding them from the ACM/IEEE digital library.

        SPECIAL ISSUE

Authors of best papers will be invited to submit an extended and
revised version of their work to a special issue of Journal of Internet
Services
and Information Security (JISIS, http://www.jisis.org).

The tentative schedule for the special issue is:
December 31, 2013: Paper invitation
February 28, 2014: Submission deadline for invited papers
April 30, 2014: Final acceptance notification
May 2014: Publication of special issue

        STUDENT RESEARCH COMPETITION PROGRAM

Graduate students are invited to submit research abstracts (minimum of
2-page and maximum of 4-page) following the instructions published at
SAC 2014 website. Submission of the same abstract to multiple tracks
is not allowed. All research abstract submissions will be reviewed by
researchers and practitioners with expertise in the track focus area
to which they are submitted. Authors of selected abstracts will have
the opportunity to give poster presentations of their work and compete
for three top-winning places. The Student Research Competition
committee will evaluate and select First-, Second-, and Third- place
winners. The winners will receive cash awards and SIGAPP recognition
certificates during the conference banquet. Authors of selected
abstracts are eligible to apply to the SIGAPP Student Travel Award
program for support.

The web-link for the SRC (Student Research Competition) is

https://www.softconf.com/d/sac-src2014.

        PC MEMBERS

Jesper Bengtson, IT University of Copenhagen (Denmark)
Laura Bocchi, Imperial College (UK)
Roberto Bruni, University of Pisa (Italy)
Aniello Castiglione, Universita' degli Studi di Salerno (Italy)
Javier Cubo, Universidad de Málaga (Spain)
Shuiguang Deng (Zhejiang University, China)
Nicola Dragoni, Technical University of Denmark (Denmark)
Sara Fernandes, UNU-IIST (Macao) and University of Minho (Portugal)
Ettore Ferranti, ABB Switzerland Ltd Corporate Research (Switzerland)
Xiang Fu (Hofstra University, USA)
Linpeng Huang, Shanghai Jiao Tong University (China)
Chang-Gun Lee, Seoul National University (Korea)
Ivan Lanese, University of Bologna (Italy)
Zhiming Liu, UNU-IIST (Macao)
Hernán Melgratti, Universidad de Buenos Aires (Argentina)
Nicola Mezzetti, Engineering Group (Italy)
Manuel Núñez, Universidad Complutense de Madrid (Spain)
Kévin Ottens, Klarälvdalens Datakonsult AB (Sweden)
Zhuzhong Qian, Nanjing University (China)
Chun Ouyang, Queensland University of Technology (Australia)
Jianwen Su (Univ. of California at Santa Barbara, USA)
Francesco Tiezzi, IMT Institute for Advanced Studies Lucca (Italy)
Baokang Zhao, National University of Defense Technology (China)

        TRACK CHAIRS

Mario Bravetti
bravetti at cs.unibo.it
University of Bologna, Italy / FOCUS INRIA, France

Alberto Lluch Lafuente
alberto.lluch at imtulucca.it
IMT Institute for Advanced Studies Lucca, Italy

Manuel Mazzara
manuel.mazzara at newcastle.ac.uk
Polytechnic of Milan Italy / Newcastle University, UK

Fabrizio Montesi
fmontesi at italianasoftware.com
IT University of Copenhagen, Denmark / italianaSoftware s.r.l., Italy

Ilsun You
ilsunu at gmail.com
Korean Bible University, Korea
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130609/1deb4d3e/attachment-0001.html>