An (Architecture-centric) approach for tracing, organizing, and understanding events in event-based software architectures

Proceedings - IEEE Workshop on Program Comprehension

Volumn , Issue , 2005, Pages 225-236

  Hendrickson, Scott A ^a   Dashofy, Eric M ^a   Taylor, Richard N ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIOR SPECIFICATIOS; EVENT-BASED APPLICATIONS; SOURCE CODES;

CODES (SYMBOLS); COMPUTER ARCHITECTURE; DYNAMICS; HEURISTIC METHODS; PROGRAM DEBUGGING; VISUALIZATION;

SOFTWARE ENGINEERING;

EID: 27744456439     PISSN: 10928138     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Atlee, J.M. and Gannon, J.D. State-Based Model Checking of Event-Driven System Requirements. IEEE Trans. on Software Engineering. 19(1), p. 24-40, January, 1993.
2. Brat, G., Havelund, K., et al. Java PathFinder - A second generation of a Java model checker. In Proc. of the Workshop on Advances in Verification. Chicago, July 20, 2000.
3. Cheung, S.C. and Kramer, J. Checking subsystem safety properties in compositional reachability analysis. In Proceedings of the 18th Intl. Conference on Software engineering, p. 144-154, Berlin, Germany, March 25-29, 1996.
4. Claudio, A.P., Carmo, M.B., et al. Monitoring and Debugging Message Passing Applications with MPVisualizer. In Proceedings of the 8th Euromicro Workshop on Parallel and Distributed Processing. Rhodes, Greece, January 19-21, 2000.
5. Cohen, D., Feather, M.S., et al. Automatic Monitoring of Software Requirements. In Proceedings of the 19th International Conference on Software Engineering. p. 602-603, Boston, MA, May, 1997.
6. Cook, J.E. Process Discovery and Validation through Event-Data Analysis. Ph. D. Thesis. University of Colorado, 1996.
7. Corbett, J.C., Dwyer, M.B., et al. Bandera: extracting finite-state models from Java source code. In Proceedings of the 22nd International Conference on Software Engineering. p. 439-448, Limerick, Ireland, June 4-11, 2000.
8. Demartini, C., Iosif, R., et al. Modeling and Validation of Java Multi-threading applications using Spin. In Proceedings of the 4th Workshop on Automata Theoretic Verification with the Spin Model Checker. p. 5-19, Paris, France, November, 1998.
9. Fickas, S. and Feather, M.S. Requirements Monitoring in Distributed Environments. In Proceedings of the 2nd Int'l Workshop on Services in Distributed and Networked Environments, p. 93-100, Whistler, BC, Canada, June, 1995.
10. Frumkin, M., Hood, R., et al. Trace-driven debugging of message passing programs. In Proc. of the First Merged International Symposium on Parallel and Distributed Processing, p. 753-762, Orlando, FL, Mar 30-Apr 3, 1998.
11. IBM. Tivoli Monitoring - Product Overview. http://www-306.ibm.com/ software/tivoli/products/monitor/, IBM, Website, 2004.
12. Jackson, D. and Damon, C.A. Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. IEEE Transactions on Software Engineering. 22(1), p. 484-495, 1996.
13. Lencevicius, R., Ran, A., et al. Third eye - specification-based analysis of software execution traces. In Proceedings of the 22nd international conference on Software engineering, p. 772, Limerick, Ireland, 2000.
14. Luckham, D. The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. 400 pgs., Addison-Wesley, 2002.
15. Luckham, D.C., Vera, J., et al. Partial Orderings of Event Sets and Their Application to Prototyping Concurrent, Timed Systems. Systems and Software. 21(3), p. 253-265, June, 1993.
16. Luckham, D.C. Rapide: A Language and Toolset for Simulation of Distributed Systems by Partial Ordering of Events. In Proceedings of the DIMACS Partial Order Methods Workshop IV. Princeton University, July, 1996.
17. Luckham, D.C. and Frasca, B. Complex Event Processing in Distributed Systems. Stanford University, Report CSL-TR-98-754, March, 1998.
18. Schwarz, R. and Mattern, F. Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail. Distributed Computing. 7(3), p. 149-174, 1994.
19. Spiteri, M. An Architecture for the Notification, Storage, and Retrieval of Events. Ph.D. Thesis. Darwin College, University of Cambridge, 2000.
20. Taylor, R.N., Medvidovic, N., et al. A Component- and Message-Based Architectural Style for GUI Software. IEEE Transactions on Software Engineering. 22(6), p. 390-406, June, 1996.