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

Publication series

NameProceedings - 2016 IEEE World Congress on Services, SERVICES 2016

Other

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

All Science Journal Classification (ASJC) codes

  • Electrical and Electronic Engineering

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

Cite this