Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Enabling Self-adaptive Workflows for Cyber-physical Systems Read chapter Read first chapter

2016 | OriginalPaper | Chapter

Using the Guard-Stage-Milestone Notation for Monitoring BPMN-based Processes

Authors : Luciano Baresi, Giovanni Meroni, Pierluigi Plebani

Published in: Enterprise, Business-Process and Information Systems Modeling

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Enabling Self-adaptive Workflows for Cyber-physical Systems
next chapter Modelling the Process of Process Execution: A Process Model-Driven Approach to Customising User Interfaces for Business Process Support Systems
Footnotes
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.
 
4
A prototype E-GSM engine is currently under development.
 
Literature
1.
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)CrossRef
2.
Baresi, L., Meroni, G., Plebani, P.: A gsm-based approach for monitoring cross-organization business processes using smart objects (2015). Accepted for publication
3.
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)CrossRef
4.
Eshuis, R., Van Gorp, P.: Synthesizing data-centric models from business process models. Computing 98, 1–29 (2015)
5.
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)CrossRef
6.
Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: A model transformation tool. Sci. Comput. Program. 72(1), 31–39 (2008)CrossRef
7.
Köpke, J., Su, J.: Towards ontology guided translation of activity-centric processes to GSM (2015). Accepted for publication
8.
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)CrossRef
9.
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)CrossRef
10.
11.
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)CrossRef
12.
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)CrossRef
13.
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)
14.
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)CrossRef
15.
Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies. Springer Science & Business Media, Heidelberg (2012)CrossRef
16.
Rozinat, A., van der Aalst, W.M.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)CrossRef
17.
Russell, N., Hofstede, A., Mulyar, N.: Workflow controlflow patterns: A revised view. Technical report BPM-06-22, BPM Center Report, BPMcenter.org (2006)
Metadata
Title
Using the Guard-Stage-Milestone Notation for Monitoring BPMN-based Processes
Authors
Luciano Baresi
Giovanni Meroni
Pierluigi Plebani
Copyright Year
2016
Book
Enterprise, Business-Process and Information Systems Modeling

Print ISBN: 978-3-319-39428-2

Electronic ISBN: 978-3-319-39429-9

Copyright Year: 2016

DOI
https://doi.org/10.1007/978-3-319-39429-9_2

Premium Partner

    Image Credits