nach oben

Software and Systems Modeling

Erschienen in:

25.05.2018 | Regular Paper

Conformance checking in UML artifact-centric business process models

verfasst von: Montserrat Estañol, Jorge Munoz-Gama, Josep Carmona, Ernest Teniente

Erschienen in: Software and Systems Modeling | Ausgabe 4/2019

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Business artifacts have appeared as a new paradigm to capture the information required for the complete execution and reasoning of a business process. Likewise, conformance checking is gaining popularity as a crucial technique that enables evaluating whether recorded executions of a process match its corresponding model. In this paper, conformance checking techniques are incorporated into a general framework to specify business artifacts. By relying on the expressive power of an artifact-centric specification, BAUML, which combines UML state and activity diagrams (among others), the problem of conformance checking can be mapped into the Petri net formalism and its results be explained in terms of the original artifact-centric specification. In contrast to most existing approaches, ours incorporates data constraints into the Petri nets, thus achieving conformance results which are more precise. We have also implemented a plug-in, within the ProM framework, which is able to translate a BAUML into a Petri net to perform conformance checking. This shows the feasibility of our approach.

Vorheriger Artikel Using language workbenches and domain-specific languages for safety-critical software development

Nächster Artikel Model-integrating development of software systems: a flexible component-based approach

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

To allow for a simple formalization, these extensions will not be formalized here and only be considered informally when needed in the next section.

http://www.promtools.org/.

We overload the syntax of the Petri nets to incorporate in some of the arcs information on the tag used. This is only to facilitate the translation in the next step, and has no semantics associated.

We introduced this possibility due to appearing often in specifications, but as Fig. 10 suggests, it is a modification of the one corresponding to the comparison to 0.

http://www.promtools.org/.

https://svn.win.tue.nl/trac/prom/browser/Packages/Specifact.

https://www.visual-paradigm.com.

http://www.xes-standard.org/.

Adriansyah, A.: Aligning Observed and Modeled Behavior. Ph.D. thesis, Eindhoven University of Technology (2014)

Bagheri Hariri, B., et al.: Verification of relational data-centric dynamic systems with external services. In: PODS, pp. 163–174. ACM (2013)

Borrego, D., Gasca, R.M., López, M.T.G.: Automating correctness verification of artifact-centric business process models. Inf. Softw. Technol. 62, 187–197 (2015)CrossRef

Buijs, J.C.A.M.: Flexible Evolutionary Algorithms for Mining Structured Process Models. Ph.D. thesis, Eindhoven University of Technology (2014)

Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: Quality dimensions in process discovery: the importance of fitness, precision, generalization and simplicity. Int. J. Cooperative Inf. Syst. 23(1), 29 (2014)

Calvanese, D., Montali, M., Estañol, M., Teniente, E.: Verifiable UML artifact-centric business process models. In: CIKM 2014, pp. 1289–1298. ACM (2014)

Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic. ACM Trans. Database Syst. 37(3), 22 (2012)CrossRef

Damaggio, E., Hull, R., Vaculín, R.: On the equivalence of incremental and fixpoint semantics for business artifacts with Guard Stage Milestone lifecycles. Inf. Syst. 38(4), 561 – 584 (2013). Special section on BPM 2011 conference

Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281–1294 (2008)CrossRef

10.

de Leoni, M., Maggi, F.M., van der Aalst, W.M.P.: An alignment-based framework to check the conformance of declarative process models and to preprocess event-log data. Inf. Syst. 47, 258–277 (2015). https://doi.org/10.1016/j.is.2013.12.005 CrossRef

11.

Estañol, M., Sancho, M., Teniente, E.: Verification and validation of UML artifact-centric business process models. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015, LNCS, vol. 9097, pp. 434–449. Springer, Berlin (2015)

12.

Estañol, M., Sancho, M.R., Teniente, E.: Reasoning on UML data-centric business process models. In: Basu, S., et al. (eds.) Service-Oriented Computing–11th International Conference, ICSOC 2013, LNCS, vol. 8274, pp. 437–445. Springer, Berlin (2013)

13.

Estañol, M., Sancho, M.R., Teniente, E.: Ensuring the semantic correctness of a BAUML artifact-centric BPM. Inf. Softw. Technol. 93, 147–162 (2018)CrossRef

14.

Fahland, D., de Leoni, M., van Dongen, B.F., van der Aalst, W.M.P.: Conformance checking of interacting processes with overlapping instances. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. Proceedings, LNCS, vol. 6896, pp. 345–361. Springer, Berlin (2011)

15.

Fahland, D., Leoni, M.D., van Dongen, B.F., van der Aalst, W.M.P.: Behavioral conformance of artifact-centric process models. In: Abramowicz, W. (ed.) BIS 2011, LNBIP, vol. 87, pp. 37–49. Springer, Berlin (2011)

16.

Fahland, D., et al.: Checking Behavioral Conformance of Artifacts. Tech. Rep. BPM-11-07, BPM Center (2011)

17.

Gerede, C.E., Su, J.: Specification and verification of artifact behaviors in business process models. In: Krämer, B.J., Lin, K.J., Narasimhan, P. (eds.) ICSOC, LNCS, vol. 4749, pp. 181–192. Springer, Berlin (2007)

18.

Hull, R.: Artifact-centric business process models: Brief survey of research results and challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008, LNCS, vol. 5332, pp. 1152–1163. Springer, Berlin (2008)

19.

ISO: ISO/IEC 19505-2:2012—OMG UML superstructure 2.4.1 (2012). http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=52854

20.

Leoni, M.D., Aalst, W.M.P.V.D., Dongen, B.F.V.: Data- and resource-aware conformance checking of business processes. In: Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. (eds.) Business Information Systems, vol. 87, pp. 48–59. Springer, Berlin (2012)

21.

Lu, X., Fahland, D., van der Aalst, W.M.P.: Conformance checking based on partially ordered event data. In: Fournier, F., Mendling, J. (eds.) Business Process Management Workshops—BPM 2014, Revised Papers, LNBIP, vol. 202, pp. 75–88. Springer, Berlin (2014)

22.

Mannhardt, F., de Leoni, M., Reijers, H.A., van der Aalst, W.M.P.: Balanced multi-perspective checking of process conformance. Computing 98(4), 407–437 (2016). https://doi.org/10.1007/s00607-015-0441-1 MathSciNetCrossRefMATH

23.

Meyer, A., Weske, M.: Weak conformance between process models and synchronized object life cycles. In: Franch, X., Ghose, A.K., Lewis, G.A., Bhiri, S. (eds.) ICSOC 2014, LNCS, vol. 8831, pp. 359–367. Springer, Berlin (2014). https://doi.org/10.1007/978-3-662-45391-9_25

24.

Munoz-Gama, J.: Conformance Checking and Diagnosis in Process Mining—Comparing Observed and Modeled Processes, LNBIP, vol. 270. Springer, Berlin (2016)

25.

Munoz-Gama, J., Carmona, J., van der Aalst, W.M.P.: Single-entry single-exit decomposed conformance checking. Inf. Syst. 46, 102–122 (2014)CrossRef

26.

Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)CrossRef

27.

Olivé, A.: Conceptual Modeling of Information Systems. Springer, Berlin (2007)MATH

28.

OMG: Object Constraint Language—version 2.4 (2014). http://www.omg.org/spec/OCL/2.4/PDF

29.

Popova, V., Fahland, D., Dumas, M.: Artifact lifecycle discovery. Int. J. Cooperative Inf. Syst. 24(1), 44 (2015)

30.

Queralt, A., Teniente, E.: Reasoning on UML conceptual schemas with operations. In: CAiSE, pp. 47–62 (2009)

31.

Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64–95 (2008)CrossRef

32.

Solomakhin, D., Montali, M., Tessaris, S., Masellis, R.D.: Verification of artifact-centric systems: decidability and modeling issues. In: Basu, S., et al. (eds.) Service-Oriented Computing–11th International Conference, ICSOC 2013, LNCS, vol. 8274, pp. 252–266. Springer, Berlin (2013)

33.

Störrle, H.: Semantics of control-flow in UML 2.0 activities. In: VL/HCC, pp. 235–242. IEEE Computer Society (2004)

34.

van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes. Springer (2011)

35.

van der Aalst, W.M.P.: Decomposing petri nets for process mining: a generic approach. Distrib. Parallel Databases 31(4), 471–507 (2013)CrossRef

36.

van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245–275 (2005)CrossRef

37.

van der Aalst, W.M.P., et al.: Soundness of workflow nets: classification, decidability, and analysis. Form. Asp. Comput. 23(3), 333–363 (2011)MathSciNetCrossRefMATH

38.

Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Berlin (2007)

Titel: Conformance checking in UML artifact-centric business process models
verfasst von: Montserrat Estañol
Jorge Munoz-Gama
Josep Carmona
Ernest Teniente
Publikationsdatum: 25.05.2018
Verlag: Springer Berlin Heidelberg
Erschienen in: Software and Systems Modeling / Ausgabe 4/2019
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI: https://doi.org/10.1007/s10270-018-0681-6

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Wirtschaft"

Springer Professional "Technik"

Weitere Artikel der Ausgabe 4/2019

Evaluating user interface generation approaches: model-based versus model-driven development

Improving user productivity in modeling tools by explicitly modeling workflows

A4WSN: an architecture-driven modelling platform for analysing and developing WSNs

SQME: a framework for modeling and evaluation of software architecture quality attributes

Survey and classification of model transformation tools

Use, potential, and showstoppers of models in automotive requirements engineering