Title: Logic Visualization Algorithm in System Specifications as Companion Tool for System Designing and Testing
Abstract: Formal methods are introduced into system designing and testing for realizing high-reliability system. However, the use of these techniques still remain restrictive, due to their redundancies. Most engineers fulfill their activities with natural languages, the specifications described in a natural language are indispensable. For applying the formal method, the specifications in natural language should be translated into a formal language expressly. While, the specifications in the formal language should be retranslated once again in the natural language for execution tests using actual software and/or product. Those redundancies are reasons why the formal methods cannot penetrate into actual industries. To solve these redundancies, algorithms for converting sentences in specification documents into semi-formal descriptions automatically, and visualizing logical relations among semi-formal descriptions are proposed in the paper.