nach oben

Erschienen in:

2017 | OriginalPaper | Buchkapitel

Automatic Discovery of Object-Centric Behavioral Constraint Models

verfasst von : Guangming Li, Renata Medeiros de Carvalho, Wil M. P. van der Aalst

Erschienen in: Business Information Systems

Verlag: Springer International Publishing

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

Process discovery techniques have successfully been applied in a range of domains to automatically discover process models from event data. Unfortunately existing discovery techniques only discover a behavioral perspective of processes, where the data perspective is often as a second-class citizen. Besides, these discovery techniques fail to deal with object-centric data with many-to-many relationships. Therefore, in this paper, we aim to discover a novel modeling language which combines data models with declarative models, and the resulting object-centric behavioral constraint model is able to describe processes involving interacting instances and complex data dependencies. Moreover we propose an algorithm to discover such models.

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 "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

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

Vorheriges Kapitel Estimating the Quality of Articles in Russian Wikipedia Using the Logical-Linguistic Model of Fact Extraction

Nächstes Kapitel Semi-automated Model-Based Generation of Enterprise Architecture Deliverables

http://www.processmining.org/prom/start.

Dolibarr ERP/CRM is an open source (webpage-based) software package for small and medium companies (www.dolibarr.org). It supports sales, orders, procurement, shipping, payments, contracts, project management, etc.

\(\square \) indicates the constraint should hold at any point in time and \(\diamondsuit \) indicates the constraint should hold from some point onwards.

For the sake of brevity, we omit redundant cardinalities in the graph. For instance, “\(\square 1\)” implies “\(\diamondsuit 1\)” and therefore “\(\diamondsuit 1\)” can be removed in this case.

In this paper, we use the upper-case (lower-case) letters to express activities (classes), and use the upper-case (lower-case) letters with a footnote to express events (objects).

We assume that objects cannot change class or be removed at a later stage to avoid referencing non-existent objects. Objects can be marked as deleted but cannot be removed (e.g., by using an attribute or relation).

In terms of cardinalities on the source (target) side of a relationship, the objects in the target (source) class are reference objects.

There is a reference relation between an event (e.g., \(A_1\)) and an object (e.g., \(a_1\)) if and only if the event refers to the object, denoted as \((A_1,a_1)\). The reference relations accumulate along with the occurrence of events. For instance, after \(A_1\) happens, the set of reference relations is \(\{(A_1,a_1),(A_1,b_1),(A_1,b_2)\}\); after \(B_1\) happens, the set of reference relations is \(\{(A_1,a_1),(A_1,b_1),(A_1,b_2),(B_1,b_1)\}\).

The implied constraint by one constraint has the same reference activity, the same target activity and refers to the same class or relationship as the constraint as well as allowing more behavior than the constraint.

These tables and logs can be found at https://svn.win.tue.nl/repos/prom/Packages/ OCBC/Trunk/tests/testfiles/logs&models/OCBCModelDiscovery.

Download ProM 6 Nightly builds from http://www.promtools.org/prom6/nightly/ and update the OCBC package.

van der Aalst, W.M.P.: Process Mining: Data Science in Action. Springer, Heidelberg (2016)CrossRef

van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Proclets: a framework for lightweight interacting workflow processes. Int. J. Coop. Inf. Syst. 10(4), 443–481 (2001)CrossRef

van der Aalst, W.M.P., Li, G., Marco, M.: Object-centric behavioral constraints. Corr technical report, arXiv.org e-Print archive (2017). https://arxiv.org/abs/1703.05740

van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: balancing between flexibility and support. Comput. Sci. Res. Devel. 23(2), 99–113 (2009)CrossRef

Chen, P.: The entity-relationship model - toward a unified view of data. ACM Trans. Database Syst. 1(1), 9–36 (1976)MathSciNetCrossRef

Cohn, D., Hull, R.: Business artifacts: a data-centric approach to modeling business operations and processes. IEEE Data Eng. Bull. 32(3), 3–9 (2009)

Genrich, H.J.: Predicate/transition-nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Advances in Petri Nets 1986 Part I: Petri Nets: Central Models and Their Properties. LNCS, vol. 254, pp. 207–247. Springer, Heidelberg (1987). doi:10.1007/BFb0046841

Genrich, H.J., Lautenbach, K.: The analysis of distributed systems by means of predicate/transition-nets. In: Kahn, G. (ed.) Semantics of Concurrent Compilation. LNCS, vol. 70, pp. 123–146. Springer, Heidelberg (1979). doi:10.1007/BFb0022467 CrossRef

Object Management Group: OMG Unified Modeling Language 2.5. OMG (2013)

10.

Halpin, T., Morgan, T.: Information Modeling and Relational Databases. Morgan Kaufmann Publishers Inc., San Francisco (2008)

11.

van Hee, K.M.: Information System Engineering: A Formal Approach. Cambridge University Press, Cambridge (1994)MATH

12.

Hull, R., et al.: Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events. In: International Conference on Distributed Event-Based Systems (DEBS 2011). ACM (2011)

13.

Jensen, K.: Coloured petri nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Advances in Petri Nets 1986 Part I: Petri Nets Central Models and Their Properties. LNCS, vol. 254, pp. 248–299. Springer, Heidelberg (1987). doi:10.1007/BFb0046842

14.

Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer, Heidelberg (1996)CrossRefMATH

15.

Lohmann, N.: Compliance by design for artifact-centric business processes. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 99–115. Springer, Heidelberg (2011). doi:10.1007/978-3-642-23059-2_11 CrossRef

16.

Lu, X., Nagelkerke, M., van de Wiel, D., Fahland, D.: Discovering interacting artifacts from ERP systems. IEEE Trans. Serv. Comput. 8(6), 861–873 (2015)CrossRef

17.

de Leoni, M., van der Aalst, W.M.P.: Mining, data-aware process: discovering decisions in processes using alignments. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing, pp. 1454–1461. ACM (2013)

18.

Nigam, A., Caswell, N.S.: Business artifacts: an approach to operational specification. IBM Syst. J. 42(3), 428–445 (2003)CrossRef

19.

Nooijen, E.H.J., Dongen, B.F., Fahland, D.: Automatic discovery of data-centric and artifact-centric processes. In: Rosa, M., Soffer, P. (eds.) BPM 2012. LNBIP, vol. 132, pp. 316–327. Springer, Heidelberg (2013). doi:10.1007/978-3-642-36285-9_36 CrossRef

20.

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

21.

Rozinat, A., Aalst, W.M.P.: Decision mining in ProM. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 420–425. Springer, Heidelberg (2006). doi:10.1007/11841760_33 CrossRef

22.

Verkoulen, P.A.C.: Design, integrated information systems: an approach based on object-oriented concepts and petri nets. Ph.D. thesis, Eindhoven University of Technology, Eindhoven (1993)

23.

Zervos, C.R.: Coloured petri nets: their properties and applications. Ph.D. thesis, University of Michigan, Michigan (1977)

Titel: Automatic Discovery of Object-Centric Behavioral Constraint Models
verfasst von: Guangming Li
Renata Medeiros de Carvalho
Wil M. P. van der Aalst
Verlag: Springer International Publishing
Buch: Business Information Systems
Print ISBN: 978-3-319-59335-7

Electronic ISBN: 978-3-319-59336-4

Copyright-Jahr: 2017
DOI: https://doi.org/10.1007/978-3-319-59336-4_4

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 "Technik"

Springer Professional "Wirtschaft"

Premium Partner