Graphical Design of Reactive Systems

Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B method. By an example of a conveyor system, we illustrate how the design can be initially expressed graphically with statecharts, then translated to AMN and analysed in AMN, and then further refined to executable code.

• Type: Conference
• Year: 1998
• Where: B
• Authors: Emil Sekerinski
• Keywords: Abstract Machine Notation, B 1998, Conveyor System, Reactive Systems, Software Engineering