MANAGER SYSTEM FOR SIMULATION TOOL OF LOTOS

摘要

PURPOSE: A manager system for a simulation tool of LOTOS(language of temporal ordering specification) is provided to connect a LOTOS simulation engine portion to a window user interface portion of a PC by making a LOTOS shaping specification prepared by a user as a simulation object, converting a LOTOS specification into an internal data structure, executing an extension simulator and a stage simulator, and including a confirming process for creating a reliable program. CONSTITUTION: In a manager system for a simulation tool of a specification out of a developing environment based on a LOTOS, an interpreter(4) interprets a pre-processed specification as a convenient form for being managed in a tool and stores the specification in an internal data structure, and constructs an internal data structure of the tool for using the specification as an input of an action processor(11) and a data evaluating device(9). The action processor(11) additionally processes an action portion of the specification and charges a pre-processing role of an action simulation. An extension simulator(13) calculates a finite state extended from the LOTOS specification. A stage simulator(18) receives a partial action as an initial state and creates selection available operations. The data evaluating device(9) receives a data value expression formula from a user using a function independent on the extension simulator(13) and the stage simulator(18), rewrites the expression formula by a rewriting rule made in a rewriting rule creating device, and manufactures a normalized form.