Name
Abstract | ||
|---|---|---|
We outline a theory of communicating “Abstract State Machines”. The state of an Abstract State Machine has two components:
a behavioural state and a data state. The behavioural states are shown on a state diagram, whose transitions are labelled
with an “event” and a B operation. The firing of a transition is synonymous with the occurrence of its associated event. We
use a synchronous model of communication based on shared events which simultaneously change the state of each participating
machine. The B operation associated with a transition generally has the form G ⟹ S, where a necessary condition for the transition to fire is that G is true, and where S describes any resulting changes in the data state of the Abstract Machine. The paper includes simple examples, the translation
of Abstract State Machines to B Action Systems, the translation of Abstract State Machines into “primitive” Abstract State
Machines which have only behavioural state, the parallel combination of high level Abstract State Machines, and short notes
on choice and refinement.
|
Year | DOI | Venue |
|---|---|---|
1998 | 10.1007/BFb0053364 | B |
Keywords | Field | DocType |
abstract state machines,state machine,abstract state machine,distributed system,state diagram,abstract machine | State transition table,UML state machine,Computer science,State diagram,Abstract state machines,Extended finite-state machine,Formal specification,Finite-state machine,Theoretical computer science,Abstract machine,Distributed computing | Conference |
Volume | ISSN | ISBN |
1393 | 0302-9743 | 3-540-64405-9 |
Citations | PageRank | References |
5 | 0.53 | 6 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bill Stoddart | 1 | 135 | 15.69 |
| Steve Dunne | 2 | 154 | 14.75 |
| Andy Galloway | 3 | 177 | 18.25 |
| Richard A. Shore | 4 | 11 | 2.64 |