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

Alberto Lluch Lafuente albertolluch at gmail.com
Fri Sep 13 04:00:40 EDT 2013


 SOAP track CfP Call for Papers Service-Oriented Architectures and
Programming track of the 29th Symposium On Applied Computing
http://www.itu.dk/acmsac2014-soap/ IMPORTANT DATES (strict) September 21,
2013: Submission of regular papers and SRC abstracts (deadline extended)
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)
Nicola Dragoni, Technical University of Denmark (Denmark) Shuiguang Deng
(Zhejiang University, China) 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/20130913/7a46ec57/attachment-0001.html>


More information about the Types-announce mailing list