First international workshop on verification of business and software processes - Archive ouverte HAL Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2017

First international workshop on verification of business and software processes

Résumé

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. Hence, we propose this workshop to investigate the novelties and advances concerning the application of formal methods in Business/Software (BS) processes design and execution.
Fichier non déposé

Dates et versions

hal-01657681 , version 1 (07-12-2017)

Identifiants

Citer

Souheib Baarir, Kais Klai. First international workshop on verification of business and software processes. International Conference on Software and System Process, Paris, France. ACM, pp.143-144 2017, 978-1-4503-5270-3. ⟨10.1145/3084100.3087676⟩. ⟨hal-01657681⟩
220 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More