Abstract
Business Process Model and Notation (BPMN) is a standard modelling language for workflow-based processes. Building an optimised process with this language is not easy for non-expert users due to the lack of support at design time. This paper presents a lightweight modelling tool to support such users in building optimised processes. First, the user defines the tasks involved in the process and possibly gives a partial order between tasks. The tool then generates an abstract graph, which serves as a simplified version of the process being specified. Next, the user can refine this graph using the minimum and maximum execution time of the whole graph computed by the tool. Once the user is satisfied with a specific abstract graph, the tool synthesises a BPMN process corresponding to that graph. Our tool is called WEASY and is available as an open-source web application.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The source code and the instructions for installing and using WEASY are available at: https://github.com/ahzm/weasy.
References
Durán, F., Rocha, C., Salaün, G.: Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT. In: Rusu, V. (ed.) WRLA 2018. LNCS, vol. 11152, pp. 76–97. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-99840-4_5
Durán, F., Rocha, C., Salaün, G.: A rewriting logic approach to resource allocation analysis in business process models. Sci. Comput. Program. 183, 102303 (2019)
Falcone, Y., Salaün, G., Zuo, A.: Semi-automated modelling of optimized BPMN processes. In: Proceedings of SCC 2021. IEEE (2021)
Falcone, Y., Salaün, G., Zuo, A.: Probabilistic model checking of BPMN processes at runtime. In: ter Beek, M.H., Monahan, R. (eds.) IFM 2022. LNCS, vol. 13274, pp. 191–208. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-07727-2_11
ISO/IEC: International Standard 19510, Information technology - Business Process Model and Notation (2013)
Ivanchikj, A., Serbout, S., Pautasso, C.: From text to visual BPMN process models: design and evaluation. In Proceedings of MoDELS 2020, pp. 229–239. ACM (2020)
van der Aalst, W.M.P.: Process mining. Commun. ACM 55(8), 76–83 (2012)
Acknowledgements
This work was supported by the Région Auvergne-Rhône-Alpes within the “Pack Ambition Recherche” programme.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Contreras, A., Falcone, Y., Salaün, G., Zuo, A. (2022). WEASY: A Tool for Modelling Optimised BPMN Processes. In: Tapia Tarifa, S.L., Proença, J. (eds) Formal Aspects of Component Software. FACS 2022. Lecture Notes in Computer Science, vol 13712. Springer, Cham. https://doi.org/10.1007/978-3-031-20872-0_7
Download citation
DOI: https://doi.org/10.1007/978-3-031-20872-0_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-20871-3
Online ISBN: 978-3-031-20872-0
eBook Packages: Computer ScienceComputer Science (R0)