Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

B
1998
Springer

favoriteEmaildiscussreport

95views Software Engineering» more B 1998»

Graphical Design of Reactive Systems

13 years 8 months ago

Graphical Design of Reactive Systems

Download www.cas.mcmaster.ca

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.

Emil Sekerinski

Real-time Traffic

Abstract Machine Notation | B 1998 | Conveyor System | Reactive Systems | Software Engineering |

claim paper

Related Content

» JTN A JavaTargeted Graphic Formal Notation for Reactive and Concurrent Systems

» Crafting gamemodels using reactive system design

» Comfortable modeling of complex reactive systems

» OARS An ObjectOriented Architecture for Reactive Systems

» Reactive parallel processing for synchronous dataflow

» Hayaku designing and optimizing finely tuned and portable interactive graphics with a grap...

» Techniques for Reactive System Design The Tools in TRADE

» Biter A Platform for the Teaching and Research of Multiagent Systems Design Using RoboCup

» Automatic Translation from Circus to Java

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	B
Authors	Emil Sekerinski

Comments (0)