FM-S&C 2016 - IEEE 2016 International Workshop on Formal Methods in Services and Cloud Computing (FM-S&C 2016)

Presently, emerging paradigm of cloud computing provides a new service delivery platform. One of the latest challenges is how to work with service computing in a cloud computing environment. Meanwhile, the convergence of service computing and cloud computing is becoming a major driving force for the adoption of both of these technologies.
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. Also, formal methods can play a fundamental and important role in service computing and cloud computing. The topic of FM-S&C 2016 is the theory aspect of data intensive services. There is no doubt in the industry and research community that the importance of data intensive computing has been raising and will continue to be the foremost fields of research. As a result, the data intensive services have become the important type of Web service. Also, it has become a hot issue in the academia and industry. Potentially, this could have a significant impact on the on-going researches for services and data intensive computing.
The scope of the FM-S&C workshop series is not limited to technological aspects. In fact, there is a strong tradition of attracting submissions on formal approaches to enterprise systems modeling in general, and business process modeling in particular. Potentially, this might have a significant and lasting impact on the ongoing standardization efforts in cloud computing technologies.
The previous series of this workshop(FM-S&C 2011, 2012, 2013,2014 and 2015) had attracted around 72 attendants including around 35 presenters and a dozen of submissions. Last year, some selected papers were recommended to International Journal of Computer Mathematics(SCI Index), International Journal of Computational Science and Engineering (IJCSE) and International Journal of Software Engineering and Knowledge (IJSEKE). In this year, more journals are confirmed to cooperate with us. Thus, excellent papers will be recommended. 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.
If you have any questions or queries on FM-S&C 2016, please send email to fmscmanager-AT-gmail.com. The topics of the workshop include but not limited to:
List of topics
? Security, trust and dependability in services and cloud computing
? Adaptability and evolvability in service-oriented/cloud applications
? Formal analysis and design of service-oriented/cloud application
? Substitutability, compatibility and equality of Web/cloud services
? Formal aspects in dynamic reconfiguration of service-oriented application in the clouds
? Service-oriented/cloud business process modeling and change management
? Validation, verification and testing of service-oriented software
? Formal aspects in Performance and quality of Web services/clouds
? Formal aspects in Web/cloud service coordination and transaction
? Formally syntactic, ontologies, semantic and behavioral description of Web services and clouds
? Discovery matchmaking, and composition of Web services using logic/AI planning/Petri-net/etc.
? Complex event processing in service-oriented and clouds application
? Types and logics for Web services/clouds ? Data services and data-centric process modeling
? Theoretical foundations for services computing and cloud computing: all aspects of theory related to specification, verification, refinement, and static analysis. Standards and technologies for service-oriented and cloud computing
? Case studies on formal methods in service-oriented and cloud applications
? Case studies on formal methods in business process management
Past workshops
? FM-S&C2011: 14 submissions, 43% acceptance
? FM-S&C2012: 17 submissions, 35% acceptance
? FM-S&C2013: 24 submissions, 33% acceptance
? FM-S&C2014: 15 submissions, 40% acceptance
? FM-S&C2015: 13 submissions, 38% acceptance
We, the organizing team of FM-S&C 2016, will make our best effort toward a high-quality technical program and enjoyable atmosphere. We cordially invite practitioners and researchers in software engineering to join FM-S&C 2016 in San Francisco, USA.