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
N1 - Publisher Copyright:
© 2016 IEEE.
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
AN - SCOPUS:84988859565
T3 - Proceedings - 2016 IEEE World Congress on Services, SERVICES 2016
SP - 26
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.
T2 - 2016 IEEE World Congress on Services, SERVICES 2016
Y2 - 27 June 2016 through 2 July 2016
ER -