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

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

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.

Original languageEnglish (US)
Title of host publicationProceedings - 2016 IEEE World Congress on Services, SERVICES 2016
EditorsRami Bahsoon, Liang-Jie Zhang
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages1
ISBN (Electronic)9781509026166
DOIs
StatePublished - Aug 31 2016
Event2016 IEEE World Congress on Services, SERVICES 2016 - San Francisco, United States
Duration: Jun 27 2016Jul 2 2016

Other

Other2016 IEEE World Congress on Services, SERVICES 2016
CountryUnited States
CitySan Francisco
Period6/27/167/2/16

Fingerprint

Formal methods
Cloud computing
Industry
Service oriented architecture (SOA)

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering

Cite this

Cai, G., Li, Y., Yin, Y., & Gao, H. (2016). The 2016 IEEE Services Emerging Technology Track on Formal Methods in Services and Cloud Computing (FM-S&C 2016) Workshop Summary. In R. Bahsoon, & L-J. Zhang (Eds.), Proceedings - 2016 IEEE World Congress on Services, SERVICES 2016 [7557387] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SERVICES.2016.32
Cai, Guoray ; Li, Ying ; Yin, Yuyu ; Gao, Honghao. / The 2016 IEEE Services Emerging Technology Track on Formal Methods in Services and Cloud Computing (FM-S&C 2016) Workshop Summary. Proceedings - 2016 IEEE World Congress on Services, SERVICES 2016. editor / Rami Bahsoon ; Liang-Jie Zhang. Institute of Electrical and Electronics Engineers Inc., 2016.
@inproceedings{a237dea243b1422da1cfb263c5aa303b,
title = "The 2016 IEEE Services Emerging Technology Track on Formal Methods in Services and Cloud Computing (FM-S&C 2016) Workshop Summary",
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.",
author = "Guoray Cai and Ying Li and Yuyu Yin and Honghao Gao",
year = "2016",
month = "8",
day = "31",
doi = "10.1109/SERVICES.2016.32",
language = "English (US)",
editor = "Rami Bahsoon and Liang-Jie Zhang",
booktitle = "Proceedings - 2016 IEEE World Congress on Services, SERVICES 2016",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",

}

Cai, G, Li, Y, Yin, Y & Gao, H 2016, The 2016 IEEE Services Emerging Technology Track on Formal Methods in Services and Cloud Computing (FM-S&C 2016) Workshop Summary. in R Bahsoon & L-J Zhang (eds), Proceedings - 2016 IEEE World Congress on Services, SERVICES 2016., 7557387, Institute of Electrical and Electronics Engineers Inc., 2016 IEEE World Congress on Services, SERVICES 2016, San Francisco, United States, 6/27/16. https://doi.org/10.1109/SERVICES.2016.32

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

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

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

TY - GEN

T1 - The 2016 IEEE Services Emerging Technology Track on Formal Methods in Services and Cloud Computing (FM-S&C 2016) Workshop Summary

AU - Cai, Guoray

AU - Li, Ying

AU - Yin, Yuyu

AU - Gao, Honghao

PY - 2016/8/31

Y1 - 2016/8/31

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

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

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

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

U2 - 10.1109/SERVICES.2016.32

DO - 10.1109/SERVICES.2016.32

M3 - Conference contribution

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

A2 - Bahsoon, Rami

A2 - Zhang, Liang-Jie

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

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