CALL FOR PAPERS

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

One day between June 24-29 2012, Hyatt Regency Waikiki Resort and Spa, Honolulu, Hawaii, USA
within IEEE SERVICES 2012

Description

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. Currently, some many formal methods have been applying into the modeling, interoperability, dependability and trustworthiness etc.. For example, how to formally describe and define the syntactic, semantic and behavioral aspects of Web/cloud service; how to formally analyze and verify security properties and performance in services computing and cloud computing; how to provide a basis for checking the substitutability, compatibility and equality of Web/cloud services; how to empower dynamic discovery, composing and binding Web/cloud services. 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 technologies.

FM-S&C2011 was held in Washington DC, as part of the Seventh IEEE World Congress on Services (SERVICES 2011), in conjunction with IEEE SCC/ICWS 2011, attracting around 15 attendants including 5 presenters and a dozen of submissions. The aim of FM-S&C2012 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 2012, please send email to yinyuyu@zju.edu.cn.

List of topics

• 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 centric cloud services modeling
• Formal aspects in Parallel services
• Theoretical foundations for services computing and cloud computing: all aspects of theory related to specification, verification, refinement, and static analysis.
• Formal methods in practice: industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports, experiments with challenge problems.
• Tools for formal methods: advances in automated verification and model-checking, integration of tools, environments for formal methods, experimental validation of tools.

Important dates

• Full Paper Submission Due Date: March 29, 2012 (extended)
• Decision Notification (Electronic): April 20, 2012
• Camera-Ready Copy Due Date & Pre-registration Due: May 1, 2012

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 (download instruction). All papers should be in PDF and submitted via at the submission system

Extensions of selected papers will be published in the special issue of the following SCI journals:
Applied Mathematics & Information Sciences(AMIS, SCI/I.F. 0.642).

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 2012 World Congress on Services (SERVICES 2012) which will be published by IEEE Computer Society.

Workshop chairs

• Guoray Cai, Associate Professor, Penn State University, USA, cai@ist.psu.edu
• Prof. Ying Li, Associate Professor, Zhejiang University, China

Honorary chair

• Zhaohui Luo, University of London, England, U.K.

Publicity chairs

• Shuiguang Deng, Zhejiang Universtiy, China
• Zujie Ren, HangZhou DianZi University, China

Publication chair

• Yuyu Yin, HangZhou DianZi University, China

Program committee (tentative)

• Jia Zhang(Northern Illinois University, USA)
• HuaiKou Miao(Shanghai University, China)
• 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)
• Jue Wang(Supercomputing Center of CAS, 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)
• Honghao gao(Shanghai University, China)
• Peng Di(The University of New South Wales, Australia)
• XiaoFei Zhang(The Hong Kong University of Science & Technology, China)

Workshop Organizers Short Bio

Prof. Zhaohui Luo is Professor of Computer Science at University of London. His research interests includes: Logic--type theory, proof theory, computer-assisted formal reasoning. Language--advanced programming, mathematical vernacular, linguistic semantics. Software engineering--specification languages, system verification, formal methods.

Dr. Guoray Cai is an Associate Professor of Information Sciences and Technology at Penn State University, with affiliate appointments in Geography as well as in Computer Science and Engineering. He is the founding director of the Spatial Information and Intelligence Laboratory, which is housed in the College of IST. He is also a member of GeoVISTA center and Center for Human-Computer Interaction. Dr. Cai conducts research in the areas of information retrieval, geographical information science, human-computer interaction and communication, and visual mediation of collaborative work. He has published papers in the international journals such as Proceedings of IEEE, International Journal of Geographical Information Science, Transactions in GIS, Geoinformatics, Environment and Planning B, and international journal of NETWORKS. He is a member of ACM, IEEE, and ASPRS.

Back to IEEE SERVICES 2012 or the main workshop.
Also refer to the submission page for more detail.