Skip to main content

2016 | OriginalPaper | Buchkapitel

Annotating and Mining for Effects of Processes

verfasst von : Suman Roy, Metta Santiputri, Aditya Ghose

Erschienen in: Conceptual Modeling

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

We provide a novel explicit annotation of a process model by way of accumulating effects of individual tasks specified by analysts using belief bases and computing the accumulated effect up to the point of execution of the process model in an automated manner. This technique permits the analyst to specify immediate effect annotations in a practitioner-accessible simple propositional logic formulas and generates a sequence of tasks along with cumulative effects, called effect logs. Further we propose and solve an effect mining problem, that is, given an effect log discover the process model with effect annotations of individual tasks which is close to the original annotated process model.

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!

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!

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!

Fußnoten
1
Process models captured using industry standard notation BPMN.
 
2
we shall drop the subscript \({\mathbf {P}}\) when it is clear from the context.
 
3
For the sake of rigor \(\mathcal{P}\) can be partitioned into two sets \(\mathcal{P}= {\mathcal{P}}_t \uplus {\mathcal{P}}_x\), where tasks are annotated with symbols from \({\mathcal{P}}_t\), and conditions on choices come from \({\mathcal{P}}_x\).
 
Literatur
1.
Zurück zum Zitat 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 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
2.
Zurück zum Zitat Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Analysis on demand: instantaneous soundness checking of industrial business process models. Data Knowl. Eng. 70(5), 448–466 (2011)CrossRef Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., Völzer, H., Wolf, K.: Analysis on demand: instantaneous soundness checking of industrial business process models. Data Knowl. Eng. 70(5), 448–466 (2011)CrossRef
3.
Zurück zum Zitat Hinge, K., Ghose, A.K., Koliadis, G., Process, S.: A tool for semantic effect annotation of business process models. In: Proceedings of the 13th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2009, pp. 54–63 (2009) Hinge, K., Ghose, A.K., Koliadis, G., Process, S.: A tool for semantic effect annotation of business process models. In: Proceedings of the 13th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2009, pp. 54–63 (2009)
4.
Zurück zum Zitat Hoffmann, J., Weber, I., Governatori, G.: On compliance checking for clausal constraints in annotated process models. Inf. Syst. Front. 14(2), 155–177 (2012)CrossRef Hoffmann, J., Weber, I., Governatori, G.: On compliance checking for clausal constraints in annotated process models. Inf. Syst. Front. 14(2), 155–177 (2012)CrossRef
5.
Zurück zum Zitat Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell. 52(3), 263–294 (1991)MathSciNetCrossRefMATH Katsuno, H., Mendelzon, A.O.: Propositional knowledge base revision and minimal change. Artif. Intell. 52(3), 263–294 (1991)MathSciNetCrossRefMATH
6.
Zurück zum Zitat Kiepuszewski, B., ter Hofstede, A., van der Aalst, W.: Fundamentals of control flow in workflows. Acta Informatica 39, 143–209 (2003)MathSciNetCrossRefMATH Kiepuszewski, B., ter Hofstede, A., van der Aalst, W.: Fundamentals of control flow in workflows. Acta Informatica 39, 143–209 (2003)MathSciNetCrossRefMATH
8.
Zurück zum Zitat Liu, R., Kumar, A.: An analysis and taxonomy of unstructured workflows. In: Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 268–284. Springer, Heidelberg (2005). doi:10.1007/11538394_18 CrossRef Liu, R., Kumar, A.: An analysis and taxonomy of unstructured workflows. In: Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 268–284. Springer, Heidelberg (2005). doi:10.​1007/​11538394_​18 CrossRef
9.
Zurück zum Zitat Roy, S., Santriputri, M., Ghose, A.: Annotating and mining for effects of processes. Technical report, University of Wollongong, Australia (2015, Available on request) Roy, S., Santriputri, M., Ghose, A.: Annotating and mining for effects of processes. Technical report, University of Wollongong, Australia (2015, Available on request)
10.
Zurück zum Zitat Santiputri, M., Ghose, A.K., Dam, H.K., Wen, X.: Mining process task post-conditions. In: Johannesson, P., Lee, M.L., Liddle, S.W., Opdahl, A.L., López, Ó.P. (eds.) ER 2015. LNCS, vol. 9381, pp. 514–527. Springer, Heidelberg (2015). doi:10.1007/978-3-319-25264-3_38 CrossRef Santiputri, M., Ghose, A.K., Dam, H.K., Wen, X.: Mining process task post-conditions. In: Johannesson, P., Lee, M.L., Liddle, S.W., Opdahl, A.L., López, Ó.P. (eds.) ER 2015. LNCS, vol. 9381, pp. 514–527. Springer, Heidelberg (2015). doi:10.​1007/​978-3-319-25264-3_​38 CrossRef
11.
Zurück zum Zitat van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128–1142 (2004)CrossRef van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128–1142 (2004)CrossRef
12.
Zurück zum Zitat Dongen, B.F., Aalst, W.M.P.: Multi-phase process mining: building instance graphs. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol. 3288, pp. 362–376. Springer, Heidelberg (2004). doi:10.1007/978-3-540-30464-7_29 CrossRef Dongen, B.F., Aalst, W.M.P.: Multi-phase process mining: building instance graphs. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol. 3288, pp. 362–376. Springer, Heidelberg (2004). doi:10.​1007/​978-3-540-30464-7_​29 CrossRef
13.
Zurück zum Zitat Vanhatalo, J., Völzer, H., Koehler, J.: The refined process structure tree. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 100–115. Springer, Heidelberg (2008). doi:10.1007/978-3-540-85758-7_10 CrossRef Vanhatalo, J., Völzer, H., Koehler, J.: The refined process structure tree. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 100–115. Springer, Heidelberg (2008). doi:10.​1007/​978-3-540-85758-7_​10 CrossRef
14.
Zurück zum Zitat Vanhatalo, J., Völzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through SESE decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43–55. Springer, Heidelberg (2007). doi:10.1007/978-3-540-74974-5_4 CrossRef Vanhatalo, J., Völzer, H., Leymann, F.: Faster and more focused control-flow analysis for business process models through SESE decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43–55. Springer, Heidelberg (2007). doi:10.​1007/​978-3-540-74974-5_​4 CrossRef
15.
Zurück zum Zitat Weber, I., Hoffmann, J., Mendling, J.: Beyond soundness: on the verification of semantic business process models. Distrib. Parallel Databases 27(3), 271–343 (2010)CrossRef Weber, I., Hoffmann, J., Mendling, J.: Beyond soundness: on the verification of semantic business process models. Distrib. Parallel Databases 27(3), 271–343 (2010)CrossRef
Metadaten
Titel
Annotating and Mining for Effects of Processes
verfasst von
Suman Roy
Metta Santiputri
Aditya Ghose
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-46397-1_24