ABLE Project Papers



Software Architecture in General


Formal Aspects of Software Architecture and Architectural Style

  • "Documenting Software Architectures: Recommendations for Industrial Practice", David Garlan and Joćo Pedro Sousa. Carnegie Mellon University School of Computer Science Technical Report CMU-CS-00-169, October 2000.
  • "Formal Modeling of the Enterprise JavaBeans Component Integration Framework," Joćo Pedro Sousa and David Garlan. IST??? Special Issue on Component Based Development, 42:14, Novemeber, 2000. Also available as Technical Report CMU-CS-00-162, Carnegie Mellon University School of Computer Science.
  • A Formal Approach to Software Architecture, Robert J. Allen, Ph.D. Thesis, Carnegie Mellon University, Technical Report Number: CMU-CS-97-144, May, 1997.
  • 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.
  • 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).
  • Reasoning About Implicit Invocation, Jurgen Dingel, David Garlan, Somesh Jha, and David Notkin, Proceedings of of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), November 1998.
  • Towards a Formal Treatment of Implicit Invocation using Rely/Guarantee Reasoning. Jurgen Dingel, David Garlan, Somesh Jha, and David Notkin, To appear in the journal Formal Aspects of Computing.
  • Towards a Formal Treatment of Implicit Invocation, J. Dingel, D. Garlan, S. Jha, and D. Notkin, Draft. Submitted for publication, 1997.
  • Specifying and Analyzing Dynamic Software Architectures, Robert J. Allen, Remi Douence, and David Garlan, To appear in 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.
  • Architectural Unification, Ralph Melton and David Garlan, Proceedings of CASCON '97, November 1997
  • Style-Based Refinement for Software Architecture, David Garlan, Proceedings of the Second International Software Architecture Workshop (ISAW2), 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.
  • 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.
  • Using Style to Understand Descriptions of Software Architecture, Gregory Abowd, Robert Allen, and David Garlan, Proceedings of SIGSOFT '93: Symposium on the Foundations of Software Engineering, December 1993.
  • Formalizing Architectural Connection, Robert Allen and David Garlan, Proceedings of the 16th International Conference on Software Engineering, May 1994.
  • Formalism and Informalism in Architectural Style: A Case Study, Robert Allen, 1st. International Workshop on Architectures for Software Systems, April 1995.
  • Beyond Definition/Use: Architectural Interconnection, Robert Allen and David Garlan, Proc. ACM Interface Definition Language Workshop, January 1994.
  • Formalizing Style to Understand Descriptions of Software Architecture, Gregory Abowd, Robert Allen, and David Garlan, Technical Report, CMU-CS-95-111, January 1995.
  • Formal Connectors, Robert Allen and David Garlan, Technical Report, CMU-CS-94-115, March 1994.
  • Towards Formalized Software Architecture, Robert Allen and David Garlan, Technical Report, CMU-CS-92-163, July 1992
  • Formulations and Formalisms in Software Architecture, Mary Shaw and David Garlan, Invited for special volume of Lecture Notes in Computer Science, Computer Science Today: Recent Trends and Developments, Jan van Leeuwen (Ed), Sprinver-Verlag 1996, pp. 307-323.

  • Aesop Software Architecture Design Environments

  • Exploiting Style in Architectural Design Environments, David Garlan, Robert Allen, John Ockerbloom, Proceedings of SIGSOFT '94 Symposium on the Foundations of Software Engineerng, December 1994.
  • Architectural Mismatch -or- Why it's hard to build systems out of existing parts, David Garlan, Robert Allen, John Ockerbloom, Proceedings of the 17th International Conference on Software Engineering (ICSE-17), April 1995. A revised and expanded version of this paper was published in the November 1995 issue of IEEE Software.
  • Capturing Design Expertise in Customized Software Architecture Design Environments. , Robert T. Monroe Proceedings of the Second International Software Architecture Workshop, October 1996.
  • Style Based Reuse for Software Architectures, Robert T. Monroe and David Garlan, Proceedings of the 1996 International Conference on Software Reuse, April 1996.

  • The Acme Architecture Description and Interchange Language

  • Acme: Architectural Description of Component-Based Systems, David Garlan and Robert T. Monroe and David Wile. Foundations of Component-Based Systems, Gary T. Leavens and Murali Sitaraman (eds), Cambridge University Press, 2000 pp. 47-68
  • Acme: An Architecture Description Interchange Language, David Garlan, Robert T. Monroe, David Wile, Proceedings of CASCON '97, November 1997.
  • A Case Study in Software Architecture Interchange, David Garlan and Zhenyu Wang, Submitted for Publication, March 1998.
  • The AcmeWeb website contains the most up-to-date information on Acme.

  • Working papers

  • An Activity Language for the ADL Toolkit, David Garlan and Andrew Kompanek, with John Kenney, David Luckham, Bradley Schmerl and Dave Wile. Working Draft published August 2000.
  • Adding Maps to Acme Jianing Hu. Working draft published August 2000.

  • The Armani Software Architecture Design Environment and ADL

  • "Rapid Development of Custom Software Architecture Design Environments", Robert Monroe, PhD Thesis, published as CMU School of Computer Science Technical Report CMU-CS-99-161, 1999.
  • "Capturing Software Architecture Design Expertise With Armani", Robert Monroe, CMU School of Computer Science Technical Report CMU-CS-98-163. Version 2.3, revised January 2001.
  • "Capturing Design Expertise in Customized Software Architecure Design Environments" Proceedings of the Second International Software Architecture Workshop, October 1996.

  • Pervasive Computing

  • "Pervasive Computing and the Future of CSCW Systems," David Garlan. A Position Paper for the CSCW2000 Workshop on Software Architectures for Cooperative Systems. Philidelphia, PA, November 2000.
  •  "Task-Driven Computing," Zhenyu Wang and David Garlan. Technical Report CMU-CS-00-154, Carnegie Mellon University School of Computer Science.

  • Others

  • Integrating Formal Methods into a Professional Master of Software Engineering Program, David Garlan, Proceedings of The 8th Z Users Meeting, June 1994
  • Experience with a Course on Architectures for Software Systems, David Garlan, Mary Shaw, Chris Okasaki, Curtis Scott, and Roy Swonger. (unpublished)
  • "Formal Specification of an Architecture for a Family of Instrumentation Systems", David Garlan and Norman Delisle, Applications of Formal Methods, ed. M.Hinchey, J.Bowen, Prentice Hall, International Series in Computer Science, September 1995.

  • Return to ABLE home page

    (Last updated March 11, 1997 by Aesop Maintainer aesop-help+@cs.cmu.edu)