Automata-based formal specification of stateful systems

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)[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