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

Guoray Cai, Ying Li, Yuyu Yin, Honghao Gao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationProceedings - 2015 IEEE World Congress on Services, SERVICES 2015
EditorsRami Bahsoon, Liang-Jie Zhang
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages126
Number of pages1
ISBN (Electronic)9781467372756
DOIs
StatePublished - Aug 13 2015
EventIEEE World Congress on Services, SERVICES 2015 - New York, United States
Duration: Jun 27 2015Jul 2 2015

Publication series

NameProceedings - 2015 IEEE World Congress on Services, SERVICES 2015

Other

OtherIEEE World Congress on Services, SERVICES 2015
CountryUnited States
CityNew York
Period6/27/157/2/15

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Computer Science Applications

Fingerprint Dive into the research topics of 'IEEE Services Visionary Track on Formal Methods in Services and Cloud Computing (FM-S&C 2015) Workshop Summary'. Together they form a unique fingerprint.

  • Cite this

    Cai, G., Li, Y., Yin, Y., & Gao, H. (2015). IEEE Services Visionary Track on Formal Methods in Services and Cloud Computing (FM-S&C 2015) Workshop Summary. In R. Bahsoon, & L-J. Zhang (Eds.), Proceedings - 2015 IEEE World Congress on Services, SERVICES 2015 (pp. 126). [7196514] (Proceedings - 2015 IEEE World Congress on Services, SERVICES 2015). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SERVICES.2015.26