The 2016 Ieee Services Emerging Technology Track on Formal Methods in Services and Cloud Computing (Fm-S&c 2016) Workshop Summary

Guoray Cai,Ying Li,Yuyu Yin,Honghao Gao
DOI: https://doi.org/10.1109/services.2016.32
2016-01-01
Abstract:Service-Oriented Architecture (SOA) is a widely accepted and engaged paradigm for the realization of business processes that incorporate several distributed, loosely coupled partners. However, how to work with service computing in a cloud environment is the latest challenge. Formal methods can play a fundamental and important role in service computing and cloud computing. 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. The aim of FM-S&C 2016 is to encourage academic researchers and industry practitioners to present and discuss all formal analysis, modeling and verification related to research and experiences in a broad spectrum of services and cloud computing.
What problem does this paper attempt to address?