[AISWorld] WS-FM:FASOCC 2014 - Deadline extension (15th June) - Web Services and Formal Methods

[Matthias Weidlich]

#####################################################################

Extended submission deadline: 15th June, 2014

#####################################################################

Final Call For Papers

*WS-FM:FASOCC 2014*

*11th International Workshop on Web Services and Formal Methods:
Formal Aspects of Service-Oriented and Cloud Computing*

September 11-12, 2014, Haifa, Israel

http://wsfm2014.haifa.ac.il/

#####################################################################

Service-Oriented Computing (SOC) has been established as a major
paradigm for system development, revolving around functional and
autonomous building blocks that are available over the Internet and
independent of platforms and programming languages. To support the SOC
paradigm, infrastructures provide standard mechanisms and protocols for
describing, locating and invoking services.

Cloud computing has seen a remarkable uptake and facilitates distributed
computing based on virtualization. Here, abstractions centred on
services, such as Software as a Service, Platform as a Service, and
Infrastructure as a Service, enable dynamic sharing of resources and
allow for tailoring service delivery to clients' needs. As such, cloud
computing provides a backbone for more effective and efficient
service-oriented computing.

Formal methods can play a fundamental role in research on SOC, cloud
computing, and their interplay. They can help us to define unambiguous
semantics for the languages and protocols that underpin existing Web
service infrastructures, and provide a basis for checking the
conformance and compliance of bundled services. They can also empower
dynamic discovery and binding with compatibility checks against
behavioural properties and quality of service requirements. Formal
analysis of security properties and performance is essential in cloud
computing and in application areas including e-science, e-commerce,
workflow, and business process management. Formal models further enable
linking service abstractions to event-driven, reactive middle-ware and
execution infrastructures. Moreover, the challenges raised by this area
can offer opportunities for extending the state of the art in formal
techniques.

The aim of the WS-FM:FASOCC workshop series is to bring together
researchers working on SOC, cloud computing, and formal methods in order
to catalyse fruitful collaboration. The scope of the workshop is not
only limited to technological aspects. In fact, the workshop series has
a strong tradition of attracting submissions on formal approaches to
enterprise systems modelling in general, and business process modelling
in particular. Potentially, this could have a significant impact on the
ongoing standardization efforts for SOC and cloud computing technologies.

#########################
Topics
#########################

Main topics of interest include (but are not limited to):

 * Mathematical foundations of service-oriented and cloud computing
 * Security, trust, and privacy in service-oriented and cloud computing
 * Performance and dependability of services/clouds
 * Multi-tenancy, adaptability and evolvability of processes and
services in the cloud
 * Model-driven development of services/clouds
 * Quality of service and service-level agreements
 * Web service coordination, transactions, and compositions
 * Web service ontologies and semantic descriptions
 * Semi-structured data management and XML technology
 * Types and logics for web services/processes/clouds
 * Verification, analysis, and testing of services/clouds
 * Web services for business process management
 * Process management in the cloud
 * Formal approaches to business process modelling
 * Contractual issues between service providers and consumers
 * Innovative application scenarios for web services/clouds
 * Data services and data-centric process modelling
 * Event-driven models for service/process-oriented and cloud computing
 * Event-based cloud infrastructures
 * Standards and technologies for service/process-oriented and cloud
computing
 * Case studies on formal methods in service/process-oriented and cloud
applications
 * Case studies on formal methods in business process management

#########################
Important Dates
#########################

 * Paper submission deadline: June 15, 2014 (extended)
 * Author notification: July 9, 2014
 * Camera-ready copy: July 30, 2014
 * Workshop dates: September 11-12, 2014

#########################
Submission Instructions
#########################

Submissions must be original and should not have been published
previously nor be under consideration for publication while being
evaluated for this workshop. All papers must be in English and submitted
at the following submission site, handled by EasyChair,

https://www.easychair.org/conferences/?conf=wsfm2014

using the Springer LNCS style. Papers should not exceed 15 pages in
length. If necessary, the paper may be supplemented with a clearly
marked appendix, which will be reviewed at the discretion of the
programme committee. As in previous years, the post-workshop proceedings
will be published shortly after the workshop as a volume in Springer's
Lecture Notes in Computer Science (LNCS).

#########################
Special Issue
#########################

Authors of selected papers of WS-FM:FASOCC 2014 will be invited to
submit an extended paper for a special issue in Springer’s journal on
Formal Aspects of Computing, which is indexed by SciSearch, Journal
Citation Reports, SCOPUS, Google Scholar, Academic Search, ACM Digital
Library, Computer Abstracts International Database, Computer Science
Index, DBLP, EI-Compendex.

#########################
Organisation
#########################

Programme Committee Chairs
 * Thomas Hildebrandt, IT University of Copenhagen, Denmark
 * Matthias Weidlich, Imperial College London, United Kingdom

Program Committee
 * Farhad Arbab, CWI, Amsterdam, The Netherlands
 * Massimo Bartoletti, University of Cagliari, Italy
 * Laura Bocchi, Imperial College London, United Kingdom
 * Mario Bravetti, University of Bologna, Italy
 * Roberto Bruni, University of Pisa, Italy
 * François Bry, Ludwig-Maximilians-Universität München, Germany
 * Marco Carbone, IT University of Copenhagen, Denmark
 * Erik De Vink, Eindhoven University of Technology, The Netherlands
 * Marlon Dumas, University of Tartu, Estonia
 * Schahram Dustdar, TU Wien, Austria
 * Dirk Fahland, Eindhoven Univ. of Technology, The Netherlands
 * José Luiz Fiadeiro, Royal Holloway, University of London, UK
 * Roberto Guanciale, KTH, Sweden
 * Sylvain Hallé, Université du Québec à Chicoutimi, Canada
 * Thomas Hildebrandt, IT University of Copenhagen, Denmark
 * Ivan Lanese, University of Bologna, Italy
 * Niels Lohmann, University of Rostock, Germany
 * Marco Montali, Free University of Bozen-Bolzano, Italy
 * Chun Ouyang, Queensland University of Technology, Australia
 * Artem Polyvyanyy, Queensland University of Technology, Australia
 * Alexandra Poulovassilis, Birkbeck, University of London, UK
 * Rosario Pugliese, University of Florence, Italy
 * António Ravara, Universidade Nova de Lisboa, Portugal
 * Jianwen Su, University of California at Santa Barbara, USA
 * Maurice H. Ter Beek, CNR Pisa, Italy
 * Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands
 * Hugo Torres Vieira, Universidade de Lisboa, Portugal
 * Emilio Tuosto, University of Leicester, United Kingdom
 * Matthias Weidlich, Imperial College London, United Kingdom
 * Lijie Wen, Tsinghua University, China
 * Martin Wirsing, Ludwig-Maximilians-Universität München, Germany
 * Karsten Wolf, University of Rostock, Germany
 * Nobuko Yoshida, Imperial College London, United Kingdom
 * Gianluigi Zavattaro, University of Bologna, Italy

Steering Committee
 * Wil van der Aalst, Eindhoven University of Technology, The Netherlands
 * Mario Bravetti, University of Bologna, Italy
 * Marlon Dumas, University of Tartu, Estonia
 * José Luiz Fiadeiro, Royal Holloway, University of London, UK
 * Gianluigi Zavattaro, University of Bologna, Italy