A compositional formalization of connector wrappers

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2003, Pages 374-384

  Spitznagel, Bridget ^a   Garlan, David ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER SOFTWARE REUSABILITY; NETWORK PROTOCOLS; RELIABILITY THEORY;

CONNECTOR WRAPPER; PROTOCOL TRANSFORMATIONS;

SOFTWARE ENGINEERING;

EID: 0037587399     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icse.2003.1201216     Document Type: Conference Paper

References (21)

1. R. Allen and D. Garlan. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, July 1997.
2. R. DeLine, Resolving Packaging Mismatch. PhD thesis, Carnegie Mellon, School of Computer Science, 1999. Issued as CMU Technical Report CMU-CS-99-141.
3. T. Fraser, L. Badger, and M. Feldman. Hardening COTS software with generic software wrappers. In IEEE Symposium on Security and Privacy, pages 2-16, 1999.
4. D. Garlan, R. Allen, and J. Ockerbloom. Architectural mismatch, or, why it's hard to build systems out of existing parts. In Proceedings of the 17th International Conference on Software Engineering, Seattle, Washington, April 1995.
5. W. L. Heimerdinger and C. B. Weinstock. A conceptual framework for system fault tolerance. Technical Report CMU/SEI-92-TR-33, Carnegie Mellon University, 1992.
6. C. Hoare, Communicating Sequential Processes. Prentice Hall, 1985.
7. H. Hueni, R. E. Johnson, and R. Engel. A framework for network protocol software. Proceedings of OOPSLA'95, pages 358-369, 1995.
8. G. Hunt and D. Brubacher. Detours: Binary interception of win32 functions. In Proceedings of the 3rd USENIX Windows NT Symposium, pages 135-143, Seattle, WA, July 1999.
9. A. Lopes, M. Wermelinger, and J. L. Fiadeiro. A compositional approach to connector construction. In Recent Trends in Algebraic Development Techniques, volume LNCS 2267, pages 201-220. Springer-Verlag, 2001.
10. M. R. Lyu. Software Fault Tolerance. John Wiley and Sons, 1995.
11. J. Magree and J. Kramer. Concurrency: State Models and Java Programs. John Wiley and Sons, 1999.
12. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
13. P. Narasimhan, L. E. Moser, and P. M. Melliar-Smith. Exploiting the internet inter-ORB protocol interface to provide CORBA with fault tolerance. In Proceedings of the 3rd USENIX Conference on Object-Oriented Technologies and Systems (COOTS), USENIX, 1997.
14. S. W. O'Malley and L. L. Peterson. A dynamic network architecture. ACM Transactions on Computer Systems, 10(2):110-143, May 1992.
15. J. Pan, P. Koopman, D. Siewiorek, Y. Huang, R. Gruber, and M. L. Jiang. Robustness testing and hardening of CORBA ORB implementations. In Proceedings of the International Conference on Dependable Systems and Networks (ICDSN/FTCS), pages 141-150, July 2001.
16. J. Postel. Transmission control protocol. Technical report, RFC-793, 1981.
17. L. Sha, J. Goodenough, and B. Pollack. Simplex architecture: Meeting the challenges of using COTS in high-reliability systems. Crosstalk, April 1998.
18. M. Shaw. Procedure calls are the assembly language of system interconnection: Connectors deserve 1st-class status. In Proceedings of the Workshop on Studies of Software Design, May 1993.
19. M. Shaw. Architectural issues in software reuse: It's not just the functionality, it's the packaging. In Proceedings of the Symposium on Software Reuse (SSR'95), April 1995.
20. B. Spitznagel and D. Garlan. A compositional approach for constructing connectors. In The Working IEEE/IFIP Conference on Software Architecture (WICSA'01), pages 148-157, Royal Netherlands Academy of Arts and Sciences Amsterdam, The Netherlands, August 2001.
21. R. van Renesse, K. Birman, M. Hayden, A. Vaysburd, and D. Karr. Building adaptive systems using Ensemble. Technical report, Cornell/TR97-1638, 1997.