The woman formalism for expressing process models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 9728, Issue , 2016, Pages 363-378

  Ferilli, Stefano ^a  

^a UNIVERSITY OF BARI   (Italy)

Author keywords

Business process modeling; Logic programming; Process mining

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; LOGIC PROGRAMMING; PETRI NETS; RECONFIGURABLE HARDWARE; SYSTEMS ENGINEERING; WORK SIMPLIFICATION;

BUSINESS PROCESS MODEL; COMPLEX PATTERN; COMPLEX PROCESSES; FIRST ORDER LOGIC; PROCESS MINING; PROCESS MODEL; WORKFLOW MANAGEMENTS; WORKFLOW MODELS;

DATA MINING;

EID: 84978937967     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-41561-1_27     Document Type: Conference Paper

References (22)

1. Agrawal, R., Gunopulos, D., Leymann, F.: Mining process models from workflow logs. In: Schek, H.-J., Saltor, F., Ramos, I., Alonso, G. (eds.) EDBT 1998. LNCS, vol. 1377, pp. 467-483. Springer, Heidelberg (1998)
2. Cook, J. E., Wolf, A. L.: Discovering models of software processes from event-based data. Technical Report CU-CS-819-96, Department of Computer Science, University of Colorado (1996)
3. Cook, J. E., Wolf, A. L.: Event-based detection of concurrency. Technical report CU-CS-860-98, Department of Computer Science, University of Colorado (1998)
4. de Medeiros, A. K. A., van der Aalst, W. M. P., Weijters, A. J. M. M. T.: Workflow mining: current status and future directions. In: Meersman, R., Schmidt, D. C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol. 2888, pp. 389-406. Springer, Heidelberg (2003)
5. de Medeiros, A. K. A., van Dongen, B. F., van der Aalst, W. M. P., Weijters, A.: Process mining: extending the α-algorithm to mine short loops. In: WP 113, BETA Working Paper Series. Eindhoven University of Technology (2004)
6. de Medeiros, A. K. A., Weijters, A. J. M. M., van der Aalst, W. M. P.: Genetic process mining: an experimental evaluation. Data Min. Knowl. Discov. 14, 245-304 (2007)
7. Ferilli, S.: WoMan: logic-based workflow learning and management. IEEE Trans. Syst. Man Cybern. Syst. 44, 744-756 (2014)
8. Ferilli, S., Esposito, F.: A logic framework for incremental learning of process models. Fundamenta Informaticae 128 (4), 413-443 (2013). IOS Press
9. Herbst, J.: Dealing with concurrency in workflow induction. In: Proceedings of European Concurrent Engineering Conference, pp. 175-182. SCS Europe (2000)
10. Herbst, J., Karagiannis, D.: Integrating machine learning and workflow management to support acquisition and adaptation of workflow models. In: Proceedings of 9th International Workshop on Database and Expert Systems Applications, pp. 745-752. IEEE (1998)
11. Herbst, J., Karagiannis, D.: An inductive approach to the acquisition and adaptation of workflow models. In Proceedings of IJCAI 1999 Workshop on Intelligent Workflow and Process Management: The New Frontier for AI in Business, pp. 52-57 (1999)
12. Herbst, J.: A machine learning approach to workflow management. In: Lopez de Mantaras, R., Plaza, E. (eds.) ECML 2000. LNCS (LNAI), vol. 1810, pp. 183-194. Springer, Heidelberg (2000)
13. van der Aalst, W., et al.: Process mining manifesto. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part I. LNBIP, vol. 99, pp. 169-194. Springer, Heidelberg (2012)
14. Maggi, F. M., Bose, R. P. J. C., van der Aalst, W. M. P.: Efficient discovery of understandable declarative process models from event logs. In: Ralyté, J., Franch, X., Brinkkemper, S., Wrycza, S. (eds.) CAiSE 2012. LNCS, vol. 7328, pp. 270-285. Springer, Heidelberg (2012)
15. Pesic, M., van der Aalst, W. M. P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169-180. Springer, Heidelberg (2006)
16. Rozinat, A., van der Aalst, W. M. P.: Decision mining in business processes. In: WP 164, BETA Working Paper Series. Eindhoven University of Technology (2006)
17. van der Aalst, W. M. P.: The application of petri nets to workflow management. J. Circ. Syst. Comput. 8, 21-66 (1998)
18. van der Aalst, W. M. P.: Process mining: overview and opportunities. ACM Trans. Manag. Inf. Syst. 3, 7.1-7.17 (2012)
19. van der Aalst, W. M. P., Dustdar, S.: Process mining put into context. IEEE Internet Comput. 16, 82-86 (2012)
20. van der Aalst, W. M. P., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16, 1128-1142 (2004)
21. Weijters, A., van der Aalst, W. M. P.: Rediscovering workflow models from eventbased data. In: Proceedings of 11th Dutch-Belgian Conference of Machine Learning (Benelearn 2001), pp. 93-100 (2001)
22. Wen, L., Wang, J., Sun, J.: Detecting implicit dependencies between tasks from event logs. In: Zhou, X., Li, J., Shen, H. T., Kitsuregawa, M., Zhang, Y. (eds.) APWeb 2006. LNCS, vol. 3841, pp. 591-603. Springer, Heidelberg (2006)