[ecoop-info] CFP-Formal Verification of Service Based Systems FVSBS 2014 @ IEEE WETICE - Parma, Italy
mohamed Graiet
mohamed.graiet1 at gmail.com
Fri Jan 10 12:23:53 CET 2014
=================================================
Call for Papers
Second International track on Formal Verification of Service Based Systems
FVSBS 2014
Conference Track @ IEEE WETICE 2014
Date: June 23 - 25, 2014
Location: Parma - Italy
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’2014 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
IMPORTANT DATES
- Paper Submission: February 4, 2014
- Decision Notification: March 14, 2014
- Camera-Ready Submission : April 11, 2014
TRACK CHAIRS
- Mohamed Graiet (ISIM, Monastir, Tunisia)
- Kais Klai (LIPN, Paris, France)
- Zied Jaoua (ISIM, Monastir, Tunisia)
PAPER SUBMISSION
Authors are invited to submit full papers (about 6 pages) or short papers
(about 4 pages) of doismauble column text using single spaced 10 point size
on 8.5 x 11 inch pages, as per IEEE 8.5 x 11 manuscript guidelines (
http://www.computer.org/portal/web/cscps/formatting).
Authors must upload their paper as PDF file using the EasyChair submission
system. <https://www.easychair.org/conferences/?conf=wetice2014>
PROGRAM COMMITTEE
Abedelhak-Djamel Seriai, LIRMM, Montplier University, France
Adnene Guabtni, NICTA, Australia
Antoine Beugnard, TELECOM Bretagne, France
Armin Haller, Australian National University, Australia
Chihab Hanachi, Toulouse 1 University, IRIT Laboratory, France
Claude Godart, University Henri Poincaré Nancy 1 - LORIA, France
Christelle Urtado, LGI2P, Ecole des Mines d'Alès, France
Eric Cariou, LIUPPA, Pau University, France
Eric Pardede, La Trobe University, Australia
François Charoy, University Henri Poincaré Nancy 1 - LORIA, France
Inge Lucassen, ITNO, The Netherlands
Jean-Claude Royer, Mines de Nantes – INRIA, France
Jörg Desel, University of mathematic and computer science of Hagen, Germany
Kais Klai, LIPN, Paris13 University, France
Khaled Gaaloul, CRP Henri Tudor, Luxembourg
Laure Petrucci, LIPN, Paris13 University, France
Maciej Zaremba, National University of Ireland, Galway, Ireland
Mohamed Graiet, ISIMM, Monastir University, Tunisia
Mohamed Tahar Bhiri, FSS, Sfax University, Tunisia
Mourad Chabane Oussalah, University of Nantes, France
Mourad Kmimech, ISIMa, Monastir University, Tunisia
Nadia Bali, ISIMM, Monastir University, Tunisia
Nguyen Ngoc Chan,TELECOM SudParis, France
Olivier Barais, IRISA, France
Pascal ANDRE, LINA, Nantes University, France
Philippe Aniorté, LIUPPA, Pau University, France
Regine LALEAU, LACL, Paris-Est Creteil University, France
Sami Bhiri, DERI, National University of Ireland, Irland
Sami Evangelista, LIPN, Paris13 University, France
Samir Tata, Institut Telecom, Telecom SudParis, France
Walid Gaaloul, Institut Telecom, Telecom SudParis, France
Yamine Ait Ameur, LISI, ENSMA, France
Yves Ledru, LIG, Grenoble University, France
Zhangbing Zhou,University of Geosciences, China
Zied Jaoua, ISIM, Monastir University, Tunisia
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://web.satd.uma.es/pipermail/ecoop-info/attachments/20140110/cd8bf2f6/attachment.html>
More information about the ecoop-info
mailing list