Beyond definition/use: architectural interconnection
IDL '94 Proceedings of the workshop on Interface definition languages
An intelligent tool for re-engineering software modularity
ICSE '91 Proceedings of the 13th international conference on Software engineering
ICSE '93 Selected papers from the Workshop on Studies of Software Design
Heterogeneous design idioms for software architecture
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
ArchJava: connecting software architecture to implementation
Proceedings of the 24th International Conference on Software Engineering
Architectural Reasoning in ArchJava
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Hi-index | 0.00 |
The architecture of a software system specifies, among other things, its decomposition into parts and the communication between those parts. The structure of this decomposition and interconnection is separable from the protocols (types and sequencing) of communication. A language for specifying this structure and a toolset for checking consistency between structure specifications and code would provide substantial benefits to practicing industrial software architects. Gestalt is an architecture language for specifying structure, with separate, partial support for protocol specifications. The Gestalt toolset checks structural consistency between the architecture and the code. It specifies and checks protocol type compatibility at the interfaces, using the implementation language and tools (e.g. compiler). It provides annotation support for sequencing and other architectural information.