Architectural unification

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Architectural unification

Full text

Pdf (92 KB)

Source

IBM Centre for Advanced Studies Conference archive
Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research table of contents

Toronto, Ontario, Canada

Page: 18

Year of Publication: 1997

Authors

Ralph Melton	School of Computer Science, Carnegie Mellon University, Pittsburgh PA
David Garlan	School of Computer Science, Carnegie Mellon University, Pittsburgh PA

Sponsors

IBM Canada : IBM Canada
NRC : National Research Council - Canada

Publisher

IBM Press

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 12, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues peer to peer

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTex EndNote ACM Ref

ABSTRACT

Many software designs are produced by combining and elaborating existing architectural design fragments. These fragments may be design patterns, partially thought-out ideas, or portions of some previously-developed system design. To provide mechanized support for this activity it is necessary to have a precise characterization of when and how two or more architectural fragments can be combined. In this paper we describe extensions to notations for software architecture to represent incomplete design fragments, and algorithms for combining fragments in a process analogous to unification in logic.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Robert Allen , David Garlan, Formalizing architectural connection, Proceedings of the 16th international conference on Software engineering, p.71-80, May 16-21, 1994, Sorrento, Italy
	2	Kent Beck , Ralph E. Johnson, Patterns Generate Architectures, Proceedings of the 8th European Conference on Object-Oriented Programming, p.139-149, July 04-08, 1994
	3	Frank Buschmann , Regine Meunier , Hans Rohnert , Peter Sommerlad , Michael Stal, Pattern-oriented software architecture: a system of patterns, John Wiley & Sons, Inc., New York, NY, 1996
	4	Don Batory , Sean O'Malley, The design and implementation of hierarchical software systems with reusable components, ACM Transactions on Software Engineering and Methodology (TOSEM), v.1 n.4, p.355-398, Oct. 1992 [doi>10.1145/136586.136587]
	5	{Bus93} Frank Buschmann. Rational architectures for object-oriented systems. Journal of Object-Oriented Programming, September 1993.
	6	David Garlan , Robert Allen , John Ockerbloom, Exploiting style in architectural design environments, Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering, p.175-188, December 06-09, 1994, New Orleans, Louisiana, United States
	7	Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
	8	{GMW95} David Garlan, Bob Monroe, and David Wile. ACME: An interchange language for software architecture. Technical Report CMU-CS-95-219, Carnegie Mellon University, 1995.
	9	David Garlan , Dewayne E. Perry, Introduction to the Special Issue on Software Architecture, IEEE Transactions on Software Engineering, v.21 n.4, p.269-274, April 1995
	10	{GS93} David Garlan and Mary Shaw. An introduction to software architecture. In V. Ambriola and G. Tortora, editors, Advances in Software Engineering and Knowledge Engineering, pages 1-39, Singapore, 1993. World Scientific Publishing Company. Also appears as SCS and SEI technical reports: CMU-CS-94-166, CMU/SEI-94-TR-21, ESC-TR-94-021.
	11	{Kay79} Martin Kay. Functional grammar. In 5th Annual Meeting of the Berkeley Linguistic Society, 1979.
	12	Kevin Knight, Unification: a multidisciplinary survey, ACM Computing Surveys (CSUR), v.21 n.1, p.93-124, March 1989 [doi>10.1145/62029.62030]
	13	David C. Luckham , John J. Kenney , Larry M. Augustin , James Vera , Doug Bryan , Walter Mann, Specification and Analysis of System Architecture Using Rapide, IEEE Transactions on Software Engineering, v.21 n.4, p.336-355, April 1995 [doi>10.1109/32.385971 ]
	14	Robert T. Monroe , David Garlan, Style-Based Reuse for Software Architectures, Proceedings of the 4th International Conference on Software Reuse, p.84, April 23-26, 1996
	15	Nenad Medvidovic , Peyman Oreizy , Jason E. Robbins , Richard N. Taylor, Using object-oriented typing to support architectural design in the C2 style, Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, p.24-32, October 16-18, 1996, San Francisco, California, United States
	16	Mark Moriconi , Xiaolei Qian , R. A. Riemenschneider, Correct Architecture Refinement, IEEE Transactions on Software Engineering, v.21 n.4, p.356-3, April 1995 [doi>10.1109/32.385972 ]
	17	Dewayne E. Perry , Alexander L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, v.17 n.4, p.40-52, Oct. 1992 [doi>10.1145/141874.141884]
	18	Mary Shaw , Robert DeLine , Daniel V. Klein , Theodore L. Ross , David M. Young , Gregory Zelesnik, Abstractions for Software Architecture and Tools to Support Them, IEEE Transactions on Software Engineering, v.21 n.4, p.314-335, April 1995 [doi>10.1109/32.385970 ]