Protocol Specifications and Component Adaptors

ACM Transactions on Programming Languages and Systems

Volumn 19, Issue 2, 1997, Pages 292-333

  Yellin, Daniel M ^a   Strom, Robert E ^a  

^a NONE   (United States)

Author keywords

C.0 Computer Systems Organization : General systems specification methodology; D.1.3 Programming Techniques : Concurrent Programming; D.2.1 Software Engineering : Requirements Specifications

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE; ERROR DETECTION; INTERFACES (COMPUTER); NETWORK PROTOCOLS;

INTERFACE COMPATIBILITY; INTERFACE MAPPING; SOFTWARE COMPONENT ADAPTORS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0031102173     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/244795.244801     Document Type: Article

References (33)

1. ALLEN, R. AND GARLAN, D. 1994. Formalizing architectural connection. In Proceedings of the 16th International Conference on Software Engineering. IEEE, New York.
2. ARJOMANDI, E., O'FARRELL, W., KALAS, I., KOBLENTS, G., EIGLER, F., AND GAO, G. 1995. ABC++: Concurrency by inheritance in C++. IBM Syst. J. 34, 1.
3. ARNOLD, K. AND GOSLING, J. 1996. The Java Programming Language. Addison Wesley, Reading, Mass.
4. AUERBACH, J. S., GOLDBERG, A. P., GOLDSZMIDT, G. S., GOPAL, A. S., KENNEDY, M. T., RAO, J. R., AND RUSSELL, J. R. 1994. Concert/C: A language for distributed programming. In Winter 1994 USENIX Conference. USENIX Assoc., Berkeley, Calif.
5. BRAND, D. AND ZAFIROPULO, P. 1983. On communicating finite-state machines. J. ACM 30, 2 (Apr.), 323-342.
6. BROCKSCHMIDT, K. 1994. Inside OLE2. Microsoft Press, Redmond, Wash.
7. CAMPBELL, R. H. AND HABERMANN, A. N. 1974. The Specification of Process Synchronization by Path Expressions. Vol. 16. Springer-Verlag, Berlin, 89-102.
8. DIGITALK. 1993. PARTS Workbench User's Guide. Digitalk, Sunnyvale, Calif.
9. GARLAN, D., ALLEN, R., AND OCKERBLOOM, J. 1995. Architectural mismatch or why its hard to build systems out of existing parts. In Proceedings of the 17th International Conference on Software Engineering. IEEE, New York.
10. GOUDA, M. G., GURARI, E. M., LAI, T., AND ROSIER, L. E. 1987. On deadlock detection in systems of communicating finite state machines. Comput. Artif. Intell. 6, 3, 209-228.
11. GOUDA, M. G., MANNING, E. G., AND Yu, Y. T. 1984. On the progess of communication between two finite-state machines. Inf. Control 63, 200-216.
12. HUYNH, T., JUTLA, C., LOWRY, A., STROM, R., AND YELLIN, D. 1994. The global desktop: A graphical composition environment for local and distributed applications. In Programming Technology Forum, R. Pinter, Ed. IBM, Armonk, N.Y.
13. IBM. 1993. SOMobjects Developer Toolkit Users Guide, Version 2.0. IBM, Armonk, N.Y.
14. IBM. 1994. VisualAge User's Guide and Reference. IBM, Armonk, N.Y.
15. KAM, J. B. AND ULLMAN, J. D. 1977. Monotone data flow analysis frameworks. Acta Inf. 7, 305-317.
16. KILDALL, G. A. 1973. A unified approach to global program optimization. In The 1st ACM Symposium on Principles of Programming Languages. ACM, New York, 194-206.
17. KONSTANTAS, D. 1993. Object oriented interoperability. In Visual Objects, D. Tsichritzis, Ed. Universite De Geneve, Switzerland. Also Appeared in ECOOP 93.
18. LAM, S. S. 1988. Protocol conversion. IEEE Trans. Softw. Eng. 14, 3 (Mar.), 353-362.
19. LUCKHAM, D. C., KENNEY, J. J., AUGUSTIN, L. M., VERA, J., BRYAN, D., AND MANN, W. 1995. Specification and analysis of system architecture using Rapide. IEEE Trans. Softw. Eng. SE21, 4 (Apr.), 336-355.
20. NIERSTRASZ, O. 1993. Regular types for active objects. In OOPSLA '93 Conference Proceedings. ACM SIGPLAN Not. 25, 10 (Oct.).
21. OBJECT MANAGEMENT GROUP. 1995. The Common Object Request Broker: Architecture and Specification, Revision 2.0. Object Management Group, Framingham, Mass.
22. OKUMURA, K. 1986. A formal protocol conversion method. In Proceedings of the ACM SIGCOMM '86 Symposium. ACM, New York, 30-37.
23. PINTADO, X. AND JUNOD, B. 1992. Gluons: Support for software component cooperation. In Object Frameworks, D. Tsichritzis, Ed. Universite De Geneve, Switzerland.
24. PURTILO, J. M. AND ATLEE, J. A. 1991. Module reuse by interface adaption. Softw. Pract. Exper. 21, 6 (June).
25. RUSSELL, J., STROM, R. E., AND YELLIN, D. M. 1994. A checkable interface language for pointer-based structures. In ACM Workshop on Interface Languages. SIGPLAN Not. 29, 8 (Aug.).
26. SHU, J. AND LIU, M. 1989. A synchronization model for protocol conversion. In Proceedings of IEEE Infocom 89. IEEE, New York.
27. STROM, R. AND YEMINI, S. 1986. Typestate: A programming language concept for enhancing software reliability. IEEE Trans. Softw. Eng. SE12, 1 (Jan.), 157-171.
28. STROM, R. E. AND YELLIN, D. M. 1993. Extending typestate checking using conditional liveness analysis. IEEE Trans. Softw. Eng. SE19, 5 (May), 478-485.
29. STROM, R. E., BACON, D. F., GOLDBERG, A., LOWRY, A., YELLIN, D., AND YEMINI, S. A. 1991. Hermes: A Language for Distributed Computing. Prentice-Hall, Englewood Cliffs, N.J.
30. THATTE, S. 1994. Automated synthesis of interface adaptors for reuseable classes. In ACM SIGPLAN-SIGACT POPL '94 Conference Proceedings. ACM, New York, 174-187.
31. UDELL, J. 1994. Componentware. BYTE 19, 5 (May).
32. VAN DEN BOS, J. AND LAFFRA, C. 1991. PROCOL - A concurrent object-oriented language with protocols delegation and constraints. Acta Inf. 28, 511-538.
33. WIEDERHOLD, G. 1992. Mediators in the architecture of future information systems. IEEE Comput. 14, 3 (Mar.), 38-48.