FVSBS 2017 - Fifth International track on Formal Verification of S ervice Based Sy stems FVSBS 2017

Fifth International track on Formal Verification of S ervice Based Sy stems
FVSBS 2017
Conference Track-AT-IEEE WETICE 2017
Date: June 21-23, 2017
Location: Poznan, Poland
more info at http://lipn.univ-paris13.fr/fvsbs/ and www.wetice.org
=== ===
The goal of this track is to bring together researchers and developers from industry and the academic world to report on the latest scientific and technical advances of formal verification of software architecture and to address adaptation and reconfiguration issues. Different investigation topics are involved, such as: Service Oriented Architecture (SOA); Service Component Architecture (SCA); Business Process Management (BPM); Software analysis and model checking, Software process and workflow; Software validation and verification; Software testing and testing tools; Dynamic composition.
From technology foundation perspective, formal verification of software architecture has become the default discipline in the modern software development. FVSBS’2017 will provide an opportunity for the community to exchange ideas and to present emerging new papers reporting s ubstantive new work in various aspects of formal verification of service based systems.
TOPICS
Service oriented architecture, SOA migration and governance checking
Service-oriented and component-based software applications and architectures modeling verification
SCA based software applications checking
Formal Web services composition checking
Formal Tools and technologies for Web Services development, deployment and management
Impact of formal methods on Web Services and SOA and SCA base applications
Formal verification of service and component based system approaches for dynamic composition
Model-Driven Eng ineering (MDE) and SOA
Modeling and Meta-modeling and SOA based applications
IMPORTANT DATES
Paper Submission: March 15, 2017
Decision Notification: April 9, 2017
Camera-Ready Submission : April 30, 2017
TRACK CHAIRS
Mohamed Graiet (ISIM, Monastir, Tunisia)
Kais Klai (LIPN, Pari s, France)