[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] 2nd CFP WS-FM 2010 - Formal aspects of service oriented andcloud computing

WS-FM 2010
7th International Workshop on Web Services and Formal Methods:
Formal aspects of service oriented and cloud computing

September 16-17, 2010
New Jersey, USA

Abstract Submission: May 28, 2010
Paper Submission: June 4, 2010

WS-FM 2010 will be held at the Stevens Institute of Technology, Hoboken,
New Jersey, USA, on September 16-17, 2010 (Hoboken is located across the 
Hudson river from Manhattan and easily accessible by subway, ferry, or 
bus from New York) and will be co-located with:
8th Int. Conference on Business Process Management (BPM 2010)

Service Oriented Computing (SOC) provides standard mechanisms and
protocols for describing, locating and invoking services over the
Internet. Although there are existing SOC infrastructures that support
specification of service interfaces, access policies, behaviors and
compositions, there are still many active research areas in SOC such as
the support and management of interactions with stateful and
long-running services, large farms of services and quality of service
delivery. Moreover, emerging paradigm of cloud computing provides a new
platform for service delivery, enabling the development of services that
are configurable based on client requirements, service level guarantee
mechanisms, and extended services based on virtualization (Software as a
Service, Platform as a Service, Infrastructure as a Service). The
convergence of SOC and cloud computing is accelerating the adoption of
both of these technologies, making the service dependability and
trustworthiness a crucial and urgent problem.

Formal methods can play a fundamental role in this research area. They
can help us 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 behavioral properties and quality of service requirements.
Formal analysis of security properties and performance is also essential
in cloud computing and in application areas including e-science,
e-commerce, workflow, business process management, etc. Moreover, the
challenges raised by this new area can offer opportunities for extending
the state of the art in formal techniques.

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


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

     * Trust and Dependability in service oriented and cloud computing
     * Multi-tenancy, Adaptability and Evolvability in cloud systems
     * Formal approaches to service-oriented analysis and design
     * Formal approaches to enterprise modeling and business process
     * Model-driven development, testing, and analysis of web
     * Web services for business process management
     * Security, performance and quality of web services/clouds
     * Web service coordination and transactions
     * Web service ontologies and semantic description
     * Goal-driven discovery and composition of web services
     * Complex event processing in service-oriented architectures
     * Semi-structured data management and XML technology
     * Types and logics for web services/clouds
     * Innovative application scenarios for web services/clouds
     * Data services
     * Data centric process modeling


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 submitted at the
following submission site, handled by EasyChair,


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 program
committee. The workshop proceedings will be published as a volume
in Springer's Lecture Notes in Computer Science (LNCS).


The list of invited speakers currently includes:

- Rick Hull, IBM Watson Research Center, USA
- Shriram Krishnamurthi, Brown University, USA


Abstract Submission: May 28, 2010
Paper Submission: June 4, 2010
Notification: July 14, 2010
Final version due: July 23, 2010


Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands
Matteo Baldoni, University of Torino, Italy
Samik Basu, Iowa State University, USA
Karthikeyan Bhargavan, Microsoft Research-INRIA Joint Centre, France
Mario Bravetti, University of Bologna, Italy (co-chair)
Tevfik Bultan, Univ. of California at Santa Barbara, USA (co-chair)
Nicola Dragoni, Technical University of Denmark, Denmark
Marlon Dumas, University of Tartu, Estonia
Schahram Dustdar, Technical University of Wien, Austria
José Luiz Fiadeiro, University of Leicester, UK
Howard Foster, Imperial College London, UK
Xiang Fu, Hofstra University, USA
Stefania Gnesi, ISTI-CNR, Italy
Sylvain Hallé, Université du Québec à Chicoutimi, Canada
Thomas Hildebrandt, IT University of Copenhagen, Denmark
Kohei Honda, Queen Mary, University of London, UK
Manuel Mazzara, University of Newcastle, UK
Manuel Nunez, Universidad Complutense de Madrid , Spain
Gwen Salaün, Grenoble INP - INRIA - LIG, France
Jianwen Su, University of California at Santa Barbara, USA
Karsten Wolf, University of Rostock, Germany
Gianluigi Zavattaro, University of Bologna, Italy


Wil van der Aalst, Eindhoven Univ. of Technology, The Netherlands
Mario Bravetti, University of Bologna, Italy
Marlon Dumas, University of Tartu, Estonia
José Luiz Fiadeiro, University of Leicester, UK
Gianluigi Zavattaro, University of Bologna, Italy