posted by user: juve || 5626 views || tracked by 17 users: [display]

ACM SAC SOAP Track 2011 : ACM Symposium on Applied Computing - Service Oriented Architectures and Programming Track


When Mar 21, 2011 - Mar 25, 2011
Where TaiChung, Taiwan
Submission Deadline Aug 24, 2010
Notification Due Oct 12, 2010
Final Version Due Nov 2, 2010
Categories    SOA   web services

Call For Papers

Service Oriented Architectures and Programming

ACM SAC 2011

For the past twenty-five years, the ACM Symposium on Applied Computing
has been a primary and international forum for applied computer
scientists, computer engineers, and application developers to gather,
interact and present their work. SAC 2011 is sponsored by the ACM
Special Interest Group on Applied Computing (SIGAPP), and is hosted by
Tunghai University in TaiChung, Taiwan.


Although when considered from a purely technological point of view
Service-Oriented Programming (SOP) is not an enormous novelty, when it
comes to paradigmatic considerations SOP is quickly changing our
vision of the Web. Originally, the Web was mainly seen as a means of
presenting the information to a wide spectrum of people, but SOP is
now 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 modeling, 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, ...) and the syntactic one (WS-BPEL, ...). 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, sustainability and dependability need to be taken
seriously into account, and this investigation should lead to standard

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 researchers and practitioners having the common
objective of transforming Service Oriented Programming 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 Service
Oriented Programming still needs in order to achieve its original
goal, along with works proposing comparison 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 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


August 24, 2010: Paper submissions
October 12, 2010: Author notification
November 2, 2010: Camera-Ready Copy
March 21-25, 2011: Conference


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 blindly review submissions.
Accepted papers will be published in the annual conference
proceedings. Please visit the SAC 2011 Website for further


Faycal Abouzaid, University of Montreal (Canada)
Marco Aiello, University of Groningen (Netherlands)
Roberto Bruni, University of Pisa (Italy)
Chihung Chi, Tsinghua University (China)
Rocco De Nicola, University of Florence (Italy)
Nicola Dragoni, Technical University of Denmark (Denmark)
Schahram Dustdar, Technical University of Vienna (Austria)
Claudio Guidi, italianaSoftware s.r.l. (Italy)
Tim Hallwyl, Sirius IT (Danmark)
Koji Hasebe, University of Tsukuba (Japan)
Nickolas Kavantzas, ORACLE (USA)
Peep Küngas, University of Tartu (Estonia)
Francisco Martins, University of Lisbon (Portugal)
Michele Mazzucco, University of Cyprus (Cyprus)
Jing Mei, IBM China Research Lab (China)
Hernàn Melgratti, University of Buenos Aires (Argentina)
Nicola Mezzetti, Di.Tech (Italy)
Shih-Hsi Liu, California State University (USA)
Kévin Ottens, Klarälvdalens Datakonsult AB (Sweden)
Luca Padovani, Università di Torino (Italy)
Andreas Roth, SAP (Germany)
Maurice ter Beek, ISTI-CNR, Pisa (Italy)
Peter Wong, Fredhopper, Amsterdam (Netherlands)


Ivan Lanese
lanese @
Dipartimento di Scienze dell'Informazione, University of Bologna

Manuel Mazzara
manuel.mazzara @
School of Computing Science, Newcastle university, UK

Fabrizio Montesi
fmontesi @
italianaSoftware s.r.l., Italy

Related Resources

SA-TTA 2021   The 9th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021)
IJHAS 2020   International Journal of Humanities, Art and Social Studies
BDE--Ei Compendex and Scopu 2021   ACM--2021 3rd International Conference on Big Data Engineering (BDE 2021)--Ei Compendex, Scopus
CGDEIJ 2020   Computer Game Development and Education
KRR@SAC 2021   Knowledge Representation and Reasoning (track of the 36th ACM/SIGAPP Symposium On Applied Computing)
InWeS 2020   11th International Conference on Internet Engineering & Web Services
ACM-SAC RE Track 2021   Requirements Engineering Track at 36th ACM Symposium on Applied Computing
WeST 2020   12th International Conference on Web services & Semantic Technology
AsiaCCS 2021   The 16th ACM ASIA Conference on Computer and Communications Security [First Round]
ACM--ICHMI--Ei Compendex, Scopus 2021   ACM--2021 International Conference on Human–Machine Interaction (ICHMI 2021)--EI Compendex, Scopus