Sciweavers

ASM
2005
ASM

Time in State Machines

14 years 3 months ago
Time in State Machines
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framework with distribution aspects. However, there is still no complete agreement when it comes to handling time in this framework. In this article we take a look at existing ways to enhance state machine frameworks. Based on this, we propose a general framework of time extensions for state machines, which we relate to existing approaches. Our mainly addresses time approaches for ASM, because ASM are considered a very general state machine model. Taking this into account, our approach is valid for state-transition systems in general.
Susanne Graf, Andreas Prinz
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where ASM
Authors Susanne Graf, Andreas Prinz
Comments (0)