Automata-based formal specification of stateful systems

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.
Official URL:


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
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) Edit Item (Repository staff only)