Discovering thread interactions in a concurrent system

Journal of Systems and Software

Volumn 77, Issue 3, 2005, Pages 285-297

  Cook, Jonathan E ^a   Du, Zhidian ^a  

^a New Mexico State University   (United States)

Author keywords

Behavior discovery; Concurrent systems; Dynamic analysis; Mutual exclusion; Synchronization

Indexed keywords

CODES (SYMBOLS); CONCURRENT ENGINEERING; DATA MINING; REVERSE ENGINEERING; SYNCHRONIZATION; USER INTERFACES; WEB BROWSERS;

BEHAVIOR DISCOVERY; CONCURRENT SYSTEMS; DYNAMIC ANALYSIS; MUTUAL EXCLUSION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 18844401354     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2004.04.029     Document Type: Article

References (33)

1. R. Agrawal, D. Gunopulos, and F. Leymann Mining Process Models from Workflow Logs Lecture Notes in Computer Science 1377 1998 469 483
2. Alur, R., Etessami, K., Yannakakis, M., 2000. Inference of message sequence charts. In: Proceedings of 22nd International Conference on Software Engineering. pp. 304-313
3. D. Angluin, and C. Smith Inductive inference: theory and methods ACM Computing Surveys 15 3 1983 237 269
4. G. Avrunin, U. Buy, J. Corbett, L. Dillon, and J. Wileden Automated analysis of concurrent systems with the constrained expression toolset IEEE Transactions on Software Engineering 17 11 1991 1204 1222
5. P. Bates Debugging heterogeneous systems using event-based models of behavior Proceedings of a Workshop on Parallel and Distributed Debugging 1989 ACM Press 11 22
6. R. Carrasco, and J. Oncina Learning stochastic regular grammars by means of a state merging method Grammatical Inference and Applications Lecture Notes in Artificial Intelligence (subseries of LNCS) vol. 862 1994 Springer-Verlag New York 139 152
7. Cook, J., Du, Z., 2002. Discovering thread interactions in a concurrent system. In: Proceedings of 2002 Working Conference on Reverse Engineering, in press
8. J. Cook, and A. Wolf Discovering Models of Software Processes from Event-Based Data ACM Transactions on Software Engineering and Methodology 7 3 1998 215 249
9. J. Cook, and A. Wolf Event-based detection of concurrency Proceedings of the Sixth ACM SIGSOFT Symposium on the Foundations of Software Engineering 1998 Association for Computer Machinery 35 45
10. J. Cook, and A. Wolf Software process validation: quantitatively measuring the correspondence of a process to a model ACM Transactions on Software Engineering and Methodology 8 2 1999 147 176
11. Cook, J., He, C., Ma, C., 2001. Measuring behavioral correspondence to a timed concurrent model. In: Proceedings of 2001 International Conference on Software Maintenance. pp. 332-341
12. J. Cuny, G. Forman, A. Hough, J. Kundu, C. Lin, L. Snyder, and D. Stemple The adriane debugger: scalable application of event-based abstraction Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging 1993 ACM Press 85 95
13. J. Devore Probability and Statistics for Engineering and the Sciences third ed. 1991 Brooks/Cole Pacific Grove, California
14. M. Diaz, G. Juanole, and J. Courtiat Observer-a concept for formal on-line validation of distributed systems IEEE Transactions on Software Engineering 20 12 1994 900 913
15. Eisenhauer, G., Gu, W., Kraemer, E., Schwan, K., Stasko, J., 1997. Online displays of parallel programs: problems and solutions. In: Proceedings of 1997 International Conference on Parallel and Distributed Processing Techniques and Applications. pp. 11-20
16. E. Gold Language identification in the limit Information and Control 10 1967 447 474
17. J. Herbst Inducing workflow models from workflow instances Proceedings of the SCS Concurrent Engineering Europe Conference 1999 Society for Computer Simulation
18. J. Herbst A machine learning approach to workflow management Proceedings of 11th European Conference on Machine Learning vol. 1810 2000 Springer Berlin 183 194
19. Herbst, J., 2000b. Dealing with concurrency in workflow induction. In: Proceedings of 7th European Concurrent Engineering Conference (ECEC'2000)
20. L. Holtzblatt, R. Piazza, H. Reubenstein, S. Roberts, and D. Harris Design recovery for distributed systems IEEE Transactions on Software Engineering 23 7 1997 461 472
21. S. Jain, and A. Sharma On monotonic strategies for learning R.E. languages Algorithmic Learning Theory Lecture Notes in Artificial Intelligence (subseries of LNCS) vol. 872 1994 Springer-Verlag New York 349 364
22. I. Kruger, R. Grosu, G. Scholz, and M. Broy From MSCs to statecharts Proceedings of 1998 Distributed and Parallel Embedded Systems 1999 Kluwer 61 71
23. S. Lange, J. Nessel, and R. Wiehagen Language Learning from Good Examples Algorithmic Learning Theory Lecture Notes in Artificial Intelligence (subseries of LNCS) vol. 872 1994 Springer-Verlag New York 423 437
24. R. LeBlanc, and A. Robbins Event-driven monitoring of distributed programs Proceedings of the Fifth International Conference on Distributed Computing Systems 1985 IEEE Computer Society 515 522
25. L. Miclet Syntactic and Structural Pattern Recognition: Theory and Applications Series in Computer Science vol. 7 1990 World Scientific New Jersey Chapter 9: Grammatical Inference, pp. 237-290
26. O'Hallaron, D., 1997. Spark98: Sparse Matrix Kernels for Shared Memory and Message Passing Systems. Tech. Rep. CMU-CS-97-178, Carnegie Mellon University. Available from < http://www2.cs.cmu.edu/quake/spark98.html>
27. L. Pitt Inductive inference, DFAs, and computational complexity Lecture Notes in Artificial Intelligence (subseries of LNCS) vol. 397 1989 Springer-Verlag New York pp. 18-44
28. S. Some, R. Dssouli, and J. Vaucher From scenarios to timed automata: building specifications from users requirements Proceedings of 1995 Asia Pacific Software Engineering Conference 1998 IEEE 48 57
29. Systa, T., 2000. Understanding the behavior of Java programs. In: Proceedings of 2000 Working Conference on Reverse Engineering. pp. 214-223
30. L. Valiant A theory of the learnable Communications of the ACM 27 1984 1134 1142
31. S. Venkatesan, and B. Dathan Testing and debugging distributed programs using global predicates IEEE Transactions on Software Engineering 21 2 1995 163 177
32. Weijters, T., van der Aalst, W., 2001a. Process mining: discovering workflow models from event-based data. In: Proceedings of 13th Belgium-Netherlands Conference on Artificial Intelligence (BNAIC 2001). pp. 283-290
33. Weijters, T., van der Aalst, W., 2001b. Rediscovering workflow models from event-based data. In: Proceedings of 11th Dutch-Belgian Conference on Machine Learning (Benelearn 2001). pp. 93-100