(Our apologies if you receive multiple copies of this CFP)
Please forward to colleagues who might be interested.
FOR-MOVES: FORmal MOdeling and Verification of Service-based systems
November 3, 2014
Paris, France (co-located with ICSOC 2014)
Web site: http://lipn.univ-paris13.fr/for-moves/
=============================
Important dates:
Paper submission: August 25, 2014
Notification of acceptance: September 15, 2014
Full Camera Ready Manuscript: 30 September, 2014
================== ===========
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 v erification 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 ex periences
- Tools for the description/verification of service-based systems
==========================
Submission:
Submitted papers must be 8-12 pages in length, following the Springer LNCS
format. Proceedings, including all the papers selected for the workshop, will
be available electronically at the workshop. No copyright transfer agreement
will be required from the authors. For this first edition of this workshop, we
would like to put the emphasis on discussions rather than on conventional
publications.
Contributions must be submitted electronically in PDF using the FOR-MOVES 2014
EasyChair web site at the following address:
https://www.easychair.org/conferences/?conf=formoves2014
!DSPAM:159,53ecbb4019029658313378!----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
