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.
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

Other

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

Fingerprint

Formal methods
Cloud computing
Industry
Application programs
Web services
Internet

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Computer Science Applications

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 [7196514] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SERVICES.2015.26
Cai, Guoray ; Li, Ying ; Yin, Yuyu ; Gao, Honghao. / IEEE Services Visionary Track on Formal Methods in Services and Cloud Computing (FM-S&C 2015) Workshop Summary. Proceedings - 2015 IEEE World Congress on Services, SERVICES 2015. editor / Rami Bahsoon ; Liang-Jie Zhang. Institute of Electrical and Electronics Engineers Inc., 2015.
@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",
year = "2015",
month = "8",
day = "13",
doi = "10.1109/SERVICES.2015.26",
language = "English (US)",
editor = "Rami Bahsoon and Liang-Jie Zhang",
booktitle = "Proceedings - 2015 IEEE World Congress on Services, SERVICES 2015",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",

}

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., 7196514, Institute of Electrical and Electronics Engineers Inc., IEEE World Congress on Services, SERVICES 2015, New York, United States, 6/27/15. https://doi.org/10.1109/SERVICES.2015.26

IEEE Services Visionary Track on Formal Methods in Services and Cloud Computing (FM-S&C 2015) Workshop Summary. / Cai, Guoray; Li, Ying; Yin, Yuyu; Gao, Honghao.

Proceedings - 2015 IEEE World Congress on Services, SERVICES 2015. ed. / Rami Bahsoon; Liang-Jie Zhang. Institute of Electrical and Electronics Engineers Inc., 2015. 7196514.

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

TY - GEN

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

AU - Cai, Guoray

AU - Li, Ying

AU - Yin, Yuyu

AU - Gao, Honghao

PY - 2015/8/13

Y1 - 2015/8/13

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84973311527&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84973311527&partnerID=8YFLogxK

U2 - 10.1109/SERVICES.2015.26

DO - 10.1109/SERVICES.2015.26

M3 - Conference contribution

BT - Proceedings - 2015 IEEE World Congress on Services, SERVICES 2015

A2 - Bahsoon, Rami

A2 - Zhang, Liang-Jie

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

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