A formal basis for architectural connection

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A formal basis for architectural connection

Full text

Pdf (463 KB)

Source

ACM Transactions on Software Engineering and Methodology (TOSEM) archive
Volume 6 , Issue 3 (July 1997) table of contents

Pages: 213 - 249

Year of Publication: 1997

ISSN:1049-331X

Authors

Robert Allen	Carnegie Mellon Univ., Pittsburgh, PA
David Garlan	Carnegie Mellon Univ., Pittsburgh, PA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 14, Downloads (12 Months): 192, Citation Count: 182

Additional Information:

abstract references cited by index terms review collaborative colleagues

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

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/258077.258078 What is a DOI?

ABSTRACT

As software systems become more complex, the overall system structure—or software architecture—becomes a central design problem. An important step toward an engineering discipline of software is a formal basis for describing and analyzing these designs. In the article we present a formal approach to one aspect of architectural design: the interactions among components. The key idea is to define architectural connectors as explicit semantic entities. These are specified as a collection of protocols that characterize each of the participant roles in an interaction and how these roles interact. We illustrate how this scheme can be used to define a variety of common architectural connectors. We further provide a formal semantics and show how this leads to a system in which architectural compatibility can be checked in a way analogous to type-checking in programming languages.

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	Gregory D. Abowd , Robert Allen , David Garlan, Formalizing style to understand descriptions of software architecture, ACM Transactions on Software Engineering and Methodology (TOSEM), v.4 n.4, p.319-364, Oct. 1995 [doi>10.1145/226241.226244]
	2	Robert John Allen , David Garlan, A formal approach to software architecture, 1997
	3	Stephen D. Brookes , A. W. Roscoe, An Improved Failures Model for Communicating Processes, Seminar on Concurrency, Carnegie-Mellon University, p.281-305, July 09-11, 1984
	4	BURCH, J. R., CLARKE, E. M., MCMILLAN, K. L., DILL, D. L., AND HWANG, J. 1990. Symbolic model checking: 1020 states and beyond. In Proceedings of the 5th Annual IEEE Symposium on Logic in Computer Science. IEEE, New York.
	5	John R. Cameron, JSP and JSD: the Jackson approach to software development (2nd ed), IEEE Press, Piscataway, NJ, 1989
	6	E. M. Clarke , E. A. Emerson , A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.2, p.244-263, April 1986 [doi>10.1145/5397.5399]
	7	DARPA. 1990. Proceedings of the Workshop on Domain-Specific Software Architectures. Software Engineering Institute, Pittsburgh, Pa.
	8	G Estrin , R S Fenchel , R R Razouk , M K Vernon, SARA (system architects apprentice): modeling, analysis, and simulation support for design of concurrent systems, IEEE Transactions on Software Engineering, v.12 n.2, p.293-311, Feb. 1986
	9	FORMAL SYSTEMS. 1992. Failures Divergence Refinement: User Manual and Tutorial. 1.2~ ed. Formal Systems (Europe), Oxford, U.K.
	10	GARLAN, D., Ed. 1995. Proceedings of the 1st International Workshop on Architectures for Software Systems (Seattle, Wash., Apr.). Available as CMU Tech. Rep. CMU-CS-95-151. Apr.
	11	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
	12	GREEN, P. AND GRIFFIN, T. 1995. Specification for the RTIS HLA/RTI implementation. Tech. Rep. RTIS10951, The Real-Time Intelligent Systems Corp., Westborough, Mass., Oct.
	13	David Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, v.8 n.3, p.231-274, June 1, 1987 [doi>10.1016/0167-6423(87)90035-9]
	14	C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
	15	Gerard J. Holzmann, Design and validation of computer protocols, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	16	Paola Inverardi , Alexander L. Wolf, Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model, IEEE Transactions on Software Engineering, v.21 n.4, p.373-386, April 1995 [doi>10.1109/32.385973]
	17	JACOB, J. 1989. Refinement of shared systems. In The Theory and Practice of Refinement, J. A. McDermid, Ed. Butterworths, London, U.K.
	18	He Jifeng, Specification and design of the X.25 protocol: a case study in CSP, Developments in concurrency and communication, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1991
	19	S. S. Lam , A. U. Shankar, A Theory of Interfaces and Modules - I: Composition Theorem, IEEE Transactions on Software Engineering, v.20 n.1, p.55-71, January 1994 [doi>10.1109/32.263755]
	20	LARSEN, K. G. AND MILNER, R. 1986. A complete protocol verification using relativized bisumulation. Tech. Rep. ECS-LFCS-86-13, Univ. of Edinburgh Laboratory for Foundations of Computer Science, Edinburgh, U.K.
	21	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]
	22	LYNCH, N. A. AND TUTTLE, M.R. 1988. An introduction to input/output automata. Tech. Rep. MIT/LCS/TM-373, MIT Laboratory for Computer Science, Cambridge, Mass.
	23	Jeff Magee , Naranker Dulay , Susan Eisenbach , Jeff Kramer, Specifying Distributed Software Architectures, Proceedings of the 5th European Software Engineering Conference, p.137-153, September 25-28, 1995
	24	METTALA, E. AND GRAHAM, M.H. 1992. The domain-specific software architecture program. Tech. Rep. CMU/SEI-92-SR-9, Software Engineering Institute, Pittsburgh, Pa.
	25	Robin Milner , Joachim Parrow , David Walker, A calculus of mobile processes, I, Information and Computation, v.100 n.1, p.1-40, Sept. 1992 [doi>10.1016/0890-5401(92)90008-4]
	26	Oscar Nierstrasz, Regular types for active objects, ACM SIGPLAN Notices, v.28 n.10, p.1-15, Oct. 1, 1993
	27	Penny Nii, The blackboard model of problem solving, AI Magazine, v.7 n.2, p.38-53, Summer 1986
	28	NII, H.P. 1986b. Blackboard systems. Part 2. AI Mag. 7, 4, 62-69.
	29	D. E. Perry, Software interconnection models, Proceedings of the 9th international conference on Software Engineering, p.61-69, March 1987, Monterey, California, United States
	30	James L. Peterson, Petri Nets, ACM Computing Surveys (CSUR), v.9 n.3, p.223-252, Sept. 1977 [doi>10.1145/356698.356702]
	31	Ruben Prieto-Diaz , James M Neighbors, Module interconnection languages, Journal of Systems and Software, v.6 n.4, p.307-334, Nov. 1986 [doi>10.1016/0164-1212(86)90002-6]
	32	James M. Purtilo, The POLYLITH software bus, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.1, p.151-174, Jan. 1994 [doi>10.1145/174625.174629]
	33	Steven P. Reiss, Connecting Tools Using Message Passing in the Field Environment, IEEE Software, v.7 n.4, p.57-66, July 1990 [doi>10.1109/52.56450]
	34	Thomas W. Reps , Tim Teitelbaum, The synthesizer generator: a system for constructing language-based editors, Springer-Verlag New York, Inc., New York, NY, 1989
	35	Mary Shaw, Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status, Selected papers from the Workshop on Studies of Software Design, p.17-32, May 17-18, 1993
	36	SHAW, M. AND GARLAN, D. 1995. Formulations and formalisms in software architecture. In Computer Science Today: Recent Trends and Developments, J. van Leeuwen, Ed. Lecture Notes in Computer Science, vol. 1000. Springer-Verlag, Berlin.
	37	Mary Shaw , David Garlan, Software architecture: perspectives on an emerging discipline, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
	38	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]
	39	Daniel M. Yellin , Robert E. Strom, Interfaces, protocols, and the semi-automatic construction of software adaptors, Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, p.176-190, October 23-28, 1994, Portland, Oregon, United States

CITED BY 182

	Prasanta Bose , Xiaoqing Zhou, WWAC: WinWin abstraction based decision coordination, ACM SIGSOFT Software Engineering Notes, v.24 n.2, p.127-136, March 1999
	Shriram Krishnamurthi , Matthias Felleisen, Toward a formal theory of extensible software, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.88-98, Nov. 1998
	Sergey Butkevich , Marco Renedo , Gerald Baumgartner , Michal Young, Compiler and tool support for debugging object protocols, ACM SIGSOFT Software Engineering Notes, v.25 n.6, p.50-59, Nov. 2000
	Nenad Medvidovic , David S. Rosenblum , Richard N. Taylor, A language and environment for architecture-based software development and evolution, Proceedings of the 21st international conference on Software engineering, p.44-53, May 16-22, 1999, Los Angeles, California, United States
	P. Ciancarini , C. Mascolo, Software architecture and mobility, Proceedings of the third international workshop on Software architecture, p.21-24, November 01-05, 1998, Orlando, Florida, United States
	Antonia Bertolino , Paola Inverardi , Henry Muccini, An explorative journey from architectural tests definition down to code tests execution, Proceedings of the 23rd International Conference on Software Engineering, p.211-220, May 12-19, 2001, Toronto, Ontario, Canada
	Robyn R. Lutz , Gerald C. Gannod, Analysis of a software product line architecture: an experience report, Journal of Systems and Software, v.66 n.3, p.253-267, 15 June 2003
	Eric M. Dashofy , Nenad Medvidovic , Richard N. Taylor, Using off-the-shelf middleware to implement connectors in distributed software architectures, Proceedings of the 21st international conference on Software engineering, p.3-12, May 16-22, 1999, Los Angeles, California, United States
	Hassan Gomaa , Daniel A. Menascé , Michael E. Shin, Reusable component interconnection patterns for distributed software architectures, ACM SIGSOFT Software Engineering Notes, v.26 n.3, p.69-77, May 2001
	Marija Rakic , Nenad Medvidovic, Increasing the confidence in off-the-shelf components: a software connector-based approach, ACM SIGSOFT Software Engineering Notes, v.26 n.3, p.11-18, May 2001
	Michel Wermelinger , Antónia Lopes , José Luiz Fiadeiro, A graph based architectural (Re)configuration language, ACM SIGSOFT Software Engineering Notes, v.26 n.5, Sept. 2001
	Chrysanthos Dellarocas , Mark Klein , Howard Shrobe, An architecture for constructing self-evolving software systems, Proceedings of the third international workshop on Software architecture, p.29-32, November 01-05, 1998, Orlando, Florida, United States
	Nenad Medvidovic , Richard N. Taylor, Separating fact from fiction in software architecture, Proceedings of the third international workshop on Software architecture, p.105-108, November 01-05, 1998, Orlando, Florida, United States
	Antónia Lopes , José Luiz Fiadeiro , Michel Wermelinger, Architectural primitives for distribution and mobility, Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering, November 18-22, 2002, Charleston, South Carolina, USA
	Egidio Astesiano , Michel Bidoit , Hélène Kirchner , Bernd Krieg-Brückner , Peter D. Mosses , Donald Sannella , Andrzej Tarlecki, CASL: the common algebraic specification language, Theoretical Computer Science, v.286 n.2, p.153-196, 17 September 2002
	Lynne Blair , Trevor Jones , Stephan Reiff-Marganiec, A feature manager approach to the analysis of component-interactions, Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V, p.233-248, March 20-22, 2002
	Valérie Issarny , Titos Saridakis , Apostolos Zarras, Multi-view description of software architectures, Proceedings of the third international workshop on Software architecture, p.81-84, November 01-05, 1998, Orlando, Florida, United States
	Luís Filipe Andrade , José Luiz Fiadeiro, Agility through coordination, Information Systems, v.27 n.6, p.411-424, September 2002
	Leigh A. Davis , Jamie Payton , Rose Gamble, How system architectures impede interoperability, Proceedings of the 2nd international workshop on Software and performance, p.145-146, September 2000, Ottawa, Ontario, Canada
	Nikunj R. Mehta , Nenad Medvidovic , Sandeep Phadke, Towards a taxonomy of software connectors, Proceedings of the 22nd international conference on Software engineering, p.178-187, June 04-11, 2000, Limerick, Ireland
	Marco Bernardo , Paolo Ciancarini , Lorenzo Donatiello, On the formalization of architectural types with process algebras, ACM SIGSOFT Software Engineering Notes, v.25 n.6, p.140-148, Nov. 2000
	Davide Brugali , Katia Sycara, Towards agent oriented application frameworks, ACM Computing Surveys (CSUR), v.32 n.1es, March 2000
	Peyman Oreizy , Nenad Medvidovic , Richard N. Taylor, Architecture-based runtime software evolution, Proceedings of the 20th international conference on Software engineering, p.177-186, April 19-25, 1998, Kyoto, Japan
	Robert J. Allen , David Garlan , James Ivers, Formal modeling and analysis of the HLA component integration standard, ACM SIGSOFT Software Engineering Notes, v.23 n.6, p.70-79, Nov. 1998
	Hassan Gomaa , Daniel A. Menascé, Design and performance modeling of component interconnection patterns for distributed software architectures, Proceedings of the 2nd international workshop on Software and performance, p.117-126, September 2000, Ottawa, Ontario, Canada
	L. Davis , R. Gamble , J. Payton , G. Jónsdóttir , D. Underwood, A notation for problematic architecture interactions, ACM SIGSOFT Software Engineering Notes, v.26 n.5, Sept. 2001
	David Rine, Human exploration and development of space: using XML database space wide web, Information Sciences—Informatics and Computer Science: An International Journal, v.150 n.3-4, p.123-151, April 2003
	Gerald C. Gannod , Robyn R. Lutz, An approach to architectural analysis of product lines, Proceedings of the 22nd international conference on Software engineering, p.548-557, June 04-11, 2000, Limerick, Ireland
	Jie Ren , Richard Taylor , Paul Dourish , David Redmiles, Towards an architectural treatment of software security: a connector-centric approach, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
	Ernest H. Page , Jeffrey M. Opper, Observations on the complexity of composable simulation, Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future, p.553-560, December 05-08, 1999, Phoenix, Arizona, United States
	Vered Gafni, Robots: a real-time systems architectural style, ACM SIGSOFT Software Engineering Notes, v.24 n.6, p.57-74, Nov. 1999
	Jason E. Robbins , Nenad Medvidovic , David F. Redmiles , David S. Rosenblum, Integrating architecture description languages with a standard design method, Proceedings of the 20th international conference on Software engineering, p.209-218, April 19-25, 1998, Kyoto, Japan
	André van der Hoek , Marija Mikic-Rakic , Roshanak Roshandel , Nenad Medvidovic, Taming architectural evolution, ACM SIGSOFT Software Engineering Notes, v.26 n.5, Sept. 2001
	Marco Bernardo , Paolo Ciancarini , Lorenzo Donatiello, ÆMPA: a process algebraic description language for the performance analysis of software architectures, Proceedings of the 2nd international workshop on Software and performance, p.1-11, September 2000, Ottawa, Ontario, Canada
	David Rine , Nader Nada , Khaled Jaber, Using adapters to reduce interaction complexity in reusable component-based software development, Proceedings of the 1999 symposium on Software reusability, p.37-43, May 21-23, 1999, Los Angeles, California, United States
	Judith A. Stafford , Alexander L. Wolf, Architecture-level dependence analysis in support of software maintenance, Proceedings of the third international workshop on Software architecture, p.129-132, November 01-05, 1998, Orlando, Florida, United States
	Thomas Genßler , Alexander Christoph , Michael Winter , Oscar Nierstrasz , Stéphane Ducasse , Roel Wuyts , Gabriela Arévalo , Bastiaan Schönhage , Peter Müller , Chris Stich, Components for embedded software: the PECOS approach, Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems, October 08-11, 2002, Grenoble, France
	David Garlan, Software architecture: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.91-101, June 04-11, 2000, Limerick, Ireland
	Paola Inverardi , Alexander L. Wolf , Daniel Yankelevich, Static checking of system behaviors using derived component assumptions, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.3, p.239-272, July 2000
	Nima Kaveh, Model checking distributed objects design, Proceedings of the 23rd International Conference on Software Engineering, p.793-794, May 12-19, 2001, Toronto, Ontario, Canada
	Annie I. Antón , Colin Potts, Functional paleontology: system evolution as the user sees it, Proceedings of the 23rd International Conference on Software Engineering, p.421-430, May 12-19, 2001, Toronto, Ontario, Canada
	André van der Hoek , Dennis Heimbigner , Alexander L. Wolf, Versioned software architecture, Proceedings of the third international workshop on Software architecture, p.73-76, November 01-05, 1998, Orlando, Florida, United States
	Débora Christina Muchaluat-Saade , Luiz Fernando Gomes Soares, Towards the convergence between hypermedia authoring languages and architecture description languages, Proceedings of the 2001 ACM Symposium on Document engineering, November 09-10, 2001, Atlanta, Georgia, USA
	Sergey Melnik , Hector Garcia-Molina , Andreas Paepcke, A mediation infrastructure for digital library services, Proceedings of the fifth ACM conference on Digital libraries, p.123-132, June 02-07, 2000, San Antonio, Texas, United States
	Eric Wohlstadter , Stoney Jackson , Premkumar Devanbu, DADO: enhancing middleware to support crosscutting features in distributed, heterogeneous systems, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
	Dieter Fensel , Enrico Motta , Frank van Harmelen , V. Richard Benjamins , Monica Crubezy , Stefan Decker , Mauro Gaspari , Rix Groenboom , William Grosso , Mark Musen , Enric Plaza , Guus Schreiber , Rudi Studer , Bob Wielinga, The unified problem-solving method development language UPML, Knowledge and Information Systems, v.5 n.1, p.83-131, March 2003
	Alex Borgida , Premkumar Devanbu, Adding more “DL” to IDL: towards more knowledgeable component inter-operability, Proceedings of the 21st international conference on Software engineering, p.378-387, May 16-22, 1999, Los Angeles, California, United States
	Neil Roodyn , Wolfgang Emmerich, An architectural style for multiple real-time data feeds, Proceedings of the 21st international conference on Software engineering, p.564-572, May 16-22, 1999, Los Angeles, California, United States
	Antónia Lopes , Michel Wermelinger , José Luiz Fiadeiro, Higher-order architectural connectors, ACM Transactions on Software Engineering and Methodology (TOSEM), v.12 n.1, p.64-104, January 2003
	Nenad Medvidovic , David S. Rosenblum , David F. Redmiles , Jason E. Robbins, Modeling software architectures in the Unified Modeling Language, ACM Transactions on Software Engineering and Methodology (TOSEM), v.11 n.1, p.2-57, January 2002
	Amnon H. Eden , Yoram Hirshfeld, Principles in formal specification of object oriented design and architecture, Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research, p.3, November 05-07, 2001, Toronto, Ontario, Canada
	Jonathan Aldrich , Craig Chambers , David Notkin, ArchJava: connecting software architecture to implementation, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Israel Ben-Shaul , James W. Gish , William Robinson, An Integrated Network Component Architecture, IEEE Software, v.15 n.5, p.79-87, September 1998
	Marco Bernardo , Paolo Ciancarini , Lorenzo Donatiello, Architecting families of software systems with process algebras, ACM Transactions on Software Engineering and Methodology (TOSEM), v.11 n.4, p.386-426, October 2002
	Arnab Ray , Rance Cleaveland, Architectural Interaction Diagrams: AIDs for system modeling, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
	Annie I. Antón , Colin Potts, Functional Paleontology: The Evolution of User-Visible System Services, IEEE Transactions on Software Engineering, v.29 n.2, p.151-166, February 2003
	Bridget Spitznagel , David Garlan, A compositional formalization of connector wrappers, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
	Candida Attanasio , Flavio Corradini , Paola Inverardi, Static analysis of real-time component-based systems configurations, Science of Computer Programming, v.46 n.1-2, p.5-30, January/February 2003
	Elisabetta Di Nitto , David Rosenblum, Exploiting ADLs to specify architectural styles induced by middleware infrastructures, Proceedings of the 21st international conference on Software engineering, p.13-22, May 16-22, 1999, Los Angeles, California, United States
	Gabriel Ciobanu , Dorel Lucanu, A specification language for coordinated objects, ACM SIGSOFT Software Engineering Notes, v.31 n.2, March 2006
	Scott Hissam , Gabriel Moreno , Judith Stafford , Kurt Wallnau, Enabling predictable assembly, Journal of Systems and Software, v.65 n.3, p.185-198, 15 March 2003
	Paola Inverardi , Massimo Tivoli, Deadlock-free software architectures for COM/DCOM applications, Journal of Systems and Software, v.65 n.3, p.173-183, 15 March 2003
	Alberto Coen-Porisini , Matteo Pradella , Matteo Rossi , Dino Mandrioli, A formal approach for designing CORBA-based applications, ACM Transactions on Software Engineering and Methodology (TOSEM), v.12 n.2, p.107-151, April 2003
	Sherif M. Yacoub , Hany H. Ammar, A Methodology for Architecture-Level Reliability Risk Analysis, IEEE Transactions on Software Engineering, v.28 n.6, p.529-547, June 2002
	Dimitra Giannakopoulou , Jeff Magee, Fluent model checking for event-based systems, ACM SIGSOFT Software Engineering Notes, v.28 n.5, September 2003
	Pietro Abate , Marco Bernardo, A scalable approach to the design of SW architectures with dynamically created/destroyed components, Proceedings of the 14th international conference on Software engineering and knowledge engineering, July 15-19, 2002, Ischia, Italy
	L. Davis , R. F. Gamble , J. Payton, The impact of component architectures on interoperability, Journal of Systems and Software, v.61 n.1, p.31-45, March 2002
	Nenad Medvidovic , Richard N. Taylor, A Classification and Comparison Framework for Software Architecture Description Languages, IEEE Transactions on Software Engineering, v.26 n.1, p.70-93, January 2000
	Philippe Bidinger , Matthieu Leclercq , Vivien Quéma , Alan Schmitt , Jean-Bernard Stefani, Dream types: a domain specific type system for component-based message-oriented middleware, ACM SIGSOFT Software Engineering Notes, v.31 n.2, March 2006
	Nenad Medvidovic, On the role of middleware in architecture-based software development, Proceedings of the 14th international conference on Software engineering and knowledge engineering, July 15-19, 2002, Ischia, Italy
	Binoy Ravindran, Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware, IEEE Transactions on Software Engineering, v.28 n.1, p.30-57, January 2002
	L. Andrade , J. L. Fiadeiro , J. Gouveia , G. Koutsoukos, Separating computation, coordination and configuration, Journal of Software Maintenance: Research and Practice, v.14 n.5, p.353-369, September-October 2002
	Corin Gurr , Konstantinos Tourlas, Towards the principled design of software engineering diagrams, Proceedings of the 22nd international conference on Software engineering, p.509-518, June 04-11, 2000, Limerick, Ireland
	Gregor Engels , Jochem M. Küster , Reiko Heckel , Luuk Groenewegen, A methodology for specifying and analyzing consistency of object-oriented behavioral models, ACM SIGSOFT Software Engineering Notes, v.26 n.5, Sept. 2001
	John Hatcliff , Xinghua Deng , Matthew B. Dwyer , Georg Jung , Venkatesh Prasad Ranganath, Cadena: an integrated development, analysis, and verification environment for component-based systems, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
	Eric M. Dashofy , André van der Hoek , Richard N. Taylor, An infrastructure for the rapid development of XML-based architecture description languages, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida
	Antónia Lopes , José Luiz Fiadeiro , Michel Wermelinger, Architectural primitives for distribution and mobility, ACM SIGSOFT Software Engineering Notes, v.27 n.6, November 2002
	Xudong He , Huiqun Yu , Tianjun Shi , Junhua Ding , Yi Deng, Formally analyzing software architectural specifications using SAM, Journal of Systems and Software, v.71 n.1-2, p.11-29, April 2004
	Andrea Bracciali , Antonio Brogi , Carlos Canal, A formal approach to component adaptation, Journal of Systems and Software, v.74 n.1, p.45-54, January 2005
	C. Pahl , M. Casey, Ontology support for web service processes, ACM SIGSOFT Software Engineering Notes, v.28 n.5, September 2003
	Guoqing Xu , Zongyuan Yang , Haitao Huang, A basic model for components implementation of software architecture, ACM SIGSOFT Software Engineering Notes, v.29 n.5, September 2004
	Kukjin Lee , Diane T. Rover, Uniform resource visualization: software and services, Performance analysis and grid computing, Kluwer Academic Publishers, Norwell, MA, 2004
	Nasreddine Aoumeur , Gunter Saake, Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal, Data & Knowledge Engineering, v.50 n.2, p.117-173, August 2004
	Roshanak Roshandel , André Van Der Hoek , Marija Mikic-Rakic , Nenad Medvidovic, Mae---a system model and environment for managing architectural evolution, ACM Transactions on Software Engineering and Methodology (TOSEM), v.13 n.2, p.240-276, April 2004
	Aleksandar Dimov , Sylvia Ilieva, System level modeling of component based software systems, Proceedings of the 5th international conference on Computer systems and technologies, June 17-18, 2004, Rousse, Bulgaria
	Carlos Canal , Lidia Fuentes , Ernesto Pimentel , José M. Troya , Antonio Vallecillo, Adding Roles to CORBA Objects, IEEE Transactions on Software Engineering, v.29 n.3, p.242-260, March 2003
	Marco Antonio Barbosa, A refinement calculus for software components and architectures, ACM SIGSOFT Software Engineering Notes, v.30 n.5, September 2005
	Frantisek Plasil , Stanislav Visnovsky, Behavior Protocols for Software Components, IEEE Transactions on Software Engineering, v.28 n.11, p.1056-1076, November 2002
	Jiri Adamek, Static analysis of component systems using behavior protocols, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 26-30, 2003, Anaheim, CA, USA
	Pin Chen , Jun Han, Facilitating system-of-systems evolution with architecture support, Proceedings of the 4th International Workshop on Principles of Software Evolution, September 10-11, 2001, Vienna, Austria
	Eric M. Dashofy , André van der Hoek , Richard N. Taylor, A comprehensive approach for the development of modular software architecture description languages, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.2, p.199-245, April 2005
	Fernando Castor Filho , Patrick H. S. Brito , Cecília Mary F. Rubira, A framework for analyzing exception flow in software architectures, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
	Peter Henderson, Modelling architectures for dynamic systems, Programming methodology, Springer-Verlag New York, Inc., New York, NY, 2003
	Dorina Petriu , Christiane Shousha , Anant Jalnapurkar, Architecture-Based Performance Analysis Applied to a Telecommunication System, IEEE Transactions on Software Engineering, v.26 n.11, p.1049-1065, November 2000
	Joao Paulo Almeida , Marten van Sinderen , Dick A. C. Quartel , Luis Ferreira Pires, Designing Interaction Systems for Distributed Applications, IEEE Distributed Systems Online, v.6 n.3, p.1, March 2005
	Alessandro Aldini , Marco Bernardo, On the usability of process algebra: an architectural view, Theoretical Computer Science, v.335 n.2-3, p.281-329, 23 May 2005
	Omer Erdem Demir , Prem Devanbu , Nenad Medvidovic , Eric Wohlstadter, DISCOA: architectural adaptations for security and QoS, ACM SIGSOFT Software Engineering Notes, v.30 n.4, July 2005
	Juan Manuel Serrano , Sascha Ossowski , Sergio Saugar, Engineering agent interactions from ACL-based reusable connectors, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, July 25-29, 2005, The Netherlands
	Jos de Bruijn , Dieter Fensel , Uwe Keller , Rubén Lara, Using the web service modeling ontology to enable semantic e-business, Communications of the ACM, v.48 n.12, December 2005
	Emmanuel Letier , Jeff Kramer , Jeff Magee , Sebastian Uchitel, Fluent temporal logic for discrete-time event-based models, ACM SIGSOFT Software Engineering Notes, v.30 n.5, September 2005
	Yu David Liu , Scott F. Smith, Interaction-based programming with classages, ACM SIGPLAN Notices, v.40 n.10, October 2005
	David Coppit , Kevin J. Sullivan, Sound methods and effective tools for engineering modeling and analysis, Proceedings of the 25th International Conference on Software Engineering, May 03-10, 2003, Portland, Oregon
	Eric Wohlstadter , Brian Toone , Prem Devanbu, A framework for flexible evolution in distributed heterogeneous systems, Proceedings of the International Workshop on Principles of Software Evolution, May 19-20, 2002, Orlando, Florida
	Flavio Corradini , Paola Inverardi , Alexander L. Wolf, On relating functional specifications to architectural specifications: a case study, Science of Computer Programming, v.59 n.3, p.171-208, February 2006
	Myra B. Cohen , Matthew B. Dwyer , Jiangfan Shi, Coverage and adequacy in software product line testing, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, p.53-63, July 17-20, 2006, Portland, Maine
	J. Adamek , F. Plasil, Component composition errors and update atomicity: static analysis: Research Articles, Journal of Software Maintenance and Evolution: Research and Practice, v.17 n.5, p.363-377, September 2005
	Frederic Doucet , Sandeep Shukla , Rajesh Gupta, Structural component composition for system-level models, Formal methods and models for system design: a system level perspective, Kluwer Academic Publishers, Norwell, MA, 2004
	Philippe Collet , Alain Ozanne , Nicolas Rivierre, On contracting different behavioral properties in component-based systems, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
	John C. Georgas , Eric M. Dashofy , Richard N. Taylor, Architecture-centric development: a different approach to software engineering, Crossroads, v.12 n.4, p.6-6, Summer 2006
	Sudhakiran V. Mudiam , Gerald C. Gannod , Timothy E. Lindquist, Synthesizing and integrating legacy components as services using adapters, Science of Computer Programming, v.60 n.2, p.134-148, April 2006
	David Garlan , Shang-Wen Cheng , Andrew J. Kompanek, Reconciling the needs of architectural description with object-modeling notations, Science of Computer Programming, v.44 n.1, p.23-49, July 2002
	Antónia Lopes , José Luiz Fiadeiro, Adding mobility to software architectures, Science of Computer Programming, v.61 n.2, p.114-135, July 2006
	Antonio Brogi , Carlos Canal , Ernesto Pimentel, On the semantics of software adaptation, Science of Computer Programming, v.61 n.2, p.136-151, July 2006
	Fernando J. Barros, An evolving hierarchical & modular approach to resilient software, Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, November 17-19, 2008, Newcastle upon Tyne, United Kingdom
	Juan M. Serrano , Sergio Saugar, Operational semantics of multiagent interactions, Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems, May 14-18, 2007, Honolulu, Hawaii
	Wenpin Jiao , Hong Mei, Supporting high interoperability of components by adopting an agent-based approach, Software Quality Control, v.15 n.3, p.283-307, September 2007
	Mila Majster-Cederbaum , Moritz Martens , Christoph Minnameier, Liveness in Interaction Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 215, p.57-74, June, 2008
	Remco M. Dijkman , Teduh Dirgahayu , Dick A. Quartel, The adequacy of languages for representing interaction mechanisms, Information Systems Frontiers, v.9 n.4, p.359-373, September 2007
	Valérie Issarny , Titos Saridakis, Defining Open Software Architectures for Customized Remote Execution of Web Agents, Autonomous Agents and Multi-Agent Systems, v.2 n.3, p.237-249, September 1999
	Hassan Reza, A Methodology for Architectural Design of Concurrent and Distributed Software Systems, The Journal of Supercomputing, v.37 n.3, p.227-248, September 2006
	Arnaud Bailly , Mireille Clerbout , Isabelle Simplot-Ryl, Component composition preserving behavioral contracts based on communication traces, Theoretical Computer Science, v.363 n.2, p.108-123, 28 October 2006
	Jungwoo Ryoo , Hossein Saiedian, AVDL: a highly adaptable architecture view description language, Journal of Systems and Software, v.79 n.8, p.1180-1206, August 2006
	Jung Soo Kim , David Garlan, Analyzing architectural styles with alloy, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis, p.70-80, July 17-20, 2006, Portland, Maine
	Antonio Brogi , Carlos Canal , Ernesto Pimentel, Component adaptation through flexible subservicing, Science of Computer Programming, v.63 n.1, p.39-56, November 2006
	Osama El-Hassan , José Luiz Fiadeiro, Role-based Architectural Modelling of Socio-Technical Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 181, p.5-17, June, 2007
	Marco Antonio Barbosa , Luís Soares Barbosa, Configurations of Web Services, Electronic Notes in Theoretical Computer Science (ENTCS), v.175 n.2, p.39-57, June, 2007
	Pascal André , Gilles Ardourel , Christian Attiogbé, Adaptation for Hierarchical Components and Services, Electronic Notes in Theoretical Computer Science (ENTCS), 189, p.5-20, July, 2007
	Giovanna Di Marzo Serugendo , John Fitzgerald , Alexander Romanovsky , Nicolas Guelfi, A metadata-based architectural model for dynamically resilient systems, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
	Cristóvão Oliveira , Michel Wermelinger, The CommUnity Workbench, Science of Computer Programming, v.69 n.1-3, p.46-55, December, 2007
	Pekka Nikander , Arto Karila, A java beans component architecture for cryptographic protocols, Proceedings of the 7th conference on USENIX Security Symposium, 1998, p.8-8, January 26-29, 1998, San Antonio, Texas
	David Garlan , Bradley Schmerl, Architecture-driven modelling and analysis, Proceedings of the eleventh Australian workshop on Safety critical systems and software, p.3-17, August 31, 2006, Melbourne, Australia
	Marco Antonio Barbosa , Luís Soares Barbosa , José Creissac Campos, Towards a Coordination Model for Interactive Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 183, p.89-103, July, 2007
	Antonio Brogi , Javier Cámara , Carlos Canal , Javier Cubo , Ernesto Pimentel, Dynamic Contextual Adaptation, Electronic Notes in Theoretical Computer Science (ENTCS), v.175 n.2, p.81-95, June, 2007
	Claus Pahl, Semantic model-driven architecting of service-based software systems, Information and Software Technology, v.49 n.8, p.838-850, August, 2007
	Antonio Brogi , Carlos Canal , Ernesto Pimentel, Behavioural Types for Service Integration: Achievements and Challenges, Electronic Notes in Theoretical Computer Science (ENTCS), v.180 n.2, p.41-54, June, 2007
	Simon Giesecke , Wilhelm Hasselbring , Matthias Riebisch, Classifying architectural constraints as a basis for software quality assessment, Advanced Engineering Informatics, v.21 n.2, p.169-179, April, 2007
	David Šafránek, Architectural Interoperability Checking in Visual Coordination Networks, Electronic Notes in Theoretical Computer Science (ENTCS), 181, p.81-96, June, 2007
	Javier Cámara , Carlos Canal , Javier Cubo , Juan Manuel Murillo, An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution, Electronic Notes in Theoretical Computer Science (ENTCS), 189, p.21-34, July, 2007
	Christophe Sibertin-Blanc , Philippe Mauran , Gérard Padiou, Safe Adaptation of Component Coordination, Electronic Notes in Theoretical Computer Science (ENTCS), 189, p.69-85, July, 2007
	Chris A. Mattmann , David Woollard , Nenad v , Reza Mahjourian, Software Connector Classification and Selection for Data-Intensive Systems, Proceedings of the Second International Workshop on Incorporating COTS Software into Software Systems: Tools and Techniques, p.4, May 20-26, 2007
	Virginia de Paula , Thais Batista, Revisiting a Formal Framework for Modeling Aspects in the Design Phase, Proceedings of the Early Aspects at ICSE: Workshops in Aspect-Oriented Requirements Engineering and Architecture Design, p.6, May 20-26, 2007
	Ryszard Janicki , Dai Tri Man Lê, Towards a Pragmatic Mereology, Fundamenta Informaticae, v.75 n.1-4, p.295-314, January 2007
	Antonio Vallecillo , Vasco T. Vasconcelos , António Ravara, Typing the Behavior of Software Components using Session Types, Fundamenta Informaticae, v.73 n.4, p.583-598, December 2006
	Francisco Heron Carvalho-Junior , Rafael Dueire Lins , Ricardo Cordeiro Corrês , Gisele Azevedo Araújo , Jefferson Carvalho Silva, On the design of abstract binding connectors for high performance computing component models, Proceedings of the 2007 symposium on Component and framework technology in high-performance and scientific computing, October 21-22, 2007, Montreal, Quebec, Canada
	Hartmut Ehrig , Fernando Orejas , Benjamin Braatz , Markus Klein , Martti Piirainen, A Transformation-Based Component Framework For A Generic Integrated Modeling Technique, Journal of Integrated Design & Process Science, v.6 n.4, p.78-104, December 2002
	Scott A. Hendrickson , Andre van der Hoek, Modeling Product Line Architectures through Change Sets and Relationships, Proceedings of the 29th International Conference on Software Engineering, p.189-198, May 20-26, 2007
	Fernando J. Barros, Representing Hierarchical Mobility in Software Architectures, Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems, p.5, May 20-26, 2007
	Hong Mei, A Component Model for Perspective Management of Enterprise Software Reuse, Annals of Software Engineering, v.11 n.1, p.219-236, November 2001
	Jaiprakash T. Lalchandani , R. Mall, Regression testing based-on slicing of component-based software architectures, Proceedings of the 1st conference on India software engineering conference, February 19-22, 2008, Hyderabad, India
	Dimitra Giannakopoulou , Corina S. Pasareanu , Jamieson M. Cobleigh, Assume-Guarantee Verification of Source Code with Design-Level Assumptions, Proceedings of the 26th International Conference on Software Engineering, p.211-220, May 23-28, 2004
	Debra Richardson , Paola Inverardi, ROSATEA: International Workshop on the Role of Software Architecture in Analysis E(and) Testing, ACM SIGSOFT Software Engineering Notes, v.24 n.4, p.33-42, July 1999
	Cristovao Oliveira , Michel Wermelinger, The CommUnity Workbench, Proceedings of the 26th International Conference on Software Engineering, p.709-710, May 23-28, 2004
	Nathan D. Ryan , Alexander L. Wolf, Using Event-Based Translation to Support Dynamic Protocol Evolution, Proceedings of the 26th International Conference on Software Engineering, p.408-417, May 23-28, 2004
	Chris A. Mattmann , David Woollard , Nenad Medvidovic, Exploiting connector knowledge to efficiently disseminate highly voluminous data sets, Proceedings of the 3rd international workshop on Sharing and reusing architectural knowledge, May 13-13, 2008, Leipzig, Germany
	P. Ciancarini , F. Franze` , C. Mascolo, A Coordination Model to Specify Systems Including Mobile Agents, Proceedings of the 9th international workshop on Software specification and design, p.96, April 16-18, 1998
	Michel Wermelinger , Antónia Lopes , José Luiz Fiadeiro, Superposing Connectors, Proceedings of the 10th International Workshop on Software Specification and Design, p.87, November 05-07, 2000
	Jennifer Pérez , Carlos E. Cuesta, Aspect-oriented connectors for coordination, International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting, p.13-22, September 03-04, 2007, Dubrovnik, Croatia
	Amnon H. Eden, A Theory of Object-Oriented Design, Information Systems Frontiers, v.4 n.4, p.379-391, December 2002
	Arnab Ray , Rance Cleaveland, Executable Specifications for Real-Time Distributed Systems, Electronic Notes in Theoretical Computer Science (ENTCS), v.203 n.4, p.3-17, June, 2008
	Shifeng Zhang , Steve Goddard, A software architecture and framework for Web-based distributed Decision Support Systems, Decision Support Systems, v.43 n.4, p.1133-1150, August, 2007
	Thorsten Keuler, An aspect-oriented approach for improving architecture design efficiency, Companion of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
	P. Baldan , A. Bracciali , R. Bruni, A semantic framework for open processes, Theoretical Computer Science, v.389 n.3, p.446-483, December, 2007
	Georg Jung , John Hatcliff, A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures, Proceedings of the 6th international conference on Generative programming and component engineering, October 01-03, 2007, Salzburg, Austria
	Stephen Kell, Rethinking software connectors, International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting, p.1-12, September 03-04, 2007, Dubrovnik, Croatia
	Nasreddine Aoumeur , Jose Fiadeiro , Cristovao Oliveira, Distribution concerns in service-oriented modelling, International Journal of Internet Protocol Technology, v.1 n.3, p.144-158, May 2006
	Fernando Orejas , Sonia Pérez, Architectural Connectors for Sequence Diagrams, Electronic Notes in Theoretical Computer Science (ENTCS), 206, p.111-131, April, 2008
	Emmanuel Letier , Jeff Kramer , Jeff Magee , Sebastian Uchitel, Deriving event-based transition systems from goal-oriented requirements models, Automated Software Engineering, v.15 n.2, p.175-206, June 2008
	Javier Cámara , Carlos Canal , Gwen Salaün, Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems, Electronic Notes in Theoretical Computer Science (ENTCS), 215, p.111-130, June, 2008
	Claus Pahl, Semantic model-driven development of web service architectures, International Journal of Web Engineering and Technology, v.4 n.3, p.386-404, July 2008
	Mila Majster-Cederbaum , Moritz Martens, Compositional analysis of deadlock-freedom for tree-like component architectures, Proceedings of the 7th ACM international conference on Embedded software, October 19-24, 2008, Atlanta, GA, USA
	Michael Lienhardt , Alan Schmitt , Jean-Bernard Stefani, Typing communicating component assemblages, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA
	Kung-Kiu Lau , Zheng Wang, Software Component Models, IEEE Transactions on Software Engineering, v.33 n.10, p.709-724, October 2007
	Julien Mercadal , Nicolas Palix , Charles Consel , Julia L. Lawall, Pantaxou: a domain-specific language for developing safe coordination services, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA
	Ismael Bouassida Rodriguez , Karim Guennoun , Khalil Drira , Christophe Chassot , Mohamed Jmaiel, Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism, Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology, October 28-31, 2008, Cergy-Pontoise, France
	Tao Zhang , Shi Ying , Sheng Cao , Jiankeng Zhang, A modelling approach to service-oriented architecture, Enterprise Information Systems, v.2 n.3, p.239-257, August 2008
	Ilie Şavga , Michael Rudolf , Sebastian Götz , Uwe Aßmann, Practical refactoring-based framework upgrade, Proceedings of the 7th international conference on Generative programming and component engineering, October 19-23, 2008, Nashville, TN, USA
	Simon Giesecke, Taxonomy of architectural style usage, Proceedings of the 2006 conference on Pattern languages of programs, October 21-23, 2006, Portland, Oregon
	Zhi-Hong Tao , Hans Kleine Büning , Li-Fu Wang, Direct model checking matrix algorithm, Journal of Computer Science and Technology, v.21 n.6, p.944-949, November 2006
	Fabricio Fernandes , Robin Passama , Jean-Claude Royer, Event strictness for components with complex bindings, Proceeding of the 2nd annual conference on India software engineering conference, February 23-26, 2009, Pune, India
	Marco A. Barbosa , Luis S. Barbosa, A perspective on service orchestration, Science of Computer Programming, v.74 n.9, p.671-687, July, 2009
	Ana M. Roldan , Ernesto Pimentel , Antonio Brogi, Software composition with Linda, Computer Languages, Systems and Structures, v.35 n.4, p.395-405, December, 2009
	Haiyang Hu , Hua Hu, Research on protocol-level behavioral substitutability of software components in component-based software system, WSEAS Transactions on Computers, v.8 n.6, p.956-965, June 2009

INDEX TERMS

Primary Classification:
F. Theory of Computation
F.3 LOGICS AND MEANINGS OF PROGRAMS
F.3.1 Specifying and Verifying and Reasoning about Programs
Subjects: Specification techniques

Additional Classification:
D. Software
D.2 SOFTWARE ENGINEERING
D.2.1 Requirements/Specifications
Subjects: Languages
D.2.10 Design**
Subjects: Representation**
D.2.2 Design Tools and Techniques
Subjects: Modules and interfaces

F. Theory of Computation
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES

General Terms:
Design, Theory

Keywords:
WRIGHT, formal models, model-checking, module interconnection, software analysis

REVIEW

"Markus Wolf : Reviewer"

Allen and Garlan present a formal approach to the description of the architectural design of interacting components of a software system. The intention of the approach is to extend traditional methods of formalizing architectural design (Inter more...

Collaborative Colleagues:

Robert Allen: colleagues

David Garlan: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player