Han, Tingting and Chen, Taolue and Lu, J. (2005) Structure analysis for dynamic software architecture based on spatial logic. In: UNSPECIFIED (ed.) COMPSAC 2005: 29th Annual International Computer Software and Applications Conference. IEEE Computer Society, pp. 71-76. ISBN 0769524133.
Abstract
The requirement for modifying system structure during system execution is specified by dynamic software architectures. The system architecture style should remain one style or transform within a scope so that some constraints need to be imposed on during the system execution. Our work expands such an idea along two directions in the setting of formalism. The first direction is to model the system by a graph-based calculus stressing the structure. The other direction lies in that we tailor spatial logic to be a suitable logic as the system specification for structure. The model and specification are basis for the model checking algorithm that is to verify whether the system evolution satisfies some structure constraints. We invite a master-slave architecture style as a running example from the beginning and throughout the paper to demonstrate our approach. Such work can be seen as the basis of the structure analysis for architectures.
Metadata
| Item Type: | Book Section |
|---|---|
| School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Sarah Hall |
| Date Deposited: | 16 Feb 2021 18:51 |
| Last Modified: | 09 Aug 2023 12:50 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/43067 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
