posted by system || 1238 views || tracked by 3 users: [display]

SAC SOAP 2010 : ACM SAC SOAP Track

FacebookTwitterLinkedInGoogle

Link: http://www.cs.unibo.it/projects/acmsac2010-soap
 
When Mar 22, 2010 - Mar 26, 2010
Where Sierre, Switzerland
Submission Deadline Sep 8, 2009
Notification Due Oct 19, 2009
Final Version Due Nov 2, 2009
 

Call For Papers

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/

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/

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/

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
Polo Scientifico e didattico di Cesena, University of Bologna

Ivan Lanese
lanese @ cs.unibo.it
Dipartimento di Scienze dell'Informazione, University of Bologna

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

Related Resources

GMLR @ ACM SAC 2024   ACM SAC Track on Graph Models for Learning and Recognition
SA-TTA @ ACM SAC 2024   The 12th track on Software Architecture: Theory, Technology, and Applications
SAC-SVT 2024   CFP: Software Verification and Testing Track at SAC 2024 : deadline September, 15
SAC 2024   39th ACM/SIGAPP Symposium On Applied Computing
INTOP@ACM SAC 2024   INTOP@ACM SAC 2024 : Interoperability (INTOP) at the 39th ACM/SIGAPP Symposium on Applied Computing (ACM SAC 2024)
ACM SAC DAPP 2024   ACM SAC Decentralized Applications (DAPP) with Blockchain, DLT and Crypto-Currencies 2024
ISDE 2024   ISDE @ACM SAC 2024
ACM NLPIR 2024   ACM--2024 8th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2024)
ACM CIIS 2024   ACM--2024 7th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2024)
ACM AICCC 2024   ACM--2024 7th Artificial Intelligence and Cloud Computing Conference (AICCC 2024)