Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
A formal basis for architectural connection
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
On the formalization of architectural types with process algebras
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
IBM Systems Journal
A Framework for Component-based Construction Extended Abstract
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Architectural Interoperability Checking in Visual Coordination Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Visual Specification of Systems with Heterogeneous Coordination Models
Electronic Notes in Theoretical Computer Science (ENTCS)
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Executable Specifications for Real-Time Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Plug-and-Play Architectural Design and Verification
Architecting Dependable Systems V
Exploring Multi-Paradigm Modeling Techniques
Simulation
Formal Modeling Of Middleware-based Distributed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Restructuring Paradigm Models for the ToolBus Architecture: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Causal semantics for the algebra of connectors
Formal Methods in System Design
VCD: a visual formalism for specification of heterogeneous software architectures
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Enforcing distributed information flow policies architecturally: the SAID approach
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Architectural building blocks for plug-and-play system design
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
| Hi-index | 0.00 |
This paper develops a modeling paradigm called Architectural Interaction Diagrams, or AIDs, for the high-level design of systems containing concurrent, interacting components. The novelty of AIDs is that they introduce interaction mechanisms, or buses, as first-class entities into the modeling vocabulary. Users then have the capability, in their modeling, of using buses whose behavior captures interaction at a higher level of abstraction than that afforded by modeling notations such as Message Sequence Charts or process algebra, which typically provide only one fixed interaction mechanism. This paper defines AIDs formally by giving them an operational semantics that describes how buses combine subsystem transitions into system-level transitions. This semantics enables AIDs to be simulated; to incorporate subsystems given in different modeling notations into a single system model; and to use testing, debugging and model checking early in the system design cycle in order to catch design errors before they are implemented.