About VBSP 2017

Processes, whatever the field (e.g. software, military or healthcare), are everywhere. They represent the building block of any information system nowadays. Business processes are used to represent the enterprise’s business and services it delivers. They are also used as a mean to enforce customer’s satisfaction and to create an added value to the company. Software processes are critical as well since they represent the guaranty to respect development process’s deadlines and to ensure a certain quality of the delivered software, which in some cases will end up being the company’s information system itself. It is then more than critical to seriously consider the design of such processes and to make sure that they are free of any kind of inconsistencies. One possible way to unsure that the developed processes are safe is to apply formal verification. This workshop investigates the novelties and advances concerning the application of formal methods in Business/Software (BS) processes design and execution.


Accepted papers will be published in the Computer Research Repository (CoRR) and referenced in DBLP.

Call for papers

We encourage submissions that push the state of the art and practice in the following topics (but not limited to):

  • Formal specification of Business/Software (BS) processes modeling languages.
  • Formal approaches in the development of BS processes
  • Ability of formal methods to handle real-world problems
  • Formal Tools and technologies for BS process verification
  • Impact of formal methods on BS process based applications
  • Integration of Formal methods in the BS process life cycle
  • Case studies
  • Experimental validation

Important Dates

  • Intent of submission with abstract: 2 May, 2017
  • Paper submission: 5 May 2017
  • Notification: 1 June, 2017
  • Camera-ready paper: 16 June, 2017

Submit Your Contribution Work

Formal admission to the workshop will be based on a position paper. The length and the format of the submissions will have to adhere to the FULL PAPER FORMAT of the ICSSP conference guidelines. The authors are expected to explain the contribution to the field and the novelty of their work and articulate the current status of the work. The electronic submission will be handled through EMAIL. Each paper will be reviewed by at least 2 members of the organizer or program committees.

Send your contribution to (with VBSP2017 in the title)

souheib.baarir@lip6.fr and kais.klai@lipn.univ-paris13.fr

Workshop Schedule

Welcome and intro

13:55 - 14:00

First Session

14:00 - 15:00

Verification of data-driven business processes

by R. Eshuis (slides)

15:00 - 15:30

e-Citiz project

by Andrey Aadovykh

15:30 - 16:30


Second Session

16:00 - 17:00

Formal Verification of Business Process Configuration within a Cloud Environment

by S. Boubaker (slides)

17:00 - 17:30

Preserving Soundness through Composition of Workflow Nets

by J.F. Pradat-Peyre

17:30 - 18:00

ProVer: an SMT-based framework for process verification

by H. Metin


18:00 - 18:15


University Pierre & Marie Curie
1st floor of Tower 26.
Rooms are announced on the ICSSP Conferences web site
Campus Jussieu, 4 place Jussieu, 75005 Paris
Contact Email: souheib.baarir@lip6.fr


Program Committee