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

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

FacebookTwitterLinkedInGoogle


Conference Series : Web Services and Formal Methods
 
Link: http://itu.dk/wsfm2011/
 
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




Submission
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,

----------- https://www.easychair.org/conferences/?conf=wsfm11 -----------

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 2018   22nd International Symposium on Formal Methods
LICS 2018   Logic in Computer Science
ICWS 2018   The 25th International Conference on Web Services
CONCUR 2018   29th International Conference on Concurrency Theory
SEFM 2018   The 16th International Conference on Software Engineering and Formal Methods
ICIW 2018   The Thirteenth International Conference on Internet and Web Applications and Services
IJESA 2018   International Journal of Embedded Systems and Applications
QEST 2018   QEST 2018 : 15th International Conference on Quantitative Evaluation of SysTems
SIMULTECH 2018   8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
UNIF 2018   32nd International Workshop on Unification