FVSBS 2013 - 1st Track on Formal Verification of Service Based Systems

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’2013 will provide an opportunity for the community to exchange ideas and to present emerging new papers reporting substantive 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 Engineering (MDE) and SOA
Modeling and Meta-modeling and SOA based applications