posted by system || 3588 views || tracked by 10 users: [display]

WS-FM 2012 : 9th International Workshop on Web Services and Formal Methods

FacebookTwitterLinkedInGoogle


Conference Series : Web Services and Formal Methods
 
Link: http://www.informatik.uni-rostock.de/ws-fm2012/
 
When Sep 6, 2012 - Sep 7, 2012
Where Tallinn, Estonia
Abstract Registration Due Jun 2, 2012
Submission Deadline Jun 9, 2012
Notification Due Jul 21, 2012
Final Version Due Aug 4, 2012
Categories    services   formal methods
 

Call For Papers

Call for Papers what to submit to WS-FM

The aim of the WS-FM workshop series is to bring together researchers working on Web Services and Formal Methods in order to catalyze fruitful collaboration.

Web services are fundamental to cloud computing and other computing paradigms based on service-oriented architectures and applications. They make functional and autonomous building blocks available over the Internet, independent of platforms and programming languages, and both within and across organizational boundaries. These can then be described, located, orchestrated, and invoked. Virtualization technology has moreover led to the Software as a Service, Platform as a Service, and Infrastructure as a Service notions.

Formal methods can play a fundamental role in research on these concepts. They can help define unambiguous semantics for the languages and protocols that underpin 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, quality of service requirements, and service-level agreements. The resulting possibility of formal verification and analysis of (security) properties and performance (dependability and trustworthiness) is essential to cloud computing and to application areas like e-commerce, e-government, e-health, workflow, business process management, etc. Moreover, the challenges raised by research on these concepts can extend the state of the art in formal methods.

The scope of the WS-FM workshop series is not limited to technological aspects. In fact, there is a strong tradition of attracting submissions on formal approaches to enterprise systems modeling in general, and business process modeling in particular. Potentially, this might have a significant and lasting impact on the ongoing standardization efforts in cloud computing technologies.
Topics

Topics of interest include, but are not limited to, the following:

Mathematical foundations of service-oriented and cloud computing
Security, trust, and privacy in service-oriented and cloud computing
Performance and dependability of services/clouds
Multi-tenancy, adaptability and evolvability in the cloud
Model-driven development of services/clouds
Quality of service and service-level agreements
Web service coordination and transactions
Web service ontologies and semantic descriptions
Goal-driven discovery and composition of web services
Semi-structured data management and XML technology
Types and logics for web services/clouds
Verification, analysis, and testing of services/clouds
Web services for business process management
Process management in the cloud
Enterprise modeling and business process modeling
Contractual issues between service providers and consumers
Innovative application scenarios for web services/clouds
Data services and data-centric process modeling
Standards and technologies for service-oriented and cloud computing
Case studies on formal methods in service-oriented and cloud applications
Case studies on formal methods in business process management

Related Resources

ASYDE 2020   Automated and verifiable Software sYstem DEvelopment
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
ICML WS: Optimization for ML 2020   ICML 2020 Workshop: Beyond First Order Methods in Machine Learning
EMNLP 2020   Conference on Empirical Methods in Natural Language Processing
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
WEBIST 2020   16th International Conference on Web Information Systems and Technologies
CONISOFT 2020   The 8th IEEE International Conference on Software Engineering Research and Innovation
DAWSN 2020   Special Issue “Distributed Algorithms for Wireless Sensor Networks”
CPP 2021   Certified Programs and Proofs