Communicating sequential processes
Communicating sequential processes
Specification and Analysis of System Architecture Using Rapide
IEEE Transactions on Software Engineering - Special issue on software architecture
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
A formal approach to software architecture
A formal approach to software architecture
Test Order for Class-based Integration Testing of Java Applications
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
| Hi-index | 0.00 |
Software architectural description languages (ADLs) are used to specify a high-level, compositional view of a software application, defining how a system is to be composed from coarse-grain components. ADLs usually come equipped with a rigourous state-transition style semantics, enabling formal understanding of distributed and event-based systems [6]. However, additional expressive power is required for the description and understanding of enterprise-scale software architectures - in particular, those built upon newer middleware, such as implementations of Java's EJB specification [2] or Microsoft's COM+/.NET [8]. Such middleware provides additional functionality to a configuration of components, by means of a context-based interception model [12]. We explore an ADL that can define architectures built upon such middleware. In this paper, we focus on modelling transactional architectures built on COM+ middleware.