KR100289061B1 - Manager system for simulation tool of lotos - Google Patents

Abstract

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.

Description

Manager System for Time Ordering Specification Language Simulation Tool

The present invention relates to a manager system for a time ordering specification language (LOTOS) simulation tool.

In recent years, computer systems have been widely used in all areas of the industry, and as complex and huge systems emerge, the dependence and importance on them increases.

In particular, in the case of a system requiring stability, the process of checking whether there is a problem in the operation of the system is indispensable, and the method used is a verification and verification method using a formal specification.

The LOTOS specification language is a formal specification language of the international standard (ISO8807) that can be applied to the development techniques of information and communication systems, and it is possible to use the system specification written in LOTOS to perform a desired function or cause an unwanted problem. A representative way to ensure that you do not do this is to simulate the specification.

Conventional orthodontic techniques based on the LOTOS specification have been studied in various fields, such as simulation technology, code generation technology, verification technology, and test technology of the specification. Have been obtained.

Based on this foundation, the necessity of technology development about industrial research results and practical methods that can be applied to the development of realistic systems is recognized as important, and the development of a familiar user interface and the connection of unit tools to provide integrated functions Technology development related to the back is active.

This specification simulation technique combines demonstration programming and graphical rewriting rules, allowing users to easily obtain the desired program by viewing the simulation results and modifying the graphical rewriting rules.

However, according to the conventional specification simulation technology, the user selects the desired object from the object source that has already been created and performs the simulation by programming method, and then writes the 'back' part of the graphic rewriting rule and changes and adds the graphic rewriting rule. It is in the form of adding properties of desired object through.

Accordingly, since a method of acquiring a desired program by modifying and adding its properties using a limited object source provided by the system, there is a disadvantage in that any program, particularly a highly reliable program using a formal specification, cannot be generated.

The present invention has been devised to solve this problem, and it is possible to set a wider simulation target by using LOTOX formal specification written by the user, not given by the system, and to convert the LOTOS specification into an internal data structure. After running the extended simulator and the step simulator, it includes the verification process for creating a reliable program, and effectively connects the LOTOS simulation engine part to the Windows user interface part of the PC so that it can simulate a highly reliable program using the formal specification. It is an object of the present invention to develop a system.

In particular, some of the world's well-known LOTOS support tools do not yet run in the Windows environment of the IBM PC series, so developing a manager system of the simulation tool that supports the Windows environment of the PC uses LOTOS to develop a system for information communication in the current industry. It is important to spread the formal development environment.

1 is an object configuration diagram of manager system objects and related objects of the present invention;

2 is an activity / data display partial object communication diagram of the present invention;

3 is a step simulation partial object communication diagram of the present invention;

4 is an extended simulation partial object communication diagram of the present invention;

5 is a data evaluation partial object communication diagram of the present invention;

6 is a system flow diagram in accordance with the present invention.

<Explanation of symbols for main parts of drawing>

1: editor 2,103: preprocessor

3,104 preprocessed specification 4,105 interpreter

5,108: Internal Representation 6,115: Rewrite Law Generator

7,118: Reformation Law 8,116: Representation of data values

9,117: Data Evaluator 10,114: Specification Governor

11,107 Action Processor 12,106 Partial Action

13113: Expansion Simulator 14: Variable Expansion Simulator

15: free expansion simulator 16112: finite state machine

17,109: operation 18,111: step simulator

19,110 State 101: User environment

102: transmitter

In order to achieve the above object, the manager system, which is the first configuration of the present invention, enables the manager objects to effectively implement the desired simulation by using the library according to various ways in which the LOTOS specification is verified in the simulation tool.

The manager system can effectively reconfigure the finally implemented tool by function while preserving the core functions of the simulation.

The second aspect of the present invention relates to a method of operating the simulation tool manager objects, which is the first configuration, and is characterized in that an efficient communication method between manager objects including data exchange and a user environment and a library are smoothly linked.

Hereinafter, the present invention will be described in detail with reference to the accompanying drawings.

1 is an object configuration diagram of objects and related objects of a manager system, which is the main target of the present invention, and includes an interpreter 4, a behavior handler 11, and an expansion simulator as main manager objects. Simulator 13, Step Simulator 18, Data Evaluator 9, and 14 other related objects.

Referring to the operation of the system as the main manager object developed in the present invention is as follows.

The LOTOS specification, which is used as input to the simulation tool, has been syntactically and statically checked through a preprocessor, and this preprocessed specification (3) is interpreted as a tool-friendly form and stored in a separate internal data structure. do.

The interpreter 4 constructs an internal data structure of the tool as an object in charge of the work so that it can be used as an input to the action processor 11 and the data evaluator 9.

The interpreter 4 must also be executed before the behavior and data of the specification can be handled by the tool, that is, the object that plays its role first when a new specification is entered.

In addition, the action processor 11 processes the action part of the specification separately and plays a role of preprocessing of the action simulation.

Its main function is to show the action specification on the screen and allow the partial action 12 to be selected by user input.

For this function, the concept of an internal cursor is introduced to allow a user to select a partial action 12 by moving the internal cursor between the action part and the processes in the specification.

The partial action 12 selected by the internal cursor is used as the initial state of the step simulator 18 and the expansion simulator 13.

The extension simulator 13 calculates an extended finite state machine (hereinafter referred to as EFSM) 16 from the LOTOS specification.

Translating the specification to EFSM (16) is a major interface to many of the LOTOS support tools, helping to identify the overall appearance of system behavior and to check deadlocks.

The extension simulator 13 class is again inherited by the variable extension simulator 14 class and the free extension simulator 15 class.

The two subclasses accept the structure and function of the upper class extension simulator 13 as they are, but have various conditions when generating the finite state machine 16 to obtain various types of extended simulation results.

Step simulation can be understood as a special form of the extended simulation.

Expansion computes all possible transitions from a given behavioral expression and produces a complete transition tree until it reaches the depth of expansion, or a recursive or deadlock occurs, while step simulation determines the type of motion and the transition of the user's choice. Simulate by calculating the next state according to.

In FIG. 1, the step simulator 18 accepts the object partial action 12 as an initial state and generates selectable actions.

The user selects one of the selectable actions that are created. The generated action and the action selected by the user are represented by one class action 17 and a subset is defined by defining two associations. modeled as a (subset) relationship.

While the expansion simulator 13 and the step simulator 18 are closely connected to the behavior processor 11 object, the data evaluator 9 performs a function independent of these behavior simulators.

The data evaluator 9 receives a data value expression from a user and rewrites it to obtain a normalized form.

As shown in FIG. 1, the data evaluator includes a rewrite rule 7 generated by a rewrite rule generator 6 together with a data value expression 8 by user input. It accepts and produces a result.

The second configuration of the present invention relates to the association between the manager objects and the user environment, which is shown in FIG. 2, 3, 4, and 5 for each function of the simulation tool.

The boxes drawn in solid lines all represent manager objects, and the arrows represent communication between them.

In addition, the boxes drawn by dotted lines represent external objects not included in the manager system, and the dark dotted boxes represent related objects included in the entire manager system but not included in the manager system of the detailed functions represented by the drawing.

FIG. 2 is a diagram illustrating the behavior / data display object communication configuration of the present invention. When the user environment 101 issues a command for specification loading, display, and partial action movement to the transmitter 102 object, the transmitter 102 object may be configured to execute the command. Commands are processed and sent to the appropriate manager object.

Commands regarding the selection and movement of partial actions are passed to the action processor 107, and interpretation commands are passed to the interpreter 105, and specification preprocessing commands are passed to the preprocessor 103, which is an external object.

The behavior processor 107 object again returns the selected partial behavior to the transmitter 102 using the internal representation and partial behavior 106 transmitted from the interpreter 105, which transmits it to the user environment ( 101).

3 is a diagram illustrating a step simulation object communication configuration of the present invention, in which the user environment 101 passes various commands related to step simulation, that is, step command, operation selection and cancellation, and transition recording confirmation command, to the transmitter 102 object. give.

As shown in FIG. 2, the transmitter 102 processes these instructions into a suitable form and transmits the instructions to the step simulator 111 object, and the step simulator 111 includes a state 110 including a partial action 106 object which is a related object. And the result of communicating with the action 109 object back to the transmitter 102.

4 is an extended simulation partial object communication diagram of the present invention, wherein the user environment 101 passes the instructions related to the extended simulation to the forwarder 102 object, and the forwarder 102 forwards the extended command with the specified options. (113) pass to the object.

The expansion simulator 113 expresses the result of communicating with the partial action 106 object, the finite state 112 object, and the specification reorganizer 114 object, which are related objects, as extended result statistics and passes the result back to the transmitter 102. .

5 is a data evaluation partial object communication diagram of the present invention, wherein the transmitter 102 object receives a data evaluation command and a data value expression from the user environment 101, and a data evaluator 117 object and a rewrite rule generator 115. ) Pass each command to the object.

The data evaluator 117 object passes back the results of communicating with the rewrite rule 118 object and the data value representation 116 object to the transmitter 102 object.

6 is a system flow diagram in accordance with the present invention, showing the system flow as realized in a simulation tool.

After loading the pre-processed specification (S1), the menu input configuration and the user input wait (S2), and if the user's input is determined (S3), if it is entered, it is determined whether to perform an extended simulation command (S4) After the option is processed, the specification is expanded in the designated method (S5), and if not, it is determined whether to perform the step simulation command (S6).

In case of performing after the determination, the process is converted to the step simulation mode and input processing is performed (S7). If the instruction is not performed after the determination, the evaluation of the data evaluation instruction is performed (S8). If the data evaluation command is not performed after the determination, the termination command is determined (S10), and when the termination command is received (S11).

After switching to the step simulation mode and performing input processing (S7), if it is determined to perform the operation selection command (S12), the process transitions to the next state (S13), and if not, the execution of the selection cancel command is determined. (S14) If it is performed, it returns to the previous state (S15), if it is not performed, the execution trend view command is judged to be performed (S16) and if it is executed, execution trend view is executed (S17), and the execution trend view command is not performed. If not, the user input determination is performed again.

As described above, the manager system according to the present invention supports the development of various methods of the LOTOS specification simulation tool for the user's needs while preserving the core functions of the simulation composed of the library in the PC window environment, and the PC window environment is dominant. At this point of time, we set up a wider simulation target by using LOTOS formal specification written by users, not given by the system, and convert the LOTOS specification into internal data structure. By including a verification process for generating a highly reliable program by executing a step simulator, it has an effect that can be actively used in the field of information communication system development using the n-standard technique.

Claims (2)

A manager system for a simulation tool of a specification in a LOTOS based development environment, An interpreter for interpreting the preprocessed specification in a form that is easy to manage in the tool and storing the data in the internal data structure to be used as input to the action processor and data evaluator; An action processor which processes the action portion of the specification separately and plays a role of pre-processing a simulation; An expansion simulator for calculating an extended finite state machine from the LOTOS specification; A step simulator for accepting a partial action as an initial state and generating selectable actions; A time sequencing specification language simulation tool comprising a data evaluator receiving a data value expression from a user as a function independent of the extension simulator or step simulator, and rewriting the data according to a rewrite rule generated by a rewrite rule generator to form a normalized form. Manager system. The method of claim 1, And a transmitter object for performing object communication modeling that connects a user environment with said interpreter, behavior processor, extension simulator, step simulator, and data evaluator.

Images