IEEE Services Visionary Track on Formal Methods in Services and Cloud Computing (FM-S&C 2015) Workshop Summary

Web service has been an important solution to achieve resource sharing and application integration in the Internet era, which can develop the most promising software application with the on-demand changing computing paradigm, through service reuse and dynamic synthesis. One of the latest challenges is how to work with service computing in a cloud computing environment. There is a strong tradition of attracting submissions on formal approaches to enterprise systems modeling in general, and business process modeling in particular. The topic of FM-S&C 2015 is the theory aspect of data intensive services and formal methods. It encourages academic researchers and industry practitioners to present and discuss formal analysis, modeling and verification related researches and experiences.