CALL FOR PAPERS
IEEE 2011 International Workshop on Formal Methods in Services and Cloud Computing (FM-S&C'11)
Washington DC, USA, one day between July 4-9, 2011
in conjunction with IEEE ICWS 2011, SCC2011, CLOUD 2011, and SERVICES 2011
Description
Services have become the major parts of the IT industry. Services Computing, as a promising cross discipline, leverages computing to IT technology and helps to perform business services more efficiently and effectively. Presently, emerging paradigm of cloud computing provides a new service delivery platform and extends services based on virtualization (Infrastructure as a Service, Platform as a Service, Software as a Service) in the area of services Computing. The convergence of services and cloud computing is becoming a major driving force for the adoption of both of these technologies, while a variety of classical and emerging challenges arise.
Formal methods can play a fundamental and important role in this research area from the modeling, interoperability, dependability and trustw orthiness points of view. For example, how to formally describe and define the syntactic, semantic and behavioral aspects of Web service and clouds; how to formally analyze and verify security properties and performance in services, cloud computing and the areas of their applications including e-science, e-commerce, etc; how to provide a basis for checking the substitutability and compatibility of Web services; how to empower dynamic discovery, composing and binding Web services with compatibility checks against behavioral properties and quality of service requirements. Moreover, the challenges raised by this area can offer opportunities for extending the state of the art in formal techniques. Potentially, this could have a significant impact on the on-going standardization efforts for services and cloud computing technologies. The aim of FM-S&C2011 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.
List of topics
(not limited to)- Security, trust and dependability in services and cloud computing
- Formal analysis and design of service-oriented application
- Check the substitutability and compatibility of Web services
- Model-driven development, testing, and analysis of Web services/clouds
- Formal aspects in dynamic reconfiguration of service-oriented application in the clouds
- Security and trustworthy in multi-tenancy service hosting environment
- Validation and verification of service-oriented software
- Performance and quality of Web services/clouds
- Web service coordination and transaction
- Formally syntactic, ontologies, semantic and behavioral description of Web services and clouds
- Negotiation protocols for SLA and dynamic service binding
- Complex event processing in service-oriented application and clouds
- Types and logics for Web services/clouds
- Innovative application scenarios for Web services/clouds
Important dates
The important dates for the workshop are the same as those listed for the work-in-progress track of SERVICES 2011: (http://www.servicescongress.org/2011/cfp.html). However, workshop chairs can grant extension to individuals under special circumstances provided that the hard deadline for the camera-ready version is respected.
Paper submission
Authors are invited to submit full papers (about 8 pages) or short papers (about 4 pages) as per IEEE 8.5 x 11 manuscript guidelines (http://www.computer.org/cspress/instruct.htm). All papers should be in PDF and submitted via the submission system at http://www.confhub.com/MyPapers.php?cid=223
First time users need to register with the system first. All the accepted papers by the workshops will be included in the Proceedings of the Seventh IEEE 2011 World Congress on Services (SERVICES 2011) which will be published by IEEE Computer Society.
Workshop chairs
- ZhaoHui Luo, Professor, University of London, zhaohui@cs.rhul.ac.uk
- Guoray Cai, Associate Professor, Penn State University, cai@ist.psu.edu
- Jian Wan, Professor, HangZhou DianZi University, wanjian@hdu.edu.cn
- YongJian Ren, Professor, HangZhou DianZi University, yongjian.ren@infocore.cn
Program committee
- XiangHua Xu(Hangzhou Dianzi University, China)
- Shiyong Lu(Wayne State University, USA)
- Ivona Brandic, Vienna University of Technology, Austria
- JianWei Yin (ZheJiang University, China)
- Yi Wang (Macquarie University, Australia)
- HuiYuan Zheng (Macquarie University, Australia)
- Jingyu Zhang (University of Sydney, Australia)
- Qin Wu(Hangzhou Dianzi University, China)
- Li Ying (ZheJiang University, China)
- Shuiguang Deng(ZheJiang University, China)
- Li Kuang(Hangzhou Normal University, China)
- YuYu Yin(Hangzhou Dianzi University, China)
- JiLin Zhang(Hangzhou Dianzi University, China)
- ZuJie Ren(Hangzhou Dianzi University, China)
- Peng Di(The University of New South Wales, Australia)
- XiaoFei Zhang(The Hong Kong University of Science & Technology, China)
