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 15th workshop on automated reasoning: bridging the gap between theory and practice: CICM 2008, Conferences on Intelligent Computer Mathematics, University of Birmingham, UK. School of Computer Science, Birmingham.

Full text not available from this repository.


In light of our previous research on 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:5666
Deposited On:21 Jan 2009 10:50
Last Modified:13 Oct 2009 16:51

Repository Staff Only: item control page