Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir (2008) Automata-based formal specification of stateful systems. In: Dennis, L.A. and Sorge, V., (eds.) Proceedings of the automated reasoning workshop 2008. University of Birmingham, pp. 6-7.
Full text not available from this repository.
Official URL: http://events.cs.bham.ac.uk/cicm08/workshop-proc/a...
Abstract
In light of our previous research1on runtime re-configuration of a component model (Grid Component Model)[1], we have been considering stateful systems, bringing new constraints into consideration. We describe in this short document how an automata-based system is used to formally specify a stateful system at two levels: the components’ level, and the infrastructure level.
| Item Type: | Book Section |
|---|---|
| Research Community: | University of Westminster > Electronics and Computer Science, School of |
| ID Code: | 10958 |
| Deposited On: | 27 Jul 2012 12:35 |
| Last Modified: | 27 Jul 2012 12:35 |
Repository Staff Only: item control page
