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

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.
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
(Workshop chairs can grant extension to individuals under special circumstances provided that the hard deadline for the camera-ready version is respected.)
Full Paper Submission Due Date: March 15, 2012
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 (http://www.computer.org/cspress/instruct.htm). All papers should be in PDF and submitted via at the submission system
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
ZhaoHui Luo, Professor, University of London, England, zhaohui-AT-cs.rhul.ac.uk
Guoray Cai, Associate Professor, Penn State University, USA, cai-AT-ist.psu.edu
Jian Wan, Professor , HangZhou DianZi University, China, wanjian-AT-hdu.edu.cn
Program committee
Jia Zhang(Northern Illinois University, USA)
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)
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.
Prof. Jian Wan is a professor of Computer Science and technology and the dean of the school of Computer Science and Technology at Hangzhou Dianzi University. His research area focuses on Cloud Computing, Services Computing and Embedded Systems, etc.
Back to IEEE SERVICES 2012 or the main workshop.
Also refer to the submission page for more detail.