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

VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
WWW 2019   The Web Conference 2019
IJWesT 2018   International Journal of Web & Semantic Technology
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
SBMF 2018   21st Brazilian Symposium on Formal Methods
IJCSITY 2018   International Journal of Computational Science and Information Technology
IJWSC 2018   International Journal on Web Service Computing
InWeS 2018   9th International Conference on Internet Engineering & Web Services
WEB 2019   The Seventh International Conference on Building and Exploring Web Based Environments
HSCC 2019   22nd ACM International Conference on Hybrid Systems: Computation and Control