Coordinated computing: tools and techniques for distributed software
Coordinated computing: tools and techniques for distributed software
The Z notation: a reference manual
The Z notation: a reference manual
Larger scale systems require higher-level abstractions
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Using style to understand descriptions of software architecture
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Communicating sequential processes
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Towards Formalized Software Architectures
Towards Formalized Software Architectures
Software characterization using connectivity
Software characterization using connectivity
Linguistic support for the evolutionary design of software architectures
Proceedings of the 18th international conference on Software engineering
What makes one software architecture more testable than another?
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
A domain specific software architecture style for CSCD system
ACM SIGSOFT Software Engineering Notes
Towards a taxonomy of software connectors
Proceedings of the 22nd international conference on Software engineering
Classification schemes to aid in the analysis of real-time systems
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
A Metric-Based Approach to Detect Abstract Data Types and State Encapsulations
Automated Software Engineering
A Theory of Object-Oriented Design
Information Systems Frontiers
Architecting families of software systems with process algebras
ACM Transactions on Software Engineering and Methodology (TOSEM)
Architecture-driven verification of concurrent systems
Nordic Journal of Computing
Classifying Architectural Elements as a Foundation for Mechanism Matching
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Support for Design Patterns Through Graph Transformation Tools
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Exogenous and Endogenous Extensions of Architectural Types
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Architectural Types Revisited: Extensible And/Or Connections
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Architecture, design, implementation
Proceedings of the 25th International Conference on Software Engineering
Repairing software style using graph grammars
CASCON '97 Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
Principles in formal specification of object oriented design and architecture
CASCON '01 Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research
A defect prevention approach to architecture-based testing
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Using Design Recovery Techniques to Transform Legacy Systems
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
A Methodology for Architectural Design of Concurrent and Distributed Software Systems
The Journal of Supercomputing
Spatial graph grammars for graphical user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
A method to test concurrent systems using architectural specification
The Journal of Supercomputing
P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration
Journal of Systems and Software
Hi-index | 0.00 |
In this paper we introduce a general, extensible diagrammatic syntax for expressing software architectures based on typed nodes and connections and formalized using set theory. The syntax provides a notion of abstraction corresponding to the concept of a subsystem, and exploits this notion in a general mechanism for pattern matching over architectures. We demonstrate these ideas using a small example architecture language with a limited number of types of nodes and connectors, and a small taxonomy of architectures characterized as sets of patterns in the language.