@inproceedings{0b7bf35a6ac94ec0846fc0d74dacb59a,
title = "IEEE Services Visionary Track on Formal Methods in Services and Cloud Computing (FM-S&C 2015) Workshop Summary",
abstract = "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.",
author = "Guoray Cai and Ying Li and Yuyu Yin and Honghao Gao",
note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; IEEE World Congress on Services, SERVICES 2015 ; Conference date: 27-06-2015 Through 02-07-2015",
year = "2015",
month = aug,
day = "13",
doi = "10.1109/SERVICES.2015.26",
language = "English (US)",
series = "Proceedings - 2015 IEEE World Congress on Services, SERVICES 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "126",
editor = "Rami Bahsoon and Liang-Jie Zhang",
booktitle = "Proceedings - 2015 IEEE World Congress on Services, SERVICES 2015",
address = "United States",
}