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...
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|
|Research Community:||University of Westminster > Electronics and Computer Science, School of|
|Deposited On:||27 Jul 2012 12:35|
|Last Modified:||27 Jul 2012 12:35|
Repository Staff Only: item control page