Site redirect

You have encountered an old version of our publications site. Please visit http://acme.able.cs.cmu.edu/pubs/show.php?type=html&ord=year for the new pages. Please update your bookmarks.

If you are not redirected automatically in 10 seconds, please select the page above.

ABLE Project Papers by Topic

Software Architecture in General

"Compositional Transformation of Software Connectors," Bridget Spitznagel, Ph.D. Thesis, Carnegie Mellon University School of Computer Science Technical Report CMU-CS-04-128, 2005.

"Understanding Tradeoffs among Different Architectural Modelling Approaches," Roshanak Roshandel, Bradley Schmerl, Nenad Medvidovic, David Garlan, and Dehua Zhang, Proceedings of the 4th Working IEEE/IFIP Conference on Software Architectures, Oslo, Norway, June 11-14, 2004.

"A Practical Method for Documenting Software Architectures," Paul Clements, Felix Bachmann, Len Bass, David Garlan, James Ivers, Reed Little, Robert Nord, and Judith Stafford, September, 2002. Draft.

"Documenting Software Architectures: Views and Beyond," P. Clements, F. Bachmann, L. Bass, D. Garlan, J. Ivers, R. Little, R. Nord, and J. Stafford, Addison Wesley, 2003.
2003 Jolt Productivity Award Winner

"Reconciling the Needs of Architectural Description with Object-Modeling Notations," David Garlan, Andrew J. Kompanek, and Shang-Wen Cheng, Science of Computer Programming Volume 44, Elsevier Press, pp. 23-49.

"Software Architecture," David Garlan, Wiley Encyclopedia of Software Engineering, J. Marciniak (Ed.), John Wiley & Sons, 2001.

"A Compositional Approach for Constructing Connectors," Bridget Spitznagel, and David Garlan, The Working IEEE/IFIP Conference on Software Architecture (WICSA'01), Royal Netherlands Academy of Arts and Sciences Amsterdam , The Netherlands, August 28-31, 2001.

"Reconciling the Needs of Architecture Description with Object-Modeling Notations," David Garlan and Andrew Kompanek. Proceedings of the Third International Conference on the Unified Modeling Language - <<UML>> 2000, York, UK, October 2000

"Software Architecture and Object-Oriented Systems," David Garlan, In Proceedings of the IPSJ Object-Oriented Symposium 2000, August 2000.

"Software Architecture: a Roadmap," David Garlan, in The Future of Software Engineering, A. Finkekstein (Ed), ACM Press, 2000.

"Software Architecture Documentation in Practice: Documenting Architectural Layers," Felix Bachmann, Len Bass, Jeromy Carriere, Paul Clements, David Garlan, James Ivers, Robert Nord, and Reed Little, Carnegie Mellon University, Software Engineering Institute Special Report CMU/SEI-2000-SR-004, March 2000.

"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.

"Software Architecture: Perspectives on an Emerging Discipline," Mary Shaw, and David Garlan, Prentice Hall, 1996.

"Architectural Styles, Design Patterns, and Objects," Robert T. Monroe, Andrew Kompanek, Ralph Melton, and David Garlan, IEEE Software January, 1997. pp. 43-52.

"Higher-Order Connectors," David Garlan, Proceedings of the Workshop on Compositional Software Architectures, January, 1998.

"Architecture-Based Performance Analysis," Bridget Spitznagel, and David Garlan, Proceedings of the 1998 Conference on Software Engineering and Knowledge Engineering (SEKE'98), June 1998.

"Architectural Mismatch or, Why it's hard to build systems out of existing parts," David Garlan, Robert Allen, and John Ockerbloom, Proceedings of the 17th International Conference on Software Engineering (ICSE-17), April 1995. A revised and extended version of this paper appeared in IEEE Software, Volume 12, Issue 6, Nov. 1995 (pp. 17-26)

"Introduction to the Special Issue on Software Architecture," David Garlan and Dewayne Perry, IEEE Transactions on Software Engineering, April 1995.

"An Introduction to Software Architecture," David Garlan, and Mary Shaw, In V. Ambriola and G. Tortora (ed.), Advances in Software Engineering and Knowledge Engineering, Series on Software Engineering and Knowledge Engineering, Vol 2, World Scientific Publishing Company, Singapore, pp. 1-39, 1993. Also available as: Carnegie Mellon University Technical Report CMU-CS-94-166, January 1994. Reprinted in "CMIS 460: Software Design and Development Faculty Course Guide", University of Maryland, Office of Instructional Development, Summer 1995..

"What is Style?," David Garlan, Proceedings of Dagshtul Workshop on Software Architecture, February 1995.

"Characteristics of Higher-level Languages for Software Architectures," Mary Shaw and David Garlan, Carnegie Mellon University School of Computer Science Technical Report CMU-CS-94-210, December 1994.

Acme

"Understanding Tradeoffs among Different Architectural Modelling Approaches," Roshanak Roshandel, Bradley Schmerl, Nenad Medvidovic, David Garlan, and Dehua Zhang, Proceedings of the 4th Working IEEE/IFIP Conference on Software Architectures, Oslo, Norway, June 11-14, 2004.

"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.

"Acme: Architectural Description of Component-Based Systems," David Garlan, 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.

"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.

"A Case Study in Software Architecture Interchange," David Garlan, and Zhenyu Wang, Proceedings of Coordination'99, Springer Verlag, 1999.

"Architectural Unification," Ralph Melton and David Garlan, Proceedings of CASCON '97, November 1997.

"Acme: An Architecture Description Interchange Language," David Garlan, Robert Monroe, and Dave Wile, Proceedings of CASCON 97, Toronto, Ontario, November 1997, pp. 169-183.

Self-Healing and Self-Adapting Systems

"Making Self-Adaptation an Engineering Reality," Shang-Wen Cheng, David Garlan, and Bradley Schmerl, Self-Star Properties in Complex Information Systems, Ozlap Babaoglu, Mark Jelasity, Alberto Montresor, Christof Fetzer, Stefano Leonardi, Aad van Moorsel, Maarten van Steen (Eds), LNCS Vol 3460, Springer-Verlag, 2005. Also available from Springer-Verlag here

"Rainbow: Architecture-based Self-adaptation with Reusable Infrastructure," Shang-Wen Cheng, An-Cheng Huang, David Garlan, Bradley Schmerl, and Peter Steenkiste. Submitted for publication.

"An Architecture for Coordinating Multiple Self-Management Systems," Shang-Wen Cheng, An-Cheng Huang, David Garlan, Bradley Schmerl, and Peter Steenkiste, Proceedings of the 4th Working IEEE/IFIP Conference on Software Architectures, Oslo, Norway, June 11-14, 2004.

"DiscoTect: A System for Discovering Architectures from Running Systems," Hong Yan, David Garlan, Bradley Schmerl, Jonathan Aldrich, and Rick Kazman, Proceedings of the 26th International Conference on Software Engineering, Edinburgh, Scotland, May, 2004.

"Using Architectural Models at Runtime: Research Challenges," David Garlan, and Bradley Schmerl, Proceedings of the European Workshop on Software Architectures, St. Andrews, Scotland, May 2004.

"Increasing System Dependability through Architecture-based Self-repair," David Garlan, Shang-Wen Cheng, and Bradley Schmerl, in Architecting Dependable Systems, R. de Lemos, C. Gacek, A. Romanovsky (Eds), Springer-Verlag, 2003.

"Model-based Adaptation for Self-Healing Systems," David Garlan, and Bradley Schmerl, ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02), November 18-19, 2002.

"Software Architecture-based Adaptation for Grid Computing," Shang-Wen Cheng, David Garlan, Bradley Schmerl, Peter Steenkiste, and Ningning Hu, The 11th IEEE Conference on High Performance Distributed Computing (HPDC’02), Edinburgh, Scotland, July 2002.

"Using Architectural Style as a Basis for Self-repair," Shang-Wen Cheng, David Garlan, Bradley Schmerl, Joćo Pedro Sousa, Bridget Spitznagel, and Peter Steenkiste, Software Architecture: System Design, Development, and Maintenance (Proceedings of the 3rd Working IEEE/IFIP Conference on Software Architecture) Jan Bosch, Morven Gentleman, Christine Hofmeister, Juha Kuusela (Eds), Kluwer Academic Publishers, August 25-31, 2002. pp. 45-59.

"Software Architecture-based Adaptation for Pervasive Systems," Shang-Wen Cheng, David Garlan, Bradley Schmerl, Joćo Pedro Sousa, Bridget Spitznagel, Peter Steenkiste, and Ningning Hu, International Conference on Architecture of Computing Systems (ARCS'02): Trends in Network and Pervasive Computing, April 8-11, 2002. Published in Lecture Notes in Computer Science, Volume 2299, Schmeck, H., Ungerer, T., Wolf, L. (Eds).

"Using Gauges for Architecture-Based Monitoring and Adaptation," David Garlan, Bradley Schmerl, and Jichuan Chang, In the Working Conference on Complex and Dynamic Systems Architecture, Brisbane, Australia, 12-14 December, 2001.

"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) Lisbon, Portugal, March 1998.

Pervasive and Ubiquitous Computing

"An Architecture for Personal Cognitive Assistance," David Garlan, and Bradley Schmerl, The 18th International Conference on Software Engineering and Knowledge Engineering, San Francisco Bay, USA, July 5-7, 2006.

"Scaling Task Management in Space and Time: Reducing User Overhead in Ubiquitous-Computing Environments," Joćo Pedro Sousa, Ph.D. Thesis, Carnegie Mellon University School of Computer Science Technical Report CMU-CS-05-123, 2005.

"Anticipatory Configuration of Resource-aware Applications," Vahe Poladian, Joao Pedro Sousa, Frank Padberg, and Mary Shaw, Proceedings of the 7th International Workshop on Economics Driven Software Engineering Research, affiliated with the 27th International Conference on Software Engineering, St. Louis, MO, May, 2005.

"Context is Key," Joelle Coutaz, James L. Crowley, Simon Dobson, and David Garlan, Communications of the ACM, Special Issue on "The Disappearing Computer" Volume 58, Number 4, pps. 49-53, March 2005.

"Selecting Devices for Aggregation," Rajnish Kumar, Vahe Poladian, Ira Greenberg, Alan Messer, and Dejan Milojicic, in Proceedings of the 5th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2003), 2003.

"The Aura Software Architecture: An Infrastructure for Ubiquitous Computing," Joao Pedro Sousa and David Garlan. Technical Report CMU-CS-03-183, Carnegie Mellon University School of Computer Science, 2003.

"Dynamic Configuration of Resource-Aware Services," Vahe Poladian, Joćo Pedro Sousa, David Garlan, and Mary Shaw. Proceedings of the 26th International Conference on Software Engineering, Edinburgh, Scotland, May 23-28, 2004.

"Improving User-Awareness by Factoring it Out of Applications," Joćo Pedro Sousa, and David Garlan, Proceedings of UbiSys'03 - System Support for Ubiquitous Computing Workshop, at the 5th Annual Conference on Ubiquitous Computing (UbiComp'03), Seattle, WA. To appear.

"Time is Not Money: The case for multi-dimensional accounting in value-based software engineering," Vahe Poladian, Shawn Butler, Mary Shaw, and David Garlan, Fifth Workshop on Economics-Driven Software Engineering Research (EDSER-5), May 2003.

"Selection and Configuration in Mobile Environments: A Utility-Based Approach," Vahe Poladian, David Garlan, and Mary Shaw, Fourth Workshop on Economics-Driven Software Engineering Research (EDSER-4), May 2002.

"Project Aura: Towards Distraction-Free Pervasive Computing," David Garlan, Dan Siewiorek, Asim Smailagic, and Peter Steenkiste, IEEE Pervasive Computing, special issue on "Integrated Pervasive Computing Environments", Volume 21, Number 2, April-June, 2002. pp. 22-31.

"Aura: an Architectural Framework for User Mobility in Ubiquitous Computing Environments," Joćo Pedro Sousa, and David Garlan, Software Architecture: System Design, Development, and Maintenance (Proceedings of the 3rd Working IEEE/IFIP Conference on Software Architecture) Jan Bosch, Morven Gentleman, Christine Hofmeister, Juha Kuusela (Eds), Kluwer Academic Publishers, August 25-31, 2002. pp. 29-43.

"Software Architecture-based Adaptation for Pervasive Systems," Shang-Wen Cheng, David Garlan, Bradley Schmerl, Joćo Pedro Sousa, Bridget Spitznagel, Peter Steenkiste, and Ningning Hu, International Conference on Architecture of Computing Systems (ARCS'02): Trends in Network and Pervasive Computing, April 8-11, 2002. Published in Lecture Notes in Computer Science, Volume 2299, Schmeck, H., Ungerer, T., Wolf, L. (Eds).

"Component-Based Software Engineering in a Pervasive Computing Environment," David Garlan, and Bradley Schmerl, The 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction, Toronto, Canada, May 14-15, 2001.

"Pervasive Computing and the Future of CSCW Systems," David Garlan, A Position Paper for the CSCW2000 Workshop on Software Architectures for Cooperative Systems, November, 2000.

"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 Aspects of Software Architecture and Architectural Style

"Model Checking Publish-Subscribe Systems," David Garlan, Serge Khersonsky, and Jung Soo Kim, Proceedings of The 10th International SPIN Workshop on Model Checking of Software (SPIN 03), Portland, Oregon, May 2003.

"A Compositional Formalization of Connector Wrappers," Bridget Spitznagel, and David Garlan, The 2003 International Conference on Software Engineering (ICSE'03), Portland, Oregon, USA, May 3 - 10, 2003.

"Bridging the HLA: Problems and Solutions," Juergen Dingel, David Garlan, and Craig Damon, Sixth IEEE International Workshop on Distributed Simulation and Real Time Applications (DS-RT '02) Fort Worth, Texas, USA, October 11-13, 2002.

"A Compositional Approach for Constructing Connectors," Bridget Spitznagel, and David Garlan, The Working IEEE/IFIP Conference on Software Architecture (WICSA'01), Royal Netherlands Academy of Arts and Sciences Amsterdam , The Netherlands, August 28-31, 2001.

"A feasibility study of the HLA bridge," Juergen Dingel, David Garlan, and Craig A. Damon, Carnegie Mellon University School of Computer Science Technical Report CMU-CS-01-103, March, 2001.

"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, Information and Software Technology, Special Issue on Component Based Development, 43:3, March 2001. Also available as Technical Report CMU-CS-00-162, Carnegie Mellon University School of Computer Science.

"Formalizing a Specification for Analysis: The HLA Ownership Properties," Craig Damon, Ralph Melton, Elizabeth Bigelow, Jams Ivers and David Garlan, CMU School of Computer Science Technical Report CMU-CS-99-126, 1999.

"Model Checking Implicit-Invocation Systems," David Garlan, and Serge Khersonsky, Proceedings of the 10th International Workshop on Software Specification and Design (IWSSD-10), San Diego, CA., November 2000.

"A Formal Approach to Software Architecture," Robert J. Allen, Ph.D. Thesis, published as Carnegie Mellon University School of Computer Science Technical Report 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.

"Model Checking Implicit-Invocation Systems," David Garlan, and Serge Khersonsky, In Proceedings of the 10th International Workshop on Software Specification and Design, San Diego, CA, November 2000.

"Reasoning about Implicit Invocation," Jurgen Dingel, David Garlan, Somesh Jha, and David Notkin, Proceedings of the Sixth International Symposium on the Foundations of Software Engineering (FSE-6), Lake Buena Vista, FL, November 1998.

"Towards a Formal Treatment of Implicit Invocation using Rely-Guarantee Reasoning," Jurgen Dingel, David Garlan, Somesh Jha, and David Notkin, Formal Aspects of Computing, 10:193-213, 1998.

"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) Lisbon, Portugal, 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, Proceedings of the First International Workshop on Architectures for Software Systens, April 1995.

"Beyond Definition/Use: Architectural Interconnection," Robert Allen, and David Garlan, Proceedings of the ACM Interface Definition Language Workshop, January, 1994.

"Formalizing Style to Understand Descriptions of Software Architecture," Gregory Abowd, Robert Allen, and David Garlan, Carnegie Mellon University School of Computer School Technical Report CMU-CS-95-111, January 1995.

"Formal Connectors," Robert Allen and David Garlan, Carnagie Mellon University School of Computer Science Technical Report CMU-CS-94-115, March 1994.

"Towards Formalized Software Architecture," Robert Allen, and David Garlan, Carnegie Mellon University School of Computer Science 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), Springer-Verlag 1996, pp. 307-323.

"A Formal Specification of an Oscilloscope," Norman Delisle, and David Garlan, IEEE Software, Volume 7, Number 5, September 1990.

Applied Formal Methods
Software Architecture Design Environments

"AcmeStudio: Supporting Style-Centered Architecture Development," Bradley Schmerl, and David Garlan. Proceedings of the 26th International Conference on Software Engineering, Edinburgh, Scotland, May 23-28, 2004.

"Two-tiered Architectural Design for Automotive Control Systems: An Experience Report," Kevin Steppe, Greg Bylenok, David Garlan, Bradley Schmerl, Kanat Abirov, and Nataliya Shevchenko. Submitted for publication.

"Exploiting Architectural Design Knowledge to Support Self-repairing Systems," Bradley Schmerl, and David Garlan, The 14th International Conference on Software Engineering and Knowledge Engineering, Ischia, Italy, July 15-19, 2002.

"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.

"Acme: Architectural Description of Component-Based Systems," David Garlan, 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.

"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.

"A Case Study in Software Architecture Interchange," David Garlan, and Zhenyu Wang, Proceedings of Coordination'99, Springer Verlag, 1999.

"Architectural Unification," Ralph Melton and David Garlan, Proceedings of CASCON '97, November 1997.

"Acme: An Architecture Description Interchange Language," David Garlan, Robert Monroe, and Dave Wile, Proceedings of CASCON 97, Toronto, Ontario, November 1997, pp. 169-183.

"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.

"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 Architecture," Robert T. Monroe, and David Garlan, Proceedings of the 1996 International Conference on Software Reuse, April, 1996.

Working papers

"An Activity Language for the ADL Toolkit," David Garlan, Andrew Kompanek, 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.

Others
  • "Integrating Formal Methods into a Professional Master of Software Engineering Program," David Garlan, 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.

  • Last modified: 8/29/2006. For comments and problems, contact able-help@cs.cmu.edu.