Sciweavers

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

11

UML
2001
Springer

favoriteEmaildiscussreport

149views Natural Language Processing» more UML 2001»

iState: A Statechart Translator

13 years 9 months ago

iState: A Statechart Translator

Download www.itu.dk

We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Java, or the Abstract Machine Notation of the B method. The translation proceeds in several phases. The focus of this paper is the formal description of the intermediate representations, for which we use class diagrams together with their textual counterparts. We describe how the class diagrams are further reﬁned. The notions of representable, normalized, and legal statecharts are introduced, where normalized statecharts appear as an intermediate representation and code is generated only for legal statecharts.

Emil Sekerinski, Rafik Zurob

Real-time Traffic

Class Diagrams | Intermediate Representation | Legal Statecharts | Natural Language Processing | UML 2001 |

claim paper

Related Content

» Translating Safe Petri Nets to Statecharts in a StructurePreserving Way

» Graphical Design of Reactive Systems

» From statecharts to ESP programming with events states and predicates for embedded systems

» A framework for learning coordinated behavior

» A Practical Approach for Automated Test Case Generation using Statecharts

» Generating Text with a Theorem Prover

» Translating Cooperative Strategies for Robot Behavior

» From StoCharts to MoDeST a comparative reliability analysis of train radio communications

» MetaModelling Graph Transformation and Model Checking for the Analysis of Hybrid Systems

Post Info
More Details (n/a)

Added	30 Jul 2010
Updated	30 Jul 2010
Type	Conference
Year	2001
Where	UML
Authors	Emil Sekerinski, Rafik Zurob

Comments (0)