FM-S&C 2013 - IEEE 2013 International Workshop on Formal Methods in Services and Cloud Computing (FM-S&C 2013)

Presently, emerging paradigm of cloud computing provides a new service delivery platform. One of the latest challenges is how to work with service computing in a cloud computing environment. Meanwhile, the convergence of service computing and cloud computing is becoming a major driving force for the adoption of both of these technologies.
It has been great advances in formal methods research via tool support and industrial best practice, and their role in a variety of industries, domains, and in certification and assurance. Also, formal methods can play a fundamental and important role in service computing and cloud computing. Currently, some many formal methods have been applying into the modeling, interoperability, dependability and trustworthiness etc.. For example, how to formally describe and define the syntactic, semantic and behavioral aspects of Web/cloud service; how to formally analyze and verify security properties and performance in services computing and cloud computing; how to provide a basis for checking the substitutability, compatibility and equality of Web/cloud services; how to empower dynamic discovery, composing and binding Web/cloud services. Moreover, the challenges raised by this area can offer opportunities for extending the state of the art in formal techniques. Potentially, this could have a significant impact on the on-going standardization efforts for services and cloud technologies.
List of topics
Adaptability and Evolvability in service-oriented/cloud applications
Formal analysis and design of service-oriented/cloud application
Substitutability, compatibility and equality of Web/cloud services
Formal aspects in dynamic reconfiguration of service-oriented application in the clouds
Service-oriented/cloud business process modeling and change management
Validation, verification and testing of service-oriented software
Formal aspects in Performance and quality of Web services/clouds
Formal aspects in Web/cloud service coordination and transaction
Formally syntactic, ontologies, semantic and behavioral description of Web services and clouds
Discovery matchmaking, and composition of Web services using logic/AI planning/Petri-net/etc.
Complex event processing in service-oriented and clouds application
Types and logics for Web services/clouds
Data centric cloud services modeling
Formal aspects in Parallel services
Theoretical foundations for services computing and cloud computing: all aspects of theory related to specification, verification, refinement, and static analysis.
Formal methods in practice: industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports, experiments with challenge problems.
Tools for formal methods: advances in automated verification and model-checking, integration of tools, environments for formal methods, experimental validation of tools.