Dynamic software architectures: formal specification and verification with CSP
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
| Hi-index | 0.00 |
In this paper, we propose a unified approach based on graphic representation to describe the dynamic component-based architectures. It allows to describe the static and the dynamic aspects as well as the architectural constraints to be respected during the system evolution. We specify with UML2.0 the static aspect of a software system in accordance with an architectural style and the architecture dynamic aspect in terms of graph grammars rewriting rules. These specifications are defined according to the proposed notation integrating UML2.0, OCL language and the Delta notation. This integration offers to the architects an intuitive specification approach.