A unified framework for the specification and run-time detection of dynamic properties in distributed computations

Journal of Systems and Software

Volumn 33, Issue 3 SPEC. ISS., 1996, Pages 287-298

  Babaoǧlu, Özalp ^a   Fromentin, Eddy ^b   Raynal, Michel ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BOOLEAN FUNCTIONS; COMPUTATIONAL GRAMMARS; COMPUTATIONAL METHODS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FINITE AUTOMATA; FORMAL LANGUAGES; LARGE SCALE SYSTEMS; PROGRAM DEBUGGING; RESPONSE TIME (COMPUTER SYSTEMS); SPECIFICATIONS;

DETECTION ALGORITHMS; DISTRIBUTED PROGRAMS; FINITE STATE TRANSITION SYSTEM; LANGUAGE RECOGNITION PROBLEM; RUN TIME DETECTION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0030170501     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/0164-1212(96)00027-1     Document Type: Article

References (27)

1. Babaoǧlu, Ö., and Marzullo, K., Consistent global states of distributed systems: fundamental concepts and mechanisms, in Distributed Systems, chapter 4 (S. J. Mullender, ed.), ACM Press, Frontier Series, 1993, pp. 55-93.
2. Babaoǧlu, Ö., and Raynal, M., Specification and Detection of Behavioral Patterns in Distributed Computations, Journal of Parallel and Distributed Computing 28 (2), (1995).
3. Bracha, G., and Toueg, S., Distributed Deadlock Detection, Distributed Computing 2(3): 127-138 (1987).
4. Clarke, E. M., Emerson, E. A., and Sistla, A. P., Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications, ACM Toplas, 8(2):244-263 (1986).
5. Chandy, K. M., Haas, L. M., and Misra, Jayadev, Distributed Deadlock Detection, ACM Transactions on Computer Systems, 1(2):144-156 (May 1983).
6. Chandy, K. M., and Lamport, L., Distributed Snapshots: Determining Global States of Distributed Systems, ACM Transactions on Computer Systems 3(1):63-75 (February 1985).
7. Cooper, R., and Marzullo, K., Consistent Detection of Global Predicates, in Proc. ACM/ONR Workshop on Parallel and Distributed Debugging, Santa Cruz, California, May 1991, pp. 167-174.
8. Diehl, C., Jard, C., and Rampon, J. X., Reachability analysis on distributed executions, in Theory and Practice of Software Development, (Gaudel and Jouannaud, eds.), TAPSOFT, Springer Verlag, LNCS 668, April 1993, pp. 629-643.
9. Dijkstra, E. W. D., and Scholten, C. S., Termination Detection for Diffusing Computation, Information Processing Letters, 11:217-219 (August 1980).
10. Estelle: a formal description technique based on an extended state transition model. ISO/TC97/SC21/WG6.1, 1989. ISO 9074.
11. Francez, N., Distributed Termination, ACM TOPLAS, 2(1):42-55 (January 1980).
12. Fromentin, E., Jard, C., Jourdan, G. V., and Raynal, M., On the Fly Analysis of Distributed Computations, Information Processing Letters, 54:267-274 (1995).
13. Fromentin, E., and Raynal, M., Characterizing and Detecting the Global States Seen by all the Observers of a Distributed Computation, in Proc. 15th IEEE Int. Conf. on Distributed Computing Systems, Vancouver, Canada, June 1995, pp. 431-438.
14. Fromentin, E., Raynal, M., Garg, V. K., and Tomlinson, A. I., On the Fly Testing of Regular Patterns in Distributed Computations, in Proc. of the 23rd International Conference on Parallel Processing, St. Charles, IL, August 1994, pp. 73-76.
15. Garg, V. K., and Waldecker, B., Detection of Unstable Predicates in Distributed Programs, in Twelfth International Conference on Foundations of Software Technology and Theoretical Computer Science, Springer-Verlag, LNCS 625, New Delhi, India, December 1992, pp. 253-264.
16. Gerstel, O., Hurfin, M., Plouzeau, N., Raynal, M., and Zaks, S., On-the-Fly Replay: A Practical Paradigm and its Implementation for Distributed Debugging, in Proc. 6th IEEE Symposium on Parallel and Distributed Debugging, Dallas, Texas, October 1994, pp. 266-272.
17. Harel, David and Pnueli, Amir, On the development of reactive systems, in Logics and Models of Concurrent Systems (K. R. Apt, ed.), Springer-Verlag, 1985, pp. 477-498.
18. Hélary, J.-M., Jard, C., Plouzeau, N., and Raynal, M., Detection of Stable Properties in Distributed Applications, 6th ACM SIGACT-SIGOPS, Symp. Principles of Distributed Computing, Vancouver, Canada, 1987, pp. 125-136.
19. Hurfin, M., Plouzeau, N., and Raynal, M., A Debugging Tool for Distributed Estelle Programs, Journal of Computer Communications, 16(5):328-333 (May 1993).
20. Hurfin, M., Plouzeau, N., and Raynal, M., Detecting Atomic Sequences of Predicates in Distributed Computations, in Proc. ACM/ONR Workshop on Parallel and Distributed Debugging, San Diego, CA, May 1993, pp. 32-42. (Reprinted in SIGPLAN Notices, Dec. 1993).
21. Jard, C., Jeron, T., Jourdan, G. V., and Rampon, J. X., A General Approach to Trace-Checking in Distributed Computing Systems, in Proc. 14th IEEE International Conference on DCS, Poznan, Poland, June 1994, pp. 396-403.
22. Lamport, L., Time, Clocks and the Ordering of Events in a Distributed System, Communications of the ACM, 21(7):558-565 (July 1978).
23. Lebanc, T., and Mellor-Crummey, J., Debugging Parallel Programs with Instant Replay, IEEE Transactions on Computers, C-36(4):471-482 (April 1987).
24. Miller, B. P., and Choi, J., Breakpoints and Halting in Distributed Programs, in Proc. 8th IEEE Int. Conf. on Distributed Computing Systems, San Jose, July 1988, pp. 316-323.
25. Queille, J.-P., and Sifakis, J., Fairness and Related Properties in Transition Systems - a Temporal Logic to Deal with Fairness, Acta Informatica, 19:195-220(1983).
26. Schwarz, R., and Mattern, F., Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail, Distributed Computing, 7(3):149-174 (1994).
27. Tomlinson, A. I., and Garg, V. K., Detecting Relational Global Predicates in Distributed Systems, in Proc. ACM/ONR Workshop on Parallel and Distributed Debugging, San Diego, CA, May 1993, pp. 21-31. (Reprinted in SIGPLAN Notices, Dec. 1993).