Non-Recursive LSAWfP Models are Structured Workflows
Résumé
Workflow languages play a key role in the discipline of Business Process Management (BPM): they allow business processes to be modelled in order to simplify their automatic management by means of BPM systems. Numerous workflow languages addressing various issues (expressiveness, formal analysis, etc.) have been proposed. In the last decade, some workflow languages based on context-free grammars (having then formal semantics) and offering new perspectives to process modelling, have emerged: LSAWfP (a Language for the Specification of Administrative Workflow Processes) is one of them. LSAWfP has many advantages over other existing languages, but it is its expressiveness (which has been very little addressed in previous works) that is studied in this paper. Indeed, the work in this paper aims to demonstrate that any non-recursive LSAWfP model is a structured workflow. Knowing that the majority of commercial BPM systems only implement structured workflows, the result of this study establishes that, although LSAWfP is still much more theoretical, it is a language with commercial potential.
Fichier principal
Non-Recursive_LSAWfP_Models_are_Structured_Workflows.pdf (433.86 Ko)
Télécharger le fichier
Origine | Fichiers produits par l'(les) auteur(s) |
---|