Mining program workflow from interleaved traces

Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining

Volumn , Issue , 2010, Pages 613-622

  Lou, Jian Guang ^a   Fu, Qiang ^a   Yang, Shengqi ^b   Li, Jiang ^a   Wu, Bin ^b  

^a MICROSOFT RESEARCH ASIA   (China)

^b BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

Author keywords

Graphical behavior models; Temporal properties; Workflow mining

Indexed keywords

BEHAVIOR MODEL; BREADTH-FIRST; COARSE-TO-FINE; CONCURRENT WORKFLOWS; HELP SYSTEMS; KEY PROBLEMS; MINIMAL STATE; PRUNING ALGORITHMS; REFINEMENT ALGORITHMS; SIMULATION DATA; SOFTWARE MAINTENANCE; SOFTWARE SYSTEMS; SYSTEM BEHAVIORS; SYSTEM MAINTENANCE; TEMPORAL PROPERTY; WORK-FLOWS; WORKFLOW MINING; WORKFLOW MODELS;

ALGORITHMS; COMPUTER SOFTWARE; COMPUTER SOFTWARE MAINTENANCE; DATA MINING; MATHEMATICAL OPERATORS;

MANAGEMENT;

EID: 77956200066     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1835804.1835883     Document Type: Conference Paper

References (31)

1. G. Ammons, R. Bodik, and J. R. Larus, "Mining Specifications", in Proc. of POPL'02, Jan. 2002, Portland, USA.
2. David Lo, L. Mariani, and M. Pezzé, "Automatic Steering of Behavioral Model Inference", in Proc. of the 7th ESEC&FSE, Aug. 2009, The Netherlands.
3. R. Silva, J. Zhang, and J. G. Shanahan, "Probabilistic Workflow Mining", in Proc. of ACM SIGKDD'05, Aug. 2005, Chicago, USA.
4. D. Cotroneo, R. Pietrantuono, L. Mariani, and F. Pastore. "Investigation of Failure Causes in Work-load Driven Reliability Testing", In Proc. of the 4th SOQA, Sep. 2007.
5. D. Lorenzoli, L. Mariani, and M. Pezzé. "Automatic Generation of Software Behavioral Models", In Proc. of ICSE, 2008.
6. L. Mariani, M. Pezzé. "Dynamic Detection of COTS Components Incompatibility", IEEE Software, 24(5):76-85, Sep./Oct. 2007.
7. G. Greco, A. Guzzo, L. Pontieri, and D. Sacca. "Mining Expressive Process Models by Clustering Workflow Traces", in Proc. of PAKDD, 2004.
8. N. Walkinshaw, K. Bogdanov, "Inferring Finite-state Models with Temporal Constraints", In Proc. of the 23rd ASE, 2008.
9. A. Biermann, J. Feldman, "On the Synthesis of Finite-state Machines from Samples of Their Behavior", IEEE Transactions on Computers, 21:591-597, 1972.
10. Anand V. Raman, Jon D. Patrick, "The SK-strings Method for Inferring PFSA", In Proc. of the workshop on automata induction, grammatical inference and language acquisition, 1997.
11. S. Ferg, "Event-Driven Programming: Introduction, Tutorial, History", http://eventdrivenpgm.sourceforge.net/, Jan. 2006.
12. W. van der Aalst, A. Wejters, "Process mining: a research agenda", Computers and Industry, vol. 53, pp. 231-244, 2004.
13. G. Greco, A. Guzzo, G. Manco, L. Pontieri, and D. Saccà, "Mining Constrained Graphs: The Case of Workflow Systems", European Workshop on Inductive Database and Constraint Based Mining 2004.
14. R. Agrawal, D. Gunopulos, and F. Leymann, "Mining Process Models from Workflow Logs", in Proc. of the 6th EDBT, pp. 469-483, 1998.
15. W. van der Aalst, A. J. M. M. Weijters and L. Maruster, "Workflow Mining: Discovering Process Models from Event Logs", IEEE Trans. on KDE, vol. 16, 2004.
16. G. Schimm, "Mining Exact Models of Concurrent Workflows", Computers and Industry, vol. 53, pp. 265-281, 2004.
17. J. E. Cook, Z. Du, C. Liu, and A. L. Wolf, "Discovering Models of Behavior for Concurrent Workflows", Computers and Industry, vol. 53, pp. 297-319, 2004.
18. P. Grubb, A. Takang, "Software Maintenance", World Scientific Publishing, 2003, ISBN 9789812384256.
19. David Lo, S. C. Khoo, "SMArTIC: Towards Building an Accurate, Robust and Scalable Specification Miner", in Proc. of FSE, Nov. 2006.
20. J.-G. Lou, Q. Fu, S. Yang, Y. Xu, and J. Li, "Mining Invariants from Console Logs for System Problem Detection", In proc. of USENIX Annual Technical Conference, Boston, Jun. 2010.
21. David Lo, S. C. Khoo, "QUARK: Empirical Assessment of Automaton-based Specification Miners", In Proc. WCRE, 2006.
22. Hadoop. http://hadoop.apache.org/core. 2009.
23. Y. Zhou, T. Lau, K. Kontogiannis, T. Tong, and R. McKegney, "Model-driven Business Processes Recovery", in Proc. WCRE, 2004.
24. Q. Fu, J.-G. Lou, Y. Wang, and J. LI, "Execution Anomaly Detection in Distributed Systems through Unstructured Log Analysis", In Proc. of ICDM, Florida, Dec. 2009.
25. J.-G. Lou, Q. Fu, S. Yang, and J. Li, "Mining Program Workflow from Interleaved Logs", Technical Report of Microsoft Research, MSR-TR-2010-6, 2010.
26. M. Pradel, T. R. Gross, "Automatic Generation of Object Usage Specifications from Large Method Traces", In Proc. of ASE, pp. 371-382, 2009.
27. M. Acharya, T. Xie, J. Pei, and J. Xu, "Mining API Patterns as Partial Orders from Source Code: from Usage Scenarios to Specifications", In Proc. of SIGSOFT FSE, pp. 25-34, 2007.
28. M. Gabel, Z. Su, "Javert: Fully Automatic Mining of General Temporal Properties from Dynamic Traces", In Proc. of SIGSOFT FSE, pp. 339-349, 2008.
29. J. YANG, D. Evans, D. Bhardwaj, T. Bhat, and M. Das, "Perracotta: Mining Temporal API Rules from Imperfect Traces", In Proc. of ICSE, pp. 282-291, 2006.
30. David Lo, G. Ramalingam, V. P. Ranganath, and K. Vaswani, "Mining Quantified Temporal Rules: Formalism, Algorithm, and Evaluation", In Proc. of WCRE, pp. 62-71, 2009.
31. A. Wasylkowski, A. Zeller, "Mining Temporal Specifications from Object Usage", In Proc. of ASE, pp. 295-306, 2009.