Abstract
Business processes are usually designed by means of imperative languages to model the acceptable execution of the activities performed within a system or an organization. At the same time, declarative languages are better suited to check the conformance of the states and transitions of the modeled process with respect to its actual execution. To avoid defining models twice from scratch to cope with both the process enactment and its monitoring, this paper proposes an approach for translating BPMN process models to E-GSM ones: an extension of the Guard-Stage-Milestone artifact-centric notation. The paper also shows how a monitoring engine based on E-GSM specifications can detect anomalies during the execution of the process and classify them according to different levels of severity, that is, with respect to the impact on the outcome of the process.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
An ECA rule is an [on e ] [if c ] expression, that is triggered when an event e occurs and the condition c is true. When [on e ] is missing, the ECA is triggered once c becomes true, when [if c ] is missing, the ECA is triggered once e occurs.
- 2.
In this paper we use the notation introduced in [5], so we write \({\texttt {S.DFG}}_\texttt {i}\), \({\texttt {S.PFG}}_\texttt {k}\), \({\texttt {S.FL}}_\texttt {l}\) to indicate the activation of a Data Flow Guard, Process Flow Guard, or a Fault Logger associated with Stage S, \({\texttt {+S.M}}_\texttt {j}\) (\({\texttt {-S.M}}_\texttt {j}\)) to indicate the achievement (invalidation) of a Milestone \({\texttt {M}}_\texttt {j}\), \({\texttt {S.M}}_\texttt {j}\) to indicate that Stage S is closed and a Milestone \({\texttt {M}}_\texttt {j}\) is achieved, and Active(S) to indicate that Stage S is opened.
- 3.
The tool is publicly available at https://bitbucket.org/polimiisgroup/bpmn2egsm.
- 4.
A prototype E-GSM engine is currently under development.
References
Van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) Application and Theory of Petri Nets 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)
Baresi, L., Meroni, G., Plebani, P.: A gsm-based approach for monitoring cross-organization business processes using smart objects (2015). Accepted for publication
Cabanillas, C., Baumgrass, A., Mendling, J., Rogetzer, P., Bellovoda, B.: Towards the enhancement of business process monitoring for complex logistics chains. In: Lohmann, N., Song, M., Wohed, P. (eds.) BPM 2013 Workshops. LNBIP, vol. 171, pp. 305–317. Springer, Heidelberg (2014)
Eshuis, R., Van Gorp, P.: Synthesizing data-centric models from business process models. Computing 98, 1–29 (2015)
Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath III, F.T., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vaculin, R.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 1–24. Springer, Heidelberg (2011)
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Sci. Comput. Program. 72(1), 31–39 (2008)
Köpke, J., Su, J.: Towards ontology guided translation of activity-centric processes to GSM (2015). Accepted for publication
Kumaran, S., Liu, R., Wu, F.Y.: On the duality of information-centric and activity-centric models of business processes. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 32–47. Springer, Heidelberg (2008)
Künzle, V., Reichert, M.: Philharmonicflows: towards a framework for object-aware process management. J. Softw. Maintenance Evol: Res. Pract. 23(4), 205–244 (2011)
Meroni, G., Baresi, L., Plebani, P.: Translating BPMN to E-GSM: specifications and rules. Technical report, Politecnico di Milano (2016). http://hdl.handle.net/11311/976678
Meyer, A., Pufahl, L., Fahland, D., Weske, M.: Modeling and enacting complex data dependencies in business processes. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 171–186. Springer, Heidelberg (2013)
Meyer, A., Weske, M.: Activity-centric and artifact-centric process model roundtrip. In: Lohmann, N., Song, M., Wohed, P. (eds.) Business Process Management Workshops. Lecture Notes in Business Information Processing, vol. 171, pp. 167–181. Springer, Switzerland (2013)
Pesic, M., Schonenberg, H., Van der Aalst, W.M.: Declare: full support for loosely-structured processes. In: Enterprise Distributed Object Computing Conference Proceedings. p. 287. IEEE (2007)
Popova, V., Dumas, M.: From Petri Nets to Guard-Stage-Milestone models. In: La Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. LNBIP, vol. 132, pp. 340–351. Springer, Heidelberg (2013)
Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies. Springer Science & Business Media, Heidelberg (2012)
Rozinat, A., van der Aalst, W.M.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)
Russell, N., Hofstede, A., Mulyar, N.: Workflow controlflow patterns: A revised view. Technical report BPM-06-22, BPM Center Report, BPMcenter.org (2006)
Acknowledgments
This work has been partially funded by the Italian Project ITS Italy 2020 under the Technological National Clusters program.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Baresi, L., Meroni, G., Plebani, P. (2016). Using the Guard-Stage-Milestone Notation for Monitoring BPMN-based Processes. In: Schmidt, R., Guédria, W., Bider, I., Guerreiro, S. (eds) Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2016 2016. Lecture Notes in Business Information Processing, vol 248. Springer, Cham. https://doi.org/10.1007/978-3-319-39429-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-39429-9_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-39428-2
Online ISBN: 978-3-319-39429-9
eBook Packages: Business and ManagementBusiness and Management (R0)