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
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 21 Jan 2009 10:50
Last Modified: 13 Oct 2009 15:51

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)