Basso, Alessandro and Bolotov, Alexander and Getov, Vladimir (2008) Automata-based formal specification of stateful systems. In: Proceedings of the automated reasoning workshop 2008. University of Birmingham, pp. 6-7.Full text not available from this repository.
In light of our previous research1on runtime re-configuration of a component model (Grid Component Model), 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|
|Subjects:||University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)|
|Depositing User:||Rachel Wheelhouse|
|Date Deposited:||27 Jul 2012 11:35|
|Last Modified:||27 Jul 2012 11:35|
Actions (login required)
|Edit Item (Repository staff only)|