A tool for testing liveness in distributed object systems

"Technology of Object-Oriented Languages and Systems

Volumn , Issue TOOL 34, 2000, Pages 319-328

  Giles, Charles P ^a   Sivilotti, Paolo A G ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; PROGRAM DEBUGGING; SEMANTICS;

COMMON OBJECT REQUEST BROKER ARCHITECTURES (CORBA); INTERFACE DEFINITION LANGUAGES (IDL);

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0034586683     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TOOLS.2000.868982     Document Type: Conference Paper

References (19)

1. Martín Abadi and Leslie Lamport. Composing specifications. ACM Transactions on Programming Languages and Systems, 15(1):73-132, January 1993.
2. B. Alpern and F.B. Schneider. Defining liveness. Information Processing Letters, 21(4):181-185, October 1985.
3. K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley Publishing Company, Reading, Massachusetts, 1988.
4. Cynthia Della Torte Cicalese and Shmuel Rotenstreich. Behavioral specification of distributed software component interfaces. Computer, 32(7):46-53, July 1999.
5. Tim Granata, Diane Foster, and Paolo Sivilotti et al. Biocomplexity incubation activity: Transport, coral reef ecology and management (t-cream). NSF Proposal, March 2000.
6. John V. Guttag, James J. Homing, S.J. Garland, K.D. Jones, A. Modet, and J.M. Wing. Larch: Languages and Tools for Formal Specification. Springer-Verlag, New York, New York, 1993.
7. C.A.R. Hoare. Proof of correctness of data representations. Acta Informatica, 1:271-281, 1972.
8. C.B. Jones. Tentative steps toward a development method for interfering programs. ACM Transactions on Programming Languages and Systems, 5(4):596-619, 1983.
9. S.S. Lam and A.U. Shankar. A theory of interfaces and modules 1: Composition theorem. IEEE Transactions on Software Engineering, 20(1):55-71, January 1994.
10. Leslie Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, SE-3(2):125-143, March 1977.
11. Zohar Manna and Amir Pnueli. The Temporal Logic of Reactive and Concurrent Systems, volume 1. Specification. Springer-Verlag, 175 Fifth Avenue, New York, New York 10010, 1992.
12. Rajit Manohar and Paolo A.G. Sivilotti. Composing processes using modified rely-guarantee specifications. Technical Report CS-TR-96-22, Computer Science Department, California Institute of Technology, 256-80 Caltech, Pasadena, California 91125, June 1996.
13. Object Management Group. The Common Object Request Broker: Architecture and Specification, February 1998. Revision 2.2.
14. J.E. Payne, M.A. Schatz, and M.N. Schmid. Implementing assertions for java. Dr. Dobb's Journal, January 1998.
15. Sita Ramakrishnan and John D. McGregor. Extending OCL to support temporal operators. In Workshop on Testing Distributed Component-Based Systems, May 1999. part of the 21st International Conference on Software Engineering (ICSE).
16. A. Udaya Shankar. An introduction to assertional reasoning for concurrent systems. ACM Computing Surveys, 25(3):225-262, September 1993.
17. Gowri Sandar Sivaprasad. Larch/CORBA: Specifying the behavior of CORBA-IDL interfaces. Master's thesis, Iowa State University, 226 Atanasoff Hall, Ames, Iowa 50011-1040, November 1995. TR #95-27.
18. Paolo A.G. Sivilotti. A Method for the Specification, Composition, and Testing of Distributed Object Systems. PhD thesis, Computer Science Department, California Institute of Technology, 256-80 Caltech, Pasadena, California 91125, December 1997.
19. Paolo A.G. Sivilotti and Charles P. Giles. The specification of distributed objects: Liveness and locality, In Proceedings of CASCON 1999, pages 150-159, November 1999.