posted by user: gauwin || 6173 views || tracked by 12 users: [display]

WS-FM 2011 : 8th International Workshop on Web Services and Formal Methods


Conference Series : Web Services and Formal Methods
When Sep 1, 2011 - Sep 2, 2011
Where Clermont-Ferrand, France
Abstract Registration Due Jun 5, 2011
Submission Deadline Jun 12, 2011
Notification Due Jul 22, 2011
Final Version Due Aug 5, 2011
Categories    formal methods   web services   XML   verification

Call For Papers

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.

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 modeling
* Model-driven development, testing, and analysis of web services/clouds
* 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
* Continuous query processing in presence of web services
* 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).

Important Dates

June 5, 2011: Submission of abstract of the full paper to be submitted
June 12, 2011: Submission of full papers
July 22, 2010: Notification of paper acceptance
August 5, 2010: Final version due
September 1-2, 2011: Workshop

Related Resources

FM 2021   Formal Methods 2021
ICST 2021   IEEE International Conference on Software Testing, Verification and Validation 2021
ESOP 2021   30th European Symposium on Programming
ASYDE 2020   Automated and verifiable Software sYstem DEvelopment
WSDM 2021   14th ACM Conference on Web Search and Data Mining
TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
WWW 2021   International World Wide Web Conferences
CGDEIJ 2020   Computer Game Development and Education
ABZ 2021   ABZ 2021: 8th International Conference on Rigorous State Based Methods
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification