A formal basis for architectural connection
Explore this paper's citation graph
Summary
The key idea is to define architectural connectors as explicit semantic entities as a collection of protocols that characterize each of the participant roles in an interaction and how these roles interact.
- Type
- article
- Published
- 1997-07-01
- Cited by
- 1,533
- References
- 49
- Access
- Open access
- OpenAlex
- https://openalex.org/W2013658284
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:326385
Keywords
Computer science, Architectural pattern, Software engineering, Formal methods, Programming language
References
- Specification and design of the X.25 protocol: a case study in CSP
- JSP and JSD - the Jackson approach to software development (2. ed.)
- Correction to "Specification and Analysis of System Architecture Using Rapide"
- Formal Modeling and Analysis of the HLA RTI
- A Theory of Interfaces and Modules I-Composition Theorem
- Introduction to the Special Issue on Software Architecture
- Formalizing style to understand descriptions of software architecture
- SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems
- A Calculus of Mobile Processes, II
- Module interconnection languages
- Interfaces, protocols, and the semi-automatic construction of software adaptors
- The Synthesizer Generator: A System for Constructing Language-Based Editors
- Connecting tools using message passing in the Field environment
- Partial orderings of event sets and their application to prototyping concurrent, timed systems
- Symbolic Model Checking: 10^20 States and Beyond
- Software interconnection models
- Statecharts: A Visual Formalism for Complex Systems
- Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model
- Regular types for active objects
- Automatic verification of finite-state concurrent systems using temporal logic specifications
Cited by
- A uniform component modeling space
- Software Architecture and Object-Oriented Systems
- Addressing State Explosion in Behavior Protocol Verification
- Composing Dynamic Hyperslices
- A PVS Experiment with Asynchronous Communicating Components DRAFT
- A preliminary formalism for variable coupling in agile systems
- PEIDL : an interaction protocol specification language for software components
- Coordination Technologies for Web-Services
- Composing style-based software architectures from architectural primitives
- Multi-layer coordinated adaptation based on graph refinement for cooperative activities
- A Quantitative Approach to Analyzing Architectures in the Presence of Uncertainty
- Architecture-Based Regression Testing of Evolving Systems
- Méthodes et outils pour la conception de systèmes logiciels auto-adaptatifs
- An Architecture-Centric Approach for Managing the Evolution of EAI Services-Oriented Architecture
- Intrusion Management Using Configurable Architecture Models ; CU-CS-929-02
- DECOR : Détection et correction des défauts dans les systèmes orientés objet. (DECOR : Detection and Correction of Smells in Object-oriented Systems)
- Model Checking of Software Components: Making Java PathFinder Cooperate with Behavior Protocol Checker
- On the Relationship of Software Architecture to Software Component Technology
- Towards Modular Modeling and Simulation of Production Control Systems
- Contract-based Coordination of Distributed Object Systems