posted by user: gauwin || 5503 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

WWW 2020   The Web Conference
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
ICWS 2020   2020 International Conference on Web Services Call for Papers- EI Compendex and Scopus
CPP 2020   Certified Programs and Proofs
ABZ 2020   ABZ 2020 – 7th International Conference on Rigorous State Based Methods
WiMoA 2019   11th International Conference on Wireless, Mobile Network & Applications
NeurIPS WS: Optimization for ML 2019   NeurIPS 2019 Workshop: Beyond First Order Methods in Machine Learning
CMSB 2019   17th International Conference on Computational Methods in Systems Biology
IEEE-5G-Security 2020   IEEE Communications Magazine Feature Topic “5G Security: Can 5G Be Verifiably Secure?”
NETWORKS 2019   3rd International Conference on Networks & Communications