KR100290464B1 - Simulation Method of Time Ordering Specification Language Using Graphic Transition Tree - Google Patents

Abstract

본 발명은 현재 상태를 루트 노드로하고 동작 종류를 엣지로 하는 트리를 생성하고, 사용자에게 그래픽 형태로 제시하여 사용자가 그래픽 트리 상에서 동작 메뉴 중 하나를 선택하면, 다음 상태로 전이하여 새로운 상태에서 다시 동작 메뉴를 계산한 후, 사용자에게 새로운 그래픽 트리로 제시하는 그래픽 전이 트리를 이용한 시간 순서화 명세언어의 시뮬레이션 방법에 관한 것이다.The present invention creates a tree with the current state as the root node and the action type as the edge, presents it to the user in graphic form, and when the user selects one of the action menus on the graphic tree, the user transitions to the next state and resumes the new state. The present invention relates to a simulation method of a time ordering specification language using a graphic transition tree that presents a user with a new graphic tree after calculating an operation menu.

본 발명은 명세를 로딩한 후 초기 상태를 계산하고 현재 상태에서 발생 가능한 동작들로 메뉴를 구성하는 과정과, 상기 현재 상태와 동작 메뉴로 그래픽 전이 트리를 구축하는 과정과, 상기 구축된 그래픽 전이 트리를 화면에 전시한 후 사용자의 입력이 들어올 때 까지 대기하는 과정과, 상기 사용자의 입력이 동작 메뉴에서 하나의 동작을 선택한 것이면 현재 상태와 선택된 동작으로 새로운 상태를 계산하여 상기 메뉴 구성의 단계에서부터 이후의 과정을 반복 수행하는 과정과, 상기 사용자의 입력이 실행 취소를 선택한 것이면 이전 상태를 계산하여 상기 동작 메뉴 구성 단계에서부터 이후 과정을 반복 수행하는 과정과, 상기 사용자의 입력이 동작 선택도 아니고 실행 취소도 아니면 시뮬레이션이 끝임을 알리고 종료하는 과정을 포함하여 이루어진 것을 특징으로 한다.The present invention comprises the steps of: calculating a initial state after loading a specification and constructing a menu with actions that can occur in the current state; constructing a graphic transition tree with the current state and action menu; Displaying the screen on the screen and waiting for the user's input, and if the user's input selects one operation from the operation menu, calculates a new state based on the current state and the selected operation, and then starts from the menu configuration step. Repeating the process, and if the user's input is selected to undo, calculating a previous state to repeat the subsequent process from the operation menu configuration step, and undoing the user's input not to select an operation. Or notifying that the simulation is over and ending It is characterized by.

Description

그래픽 전이 트리를 이용한 시간 순서화 명세언어의 시뮬레이션 방법Simulation method of temporal ordering specification language using graphic transition tree

본 발명은 시간 순서화 명세 언어(LOTOS)의 검증 방법 중 시각적 시뮬레이션 방법에 관한 것으로서, 특히 기존의 단순 텍스트 기반 시뮬레이션 방법에 비해 명세의 시뮬레이션 과정을 사용자가 직관적으로 알아보기 쉽게 해주는 그래픽 전이 트리를 이용한 시간 순서화 명세언어의 시뮬레이션 방법에 관한 것이다.The present invention relates to a visual simulation method of the LOTOS verification method, and more particularly, a time using a graphic transition tree that makes the simulation process of a specification easier for a user to intuitively understand than a conventional simple text-based simulation method. A simulation method of an ordering specification language.

현대 사회에서 컴퓨터 시스템은 산업의 전 분야로 활용 범위가 확대되고, 날로 복잡하고 거대한 시스템이 출현하면서 그에 대한 의존성 및 중요성이 점점 커지고 있다. 특히 안정성이 요구되는 시스템의 경우에는 개발 초기, 시스템 명세 단계에서 심각한 문제를 포함하고 있다면 이 후 개발 과정에 지대한 영향을 끼칠 수 있다. 이와 같은 초기 명세상의 오류를 제거하기 위해 정형 명세 기법이 점차 그 중요성을 인정받고 있으며 정형 명세 언어로 시스템을 명세하여 엄격한 분석을 적용하려는 시도가 늘고 있다.In today's society, computer systems are becoming more and more widely used throughout the industry, and dependence and importance on them are increasing as more complex and huge systems emerge. Particularly in the case of a system requiring stability, if a serious problem is included in the initial stage of development and system specification, the development process can be greatly influenced later. In order to eliminate such early specification errors, formal specification techniques are increasingly recognized for their importance, and there are increasing attempts to specify systems in formal specification language and apply strict analysis.

상기 정형 명세 언어의 일종인 시간 순서화 명세 언어로 시스템의 기능적 요구 사항을 명세하면 시스템을 구현하기 전에 작성된 명세 자체만을 시뮬레이션 시켜 보아서 초기에 명세 상의 오류를 검출해 낼 수 있다.When the functional requirements of a system are specified by the time ordering specification language, which is a kind of the formal specification language, the specification errors can be detected initially by simulating only the specification itself written before the system is implemented.

본 발명은 시간 순서화 명세 언어로 작성된 시스템 명세를 편리하게 시뮬레이션할 수 있도록 해주는 검증 도구 기술 분야에 속한다.The present invention belongs to the field of validation tools that allows for convenient simulation of system specifications written in a time ordered specification language.

이 분야의 종래 기술은 단순한 텍스트 기반의 검증 도구를 그대로 사용함으로써 사용자 편의를 충분히 고려해 주지 못했고 빠르고 편리한 명세의 분석 및 검증에 도움을 주지 못했다.Prior art in this field has not considered user convenience by using simple text-based verification tools as it is, and has not helped the analysis and verification of a quick and convenient specification.

단순한 텍스트 기반의 종래의 시뮬레이션 기술은 생성된 전이 트리를 시간 순서화 명세 언어 구문의 텍스트 형태로만 나열하여 알아보기가 힘들고 상태들 간의 연결성을 파악하기 어려워 빠르고 직관적인 시뮬레이션을 원하는 사용자들에게는 편리하지 못한 방법이었다.Conventional text-based simulation techniques list the generated transition trees only in the form of text in time ordered specification language syntax, making them difficult to understand and difficult to understand the connectivity between states, which is not convenient for users who want a fast and intuitive simulation. It was.

따라서, 본 발명은 종래 기술에서 고려하지 못한, 시간 순서화 명세 언어 사용자의 편의를 위해 그래픽 전이 트리를 이용한 명세의 시각적 시뮬레이션 방법을 제공함으로써, 빠르고 간편한 방법으로 시간 순서화 명세 언어(LOTOS)의 행위 오류를 검출할 수 있는 그래픽 전이 트리를 이용한 시간 순서화 명세언어의 시뮬레이션 방법을 제공하는 데 그 목적이 있다.Accordingly, the present invention provides a visual simulation method of a specification using a graphic transition tree for the convenience of a user of a time ordering specification language, which has not been considered in the prior art, and thus provides a quick and easy method for detecting a behavior error of a time ordering specification language (LOTOS). An object of the present invention is to provide a simulation method of a temporal ordering specification language using a detectable graphical transition tree.

상술한 목적을 달성하기 위한 본 발명은 명세를 로딩한 후 초기 상태를 계산하고 현재 상태에서 발생 가능한 동작들로 메뉴를 구성하는 과정과, 상기 현재 상태와 동작 메뉴로 그래픽 전이 트리를 구축하는 과정과, 상기 구축된 그래픽 전이 트리를 화면에 전시한 후 사용자의 입력이 들어올 때 까지 대기하는 과정과, 상기 사용자의 입력이 동작 메뉴에서 하나의 동작을 선택한 것이면 현재 상태와 선택된 동작으로 새로운 상태를 계산하여 상기 메뉴 구성의 단계에서부터 이후의 과정을 반복 수행하는 과정과, 상기 사용자의 입력이 실행 취소를 선택한 것이면 이전 상태를 계산하여 상기 동작 메뉴 구성 단계에서부터 이후 과정을 반복 수행하는 과정과, 상기 사용자의 입력이 동작 선택도 아니고 실행 취소도 아니면 시뮬레이션이 끝임을 알리고 종료하는 과정을 포함하여 이루어진 것을 특징으로 한다.The present invention for achieving the above object is the process of calculating the initial state after loading the specification and configuring a menu with actions that can occur in the current state, the process of building a graphical transition tree with the current state and the operation menu; Displaying the constructed graphic transition tree on the screen and waiting for a user's input; and if the user's input selects one operation from the operation menu, the new state is calculated based on the current state and the selected operation. Repeating the subsequent process from the step of configuring the menu; if the user's input is selected to cancel execution; calculating a previous state and repeating the subsequent process from the operation menu forming step; If this action is not selected or undone, the simulation ends and ends. It is characterized by consisting, including process.

또한, 본 발명은 명세를 로딩한 후 초기 상태를 계산하고 현재 상태에서 발생 가능한 동작들로 메뉴를 구성하는 과정과, 상기 현재 상태와 동작 메뉴로 그래픽 전이 트리를 구축하는 과정과, 상기 구축된 그래픽 전이 트리를 화면에 전시한 후 사용자의 입력이 들어올 때 까지 대기하는 과정과, 상기 사용자의 입력이 동작 메뉴에서 하나의 동작을 선택한 것이면 현재 상태와 선택된 동작으로 새로운 상태를 계산하여 상기 메뉴 구성의 단계에서부터 이후의 과정을 반복 수행하는 과정과, 상기 사용자의 입력이 실행 취소를 선택한 것이면 이전 상태를 계산하여 상기 동작 메뉴 구성 단계에서부터 이후 과정을 반복 수행하는 과정과, 상기 사용자의 입력이 동작 선택도 아니고 실행 취소도 아니면 시뮬레이션이 끝임을 알리고 종료하는 과정을 실행시키기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록매체인 것을 특징으로 한다.The present invention also provides a process of calculating an initial state after loading a specification and constructing a menu with operations that can occur in the current state, constructing a graphic transition tree with the current state and operation menu, and constructing the constructed graphic. Displaying a transition tree on the screen and waiting for a user's input; and if the user's input selects one operation from the operation menu, calculating a new state using the current state and the selected operation, and then configuring the menu. And repeating the subsequent process, and if the user's input is selected to undo, calculating the previous state and repeating the subsequent process from the operation menu configuration step, and the user's input is not an operation selection. Not undoing or notifying you that the simulation is over and running And in that a computer-readable recording medium recorded with a program characterized.

도 1은 본 발명의 시뮬레이션 방법을 설명하기 위해 도시한 흐름도.1 is a flowchart illustrating a simulation method of the present invention.

이하 첨부된 도면을 참조하여 본 발명을 상세히 설명하면 다음과 같다.Hereinafter, the present invention will be described in detail with reference to the accompanying drawings.

도 1은 본 발명의 주 대상이 되는 시간 순서화 명세 언어의 시각적 시뮬레이션 방법을 나타내는 흐름도이다.1 is a flowchart illustrating a visual simulation method of a time ordering specification language of the present invention.

시작신호로부터 단계(11)에서 명세를 로딩한 후, 단계(12)로 진행하여 초기 상태를 계산한다. 이후, 단계(13)에서 현재 상태에서 발생 가능한 동작들로 메뉴를 구성한 후, 단계(14)로 진행하여 현재 상태와 동작 메뉴로 그래픽 전이 트리를 구축한다. 이후 단계(15)에서 상기 구축된 그래픽 전이 트리를 화면에 전시하고 단계(16)로 진행하여 사용자의 입력이 들어올 때 까지 기다린다. 이후 단계(17)에서 사용자의 입력이 들어올 때 단계(18)로 진행하여 사용자가 동작 메뉴에서 하나의 동작을 선택한 것이면 단계(19)로 진행하여 현재 상태와 선택된 동작으로 새로운 상태를 계산한 후 상기 메뉴 구성의 단계(13)에서부터 이후의 과정을 반복한다. 그러나, 상기 단계(18)에서 사용자가 동작 메뉴에서 동작을 선택하지 않았으면, 단계(20)로 진행하여 실행 취소를 선택한것이면 단계(21)로 진행하여 이전 상태를 계산한 후 상기 동작 메뉴 구성 단계(13)에서부터 이후 과정을 반복한다. 그러나, 상기 단계(20)에서 실행 취소를 선택하지 않았으면 단계(22)로 진행하여 시뮬레이션이 종료되었음을 알리고 종료하게 된다.After loading the specification in step 11 from the start signal, the process proceeds to step 12 to calculate the initial state. Thereafter, in step 13, the menu is composed of operations that can occur in the current state, and then the process proceeds to step 14 to construct a graphic transition tree with the current state and the operation menu. Thereafter, in step 15, the constructed graphic transition tree is displayed on the screen, and the process proceeds to step 16, where the user waits for input. Thereafter, when a user input is input in step 17, the process proceeds to step 18. If the user selects one operation from the operation menu, the process proceeds to step 19 to calculate a new state using the current state and the selected operation. From the step 13 of the menu configuration, the following process is repeated. However, if the user has not selected an operation in the operation menu in step 18, if the user proceeds to step 20 and selects undo, the operation proceeds to step 21 to calculate a previous state and then the operation menu configuration step Repeat the process from (13). However, if the undo is not selected in step 20, the process proceeds to step 22 to inform that the simulation is finished and ends.

즉, 본 발명은 그래픽 전이 트리의 구축 방법과 그래픽 전이 트리 상에서 사용자의 동작 선택 및 취소를 받아들이는 방법의 두 가지 구성 요소를 가진다.That is, the present invention has two components, a method of constructing a graphic transition tree and a method of accepting a user's operation selection and cancellation on the graphic transition tree.

상기 그래픽 전이 트리의 구축 방법은 명세의 현재 상태를 루트 노드로하고 발생 가능한 동작의 종류들로 루트에 연결된 에지를 구성하여 그래픽 트리로 표현하는 방법으로서, 사용자의 선택에 의해 다음 상태로 전이되면 새로운 상태와 그 상태에서의 발생 가능한 동작들이 다시 계산되어 서브 트리로 표현되어 원래의 트리에 덧붙여진다. 사용자는 이와 같은 그래픽 트리의 시각적 표현으로부터 상태 전이의 과정과 상태간 연결 모습을 한눈에 파악할 수 있게 된다.The method of constructing the graphic transition tree is a method of representing the current state of the specification as a root node and configuring the edge connected to the root as a graphic tree by forming the edge connected to the root with kinds of possible actions. The state and possible actions in that state are recalculated and represented in subtrees and appended to the original tree. From this visual representation of the graphical tree, the user can grasp the process of transition and the connection between states at a glance.

상기 사용자의 동작 선택 및 취소를 받아들이는 방법은 사용자가 그래픽 형태로 표현된 상태 전이 트리 상에서 다음 상태로의 전이를 위해 원하는 동작 하나를 선택할 때, 마우스 버튼의 더블 클릭만으로 간편하게 할 수 있도록 지원하며, 사용자가 최근의 전이를 취소하고자 할 때 마지막 노드의 부모 노드를 더블 클릭함으로써 간단히 원하는 일을 할 수 있게 한다.The method of accepting the user's action selection and cancellation supports a user by simply double-clicking a mouse button when selecting a desired action for transition to the next state on the state transition tree represented in a graphic form. When the user wants to cancel the most recent transition, he simply double-clicks on the parent node of the last node to do what he wants.

상기 그래픽 전이 트리의 구축 방법과 사용자의 동작 선택 및 취소를 받아들이는 방법은 서로 교대로 작용하면서 전체적인 시각적 시뮬레이션 방법을 구성하여, 편리하고 빠르며 직관적인 방법으로 시간 순서화 명세 언어로 작성된 명세를 검증할 수 있게 한다.The construction method of the graphic transition tree and the method of accepting the user's action selection and cancellation are alternately configured to construct the overall visual simulation method so that the specification written in the time ordering specification language can be verified in a convenient, fast and intuitive manner. To be.

이상에서 설명한 본 발명은 본 발명이 속하는 기술분야에서 통상의 지식을 가진자에 있어 본 발명의 기술적 사상을 벗어나지 않는 범위 내에서 여러 가지 치환, 변형 및 변경이 가능하므로 전술한 실시 예 및 첨부된 도면에 한정되는 것이 아니다.The present invention described above is capable of various substitutions, modifications, and changes within the scope without departing from the spirit of the present invention for those skilled in the art to which the present invention pertains, the foregoing embodiments and the accompanying drawings. It is not limited to.

상술한 바와 같이 본 발명은 시간 순서화 명세 언어로 작성된 시스템의 기능적 요구 명세를 그래픽 전이 트리를 이용하여 시뮬레이션할 수 있는 방법을 제공함으로써, 종래의 단순 텍스트 기반의 시뮬레이션 기술에 비해 빠르고 편리하게 시간 순서화 명세언어(LOTOS)로 작성된 명세를 검증할 수 있는 효과를 가진다.As described above, the present invention provides a method capable of simulating a functional requirement specification of a system written in a time ordering specification language using a graphic transition tree, thereby providing a quick and convenient time ordering specification compared to a conventional simple text-based simulation technique. This has the effect of verifying specifications written in the language (LOTOS).

Claims (2)

명세를 로딩한 후 초기 상태를 계산하고 현재 상태에서 발생 가능한 동작들로 메뉴를 구성하는 제 1 과정과,A first process of calculating an initial state after loading the specification and configuring a menu with actions that may occur in the current state; 상기 현재 상태와 동작 메뉴로 그래픽 전이 트리를 구축하는 제 2 과정과,Constructing a graphic transition tree with the current state and an operation menu; 상기 구축된 그래픽 전이 트리를 화면에 전시한 후 사용자의 입력이 들어올 때 까지 대기하는 제 3 과정과,A third process of waiting for a user's input after displaying the constructed graphic transition tree on a screen; 상기 사용자의 입력이 동작 메뉴에서 하나의 동작을 선택한 것이면 현재 상태와 선택된 동작으로 새로운 상태를 계산하여 상기 메뉴 구성의 단계에서부터 이후의 과정을 반복 수행하는 제 4 과정과,A fourth process of repeating a subsequent process from the step of configuring the menu by calculating a new state based on a current state and a selected operation when the user input selects one operation from an operation menu; 상기 사용자의 입력이 실행 취소를 선택한 것이면 이전 상태를 계산하여 상기 동작 메뉴 구성 단계에서부터 이후 과정을 반복 수행하는 제 5 과정과,A fifth process of repeating a subsequent process from the operation menu configuration step by calculating a previous state if the user input is selected to cancel execution; 상기 사용자의 입력이 동작 선택도 아니고 실행 취소도 아니면 시뮬레이션이 끝임을 알리고 종료하는 제 6 과정을 포함하여 이루어진 것을 특징으로 하는 그래픽 전이 트리를 이용한 시간 순서화 명세언어의 시뮬레이션 방법.And a sixth step of informing that the user input is not an operation selection, an undoing operation, or an end of the simulation, and ending the simulation. 명세를 로딩한 후 초기 상태를 계산하고 현재 상태에서 발생 가능한 동작들로 메뉴를 구성하는 제 1 과정과,A first process of calculating an initial state after loading the specification and configuring a menu with actions that may occur in the current state; 상기 현재 상태와 동작 메뉴로 그래픽 전이 트리를 구축하는 제 2 과정과,Constructing a graphic transition tree with the current state and an operation menu; 상기 구축된 그래픽 전이 트리를 화면에 전시한 후 사용자의 입력이 들어올 때 까지 대기하는 제 3 과정과,A third process of waiting for a user's input after displaying the constructed graphic transition tree on a screen; 상기 사용자의 입력이 동작 메뉴에서 하나의 동작을 선택한 것이면 현재 상태와 선택된 동작으로 새로운 상태를 계산하여 상기 메뉴 구성의 단계에서부터 이후의 과정을 반복 수행하는 제 4 과정과,A fourth process of repeating a subsequent process from the step of configuring the menu by calculating a new state based on a current state and a selected operation when the user input selects one operation from an operation menu; 상기 사용자의 입력이 실행 취소를 선택한 것이면 이전 상태를 계산하여 상기 동작 메뉴 구성 단계에서부터 이후 과정을 반복 수행하는 제 5 과정과,A fifth process of repeating a subsequent process from the operation menu configuration step by calculating a previous state if the user input is selected to cancel execution; 상기 사용자의 입력이 동작 선택도 아니고 실행 취소도 아니면 시뮬레이션이 끝임을 알리고 종료하는 제 6 과정을 실행시키기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록매체.And a computer-readable recording medium having recorded thereon a program for executing a sixth process of informing that the simulation is finished or ending if the user input is not an operation selection or an undo.