FOR-MOVES 2015 - Second Workshop on FORmal MOdeling and Verification of Service-based systems??

FOR-MOVES: The second Workshop on FORmal MOdeling and Verification of Service-based systems??
November 16, 2015
?Goa, India (co-located with ICSOC 2015)?
Web site: http://lipn.univ-paris13.fr/for-moves15/
??===
Important Dates :
submission July 30, 2015
notification August 30, 2015
camera ready copy September 30, 2015
workshop November 16, 2015
??===
Call for Papers
During the few last years the use of formal approaches for the modeling and the verification of service-based processes is increasingly widespread. On the one hand, formal modeling allows one to define unambiguous semantics for the languages and protocols used for the specification of service oriented systems. On the other hand, formal verification approaches are popular means of checking the correctness properties of these applications, such as safety, liveness, QoS requirements and security. Such properties can be considered as a behavioral criteria for compatibility between different local services/processes.
The aim of FOR-MOVES workshop is to provide a venue for the presentation and discussion of new ideas and work in progress in formal modeling and verification methods, in the field of Service Oriented Computing (SOC). The topics include, but are not limited to, the following:
- Formal modeling and verification of service-based systems
- Formal modeling and verification service-based systems in the Cloud
- Composition/Compatibility of Web services
- Cloud Service Management
- Business Service Modeling and verification
- Modeling, validation, verification and testing of service-oriented software
- Security in Service-based systems
- Formal aspects in Performance and quality of Web services/clouds
- Modeling and verification of specific properties of service-based systems :
privacy, security, confidentiality, accountability, …
- Modular, refinement, abstraction approaches for service-based systems
- Service Integration and Orchestration in the Cloud
- Use cases and real world development and experiences
- Tools for the description/verification of service-based systems
===
Submission:
Authors are invited to submit original, previously unpublished research papers. Papers should be written in English, strictly following Springer LNCS style including all text, references, appendices, and figures. For formatting instructions and templates, see the Springer Web page: http://www.springer.de/comp/lncs/authors.html
Following types of submissions are accepted:
? Full research papers and experience papers with a maximum length of 12 pages, including references and appendices.
? Short papers and position papers with a maximum length of 6 pages, including references and appendices.
Contributions must be submitted electronically in PDF using the FOR-MOVES 2014 EasyChair web site at the following address:
https://easychair.org/conferences/?conf=formoves20...
===
Program Commitee:
Etienne André (LIPN, University Paris 13, France)
Boualem Benatallah (University of New South Wales, Sydney)
Nejib Ben Hadj-Alouane (ENIT, Tunisia)
Jörg Desel (University of Hagen)
Michael Dierkes (Rockwell Collins)
Marc Frappier (University of Sherbrooke)
Mohamed Graiet (ISIM, Monastir, Tunisia)
Serge Haddad (ENS Cachan, France)
Sun Jun (Singapore University of Technology and Design)
Pierre Kelsen (University of Luxembourg)
Ferhat Khendek (Electrical and Computer Engineering, Montréal)
Foutse Khomh (Polytechnique, Montréal)
Michael Leuschel (University of Düsseldorf)
Mohamed Mejri (University of Laval, France)
Meriem Ouederni (ENSEEIHT, France)
Denis Poitrenaud (University Paris Descartes, France)
Mohammad Reza Mousavi (Halmstad University, Sweden)
Liu Yang (Nanyang Technological University, Singapore)
===
Workshop Organizers:
Hanifa Boucheneb (Montreal Polytechnic, Montréal, Canda)
Kais Klai (LIPN, University Paris 13, France)