A formal basis for architectural connection

A formal basis for architectural connection (1997)

Cached

Download Links

by Robert Allen , David Garlan

Venue:	ACM TRANSACTIONS ON SOJIWARE ENGINEERING AND METHODOLOGY
Citations:	570 - 16 self

BibTeX

@ARTICLE{Allen97aformal,
    author = {Robert Allen and David Garlan},
    title = {A formal basis for architectural connection},
    journal = {ACM TRANSACTIONS ON SOJIWARE ENGINEERING AND METHODOLOGY},
    year = {1997}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

3118	Communicating sequential processes - Hoare - 1978
1962	Statecharts: A visual formalism for complex systems - Harel - 1987
1171	Software Architectures: Perspectives on an Emerging Discipline - Shaw, Garlan - 1996
933	A calculus of mobile processes - Milner, Parrow, et al. - 1992
732	The Design and Validation of Computer Protocols - Holzmann - 1991
488	L.J.: Symbolic model checking: 10 20 states and beyond - Burch, Clarke, et al. - 1992
437	M.R.: An Introduction to Input/Output Automata - Lynch, Tuttle - 1989
312	Specifying Distributed Software Architectures - Magee, Dulay, et al. - 1995
294	Specification and analysis of system architecture using Rapide - Luckham, Kenney, et al. - 1995
290	Abstractions for software architecture and tools to support them - Shaw, DeLine, et al. - 1995
258	AFormal Approach to Software Architecture - Allen - 1997
258	Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications - Clarke, Emerson, et al. - 1986
218	Connecting tools using message passing in the Field environment - Reiss - 1990
179	Regular types for active objects - Nierstrasz - 1995
177	The Synthesizer Generator: A System for Constructing Language-Based Editors - Reps, Teitelbaum - 1989
171	The Polylith Software Bus - Purtilo - 1994
150	Petri nets - Peterson - 1977
126	Formalizing style to understand descriptions of software architecture - Abowd, Allen, et al. - 1995
111	Formal specification and analysis of software architectures using the chemical abstract machine model - Inverardi, Wolf - 1995
107	Module interconnection languages - Prieto-Diaz, Neighbors - 1986
100	Introduction to the Special Issue on Software Architecture - Garlan, Perry - 1995
65	An improved failures model for communicating processes - Brookes, Roscoe - 1985
60	Blackboard Systems - Nii - 1989
55	Software Interconnection Models - Perry - 1987
43	Interfaces, protocols, and the semi-automatic construction of software adaptors - Yellin, Strom - 1994
42	The Domain Specific Software Architecture Program - Mettala, Graham - 1992
42	Formulations and Formalisms in Software Architecture." Computer Science Today: Recent Trends and Developments 1000 - Shaw, Garlan - 1995
30	Partial Orderings of Event Sets and Their Application to Prototyping Concurrent Timed Systems - Luckham, Vera, et al. - 1992
24	JSP & JSD: The Jackson Approach to Software Development - Cameron - 1989
15	Formal Speci cation and Analysis of Software Architectures using the Chemical Abstract Machine Model - Inverardi, Wolf - 1995
13	Procedure calls are the assembly language of system interconnection: connectors deserve rst-class status - Shaw - 1996
9	ªSARA �System ARchitects Apprentice): Modeling, Analysis, and Simulation Support for Design of Concurrent Systems,º - Estrin, Fenchel, et al.
7	Blackboard Systems - Parts 1 and 2 - Nii - 1986
7	A theory of interfaces and modules I–composition theorem - Lam, Shankar - 1994
7	The Domain-Speci c Software Architecture Program - Mettala, Graham - 1992
4	Refinement of shared systems - Jacob - 1989
3	A complete protocol verification using relativized bisumulation - Larsen, Milner - 1986
3	Uday Shankar. A theory of interfaces and modules i---compostion theorem - Lam, A - 1994
3	Blackboard systems. Part 1 - NII - 1986
3	A Complete Protocol Veri cation Using Relativized Bisimulation - Larsen, Milner - 1986
2	Specification for the RTIS HLA/RTI implementation - Green, Griffin - 1995
2	Specification and design of the X.25 protocol: A case study in csp - Jifeng - 1990
2	Failures Divergence Refinement: User Manual and Tutorial - SYSTEMS - 1992
2	et al. Automatic veri cation of nite state concurrent systems using temporal logic speci cations - Clarke - 1986
1	Available as CMU - GARLAN, Ed - 1995
1	A Formal Basis for Architectural Connection • 249 - JIFENG - 1990
1	Terry Gri n. Speci cation for the RTIS HLA/RTI implementation - Green - 1995
1	Re nement of shared systems - Jacob - 1989
1	Speci cation and design of the X.25 protocol: A case study in csp - Jifeng - 1990