An approach based on Petri nets for the verification and formal validation of business process models in Congolese companies
Une approche basée sur les réseaux Pétri pour la vérification et la validation formelle des modèles de processus métier dans les entreprises congolaises
Résumé
Business Process Modeling (BPMN) notation is a standard used in the requirements specification phases. The plurality of BPMN formalism and the complexity of the system to be developed constitute a source of errors that requires formal verification and validation. The BPMN suffer from the lack of effective analytical approaches, and given the importance of business processes in companies, it is a real danger to let go of anomalies such as interlocking, liveliness and multiple repetition. Precisely, the audit serves to determine in advance whether a process model presents certain desirable behaviors. This article proposes a formal semantics of the BPMN elements defined in terms of mapping to Petri nets in order to apply the different existing analysis techniques.
Résumé La notation de la modélisation des processus métier (BPMN) constitue un standard utilisé dans les phases de spécification de besoins. La pluralité du formalisme BPMN et la complexité du système à développer constituent une source d'erreurs qui nécessite une vérification et validation formelle. Le BPMN souffrent de l'absence d'approches effectives d'analyse, et vu l'importance des processus métiers dans les entreprises, c'est un vrai danger de laisser passer des anomalies telles que l'inter-blocage, la vivacité et la répétition multiple. Justement, la vérification sert à déterminer à l'avance si un modèle de processus présente certains comportements souhaitables. Cet article propose une sémantique formelle des éléments BPMN définis en termes de mappage aux réseaux de Pétri afin d'y appliquer les différentes techniques d'analyse existantes.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...