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

SEFM 2020   Software Engineering and Formal Methods
InWeS 2020   11th International Conference on Internet Engineering & Web Services
FormaliSE 2020   8th International Conference on Formal Methods in Software Engineering
ICWS 2020   IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES
IJCAR 2020   10th International Joint Conference on Automated Reasoning
AIS 2020   6th International Conference on Artificial Intelligence and Soft Computing
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
CAV 2020   Computer Aided Verification
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
ABZ 2020   ABZ 2020 – 7th International Conference on Rigorous State Based Methods