iState: A Statechart Translator
نویسندگان
چکیده
We describe formal steps in the design of iState, a tool for translating statecharts into programming languages. Currently iState generates code in either Pascal, 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 refined. 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.
منابع مشابه
Statechart Verification with iState
The statechart formalism, proposed by Harel [6] as an extension of conventional finite state machines, is a visual language for specifying reactive systems. It addresses the state explosion problem of state transition diagrams when modeling systems with parallel threads of control by introducing the concepts of hierarchy, concurrency, and communication. The iState tool translates statecharts in...
متن کاملDyana: Hla-based Distributed Real-time Embedded Systems Simulation To
In this paper we present DYANA, an HLA-based hardware-in-the-loop simulation tool. This tool is used for distributed Real-Time Embedded Systems (RTES) simulation. RTES models are described by Unified Modeling Language (UML) statechart diagrams. The statechart diagram is transformed into HLA-based Simulation Model (HSM). After translation into HSM we use CERTI as the simulation runtime. The stat...
متن کاملTranslation of Statecharts into Smv
The task of designing large real-time reactive systems, which interact continuously with their environment and exhibit concurrency properties, is a challenging one. Statecharts is a visual formalism for specification and development of reactive systems and has been in wide use in the industry. These charts are intended to capture the dynamic behavioral aspects of the system rather than its phys...
متن کاملAutomatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm
This paper studies automatic test cases generation for Statechart specifications. Applying Tretmans’ approach to generate test cases from labeled transition systems, we provide a solid mathematical basis for conformance testing and automatic test case generation for Statechart specifications. In order to make the test cases generation process more simple and efficient, we propose observable sem...
متن کاملAutomated Object’s Statechart Generation and Testing from Class Method Contracts
The link between an object’s class specifications and UML statechart is rather informal and poses consistency issues during software evolution. We address this issue by proposing a connection between class diagram and statechart in a lock-step fashion, which leads to a coherent design for better development, testing, and maintenance of the software system. In this paper, we describe an approach...
متن کامل