An introduction to formal specification and Z
An introduction to formal specification and Z
Formal real-time architecture specification and analysis
RTOSS '93 Proceedings of the tenth IEEE workshop on Real-time operating systems and software
Exploiting style in architectural design environments
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
Software architecture: perspectives on an emerging discipline
Software architecture: perspectives on an emerging discipline
Evolving algebras 1993: Lipari guide
Specification and validation methods
Formalizing architectural connection
ICSE '94 Proceedings of the 16th international conference on Software engineering
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
A Practical Method for Rigorously Controllable Hardware Design
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Analyzing and Refining an Architectural Style
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
The Semantics of the C Programming Language
CSL '92 Selected Papers from the Workshop on Computer Science Logic
Intelligent Components and Software Generators
Intelligent Components and Software Generators
Formal aspects of and development environments for Montages
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
| Hi-index | 0.00 |
Software architecture is widely recognized as one of the most fundamental concepts in software engineering, because of the fact, that today's software systems are assembled from components with different characteristics: for example heterogenous, legacy or distributed systems. At the software architecture level, designers combine subsystems into complete systems using different techniques, e.g. "Architecture Description Languages" (ADLs). There exists a number of ADLs, each of which is specialized for one or more architectural styles. They are designed by different research groups with different goals in mind corresponding to their mental model on how software architecture can be expressed in the most efficient and elegant way. As a result, ADLs are not compatible with each other, so that it is diffcult to present a homogeneous view of the software architecture of a system assembled from different components. This paper presents an approach how architectural styles can be combined using a concept of ADL-interchange.