Papers on Wright

General Description of Wright

• A Formal Approach to Software Architecture, Robert J. Allen, Ph.D. Thesis, Carnegie Mellon University, Technical Report Number: CMU-CS-97-144, May, 1997.

Focus on Connectors

• A Formal Basis For Architectural Connection, Robert Allen and David Garlan, A revised version of the paper that appeared in ACM Transactions on Software Engineering and Methodology, July 1997.
• Formalizing Architectural Connection, Robert Allen and David Garlan, 16th International Conference on Software Engineering, May 1994.
• Beyond Definition/Use: Architectural Interconnection, Robert Allen and David Garlan, Proc. ACM Interface Definition Language Workshop, January 1994.
• Formal Connectors, Robert Allen and David Garlan, March 1994, Technical Report, CMU-CS-94-115.

Case Studies

• Formal Modeling and Analysis of the HLA Component Integration Standard, Robert J. Allen, David Garlan, and James Ivers, Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), November 1998).
• A Case Study in Architectural Modelling: The AEGIS System, Robert Allen and David Garlan, Proceedings of the Eighth International Workshop on Software Specification and Design (IWSSD-8), March 1996.
• Formalism and Informalism in Architectural Style: A Case Study, Robert Allen, 1st. International Workshop on Architectures for Software Systems, April 1995.
• HLA: A Standards Effort as Architectural Style, Robert Allen, Second International Software Architecture Workshop (ISAW-2), October 1996.
• Formal Modeling and Analysis of the HLA RTI, Robert Allen and David Garlan, Proceedings of the 1997 Spring Simulation Interoperability Workshop, Orlando FL, March 1997.

Dynamic Wright

• Specifying and Analyzing Dynamic Software Architectures, Robert J. Allen, Remi Douence, and David Garlan, Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE '98), March 1998.
• Specifying Dynamism in Software Architectures, Robert J. Allen, Remi Douence, and David Garlan, Proceedings of the Workshop on Foundations of Component-Based Software Engineering, September 1997.

Integration with other ADL's

• A Case Study in Software Architecture Interchange, David Garlan and Zhenyu Wang, Submitted for Publication, March 1998.

References to related papers can be found on the ABLE Project Papers page.

Return to Wright home page
Return to ABLE home page