Automata based formal specification of stateful systems
Alessandro Basso, Alexander Bolotov, Vladimir Getov · WestminsterResearch (University of Westminster) · 2008
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.