Rechercher

[KBI15] Specification and verification of complex business processes: A High-level Petri net-based approach

Conférence Internationale avec comité de lecture : BPM 2015 - 13th International Conference on Business Process Management , November 2015, Vol. 9253, pp.55-71, Series LNCS, Innsbruck, Austria, (DOI: 10.1007/978-3-319-23063-4_4)

Mots clés: Business process modelling, BPMN, RECATNets, Conditional rewriting logic, Maude language and tool.

Résumé: The Business Process Modeling Notation (BPMN) has been widely used as a tool for business process modeling. However, BPMN suffers from a lack of standard formal semantics. This weakness can lead to inconsistencies,ambiguities, and incompletenesses within the developed models. In this paper we propose a formal semantics of BPMN using recursive ECATNets. Owing to this formalism, a large set of BPMN features such cancellation, multiple instantiation of subprocesses and exception handling can be covered while taking into account the data flow aspect. The benefits and usefulness of this modelling are illustrated through two examples. Moreover, since recursive ECATNets semantics is expressed in terms of conditional rewriting logic, one can use the Maude LTL model checker to verify several behavioral properties related to BPMN models.

Commentaires: Download pdf : http://link.springer.com/chapter/10.1007%2F978-3-319-23063-4_4

Equipe: systemes surs
Collaboration: USTHB

BibTeX

@inproceedings {
KBI15,
title="{Specification and verification of complex business processes: A High-level Petri net-based approach}",
author=" A. Kheldoun and K. Barkaoui and M. Ioulalen ",
booktitle="{BPM 2015 - 13th International Conference on Business Process Management }",
year=2015,
edition="Springer",
month="November",
series="LNCS",
volume=9253,
pages="55-71",
address=" Innsbruck, Austria",
note="{Download pdf : http://link.springer.com/chapter/10.1007%2F978-3-319-23063-4_4}",
doi="10.1007/978-3-319-23063-4_4",
}