Plug-and-Play Architectural Design and Verification
Architecting Dependable Systems V
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 argues that functional aspects of a distributed system are to specify separately from its communication and synchronization aspects. A petri-net based approach allows to reason about the compatibility of the aspect incarnations and the compatibility of connected components. Using meta-programming, the separate specifications are woven to efficient code.