JPS63304336A - Conflict extracting/eliminating system for description of computer language - Google Patents
Conflict extracting/eliminating system for description of computer languageInfo
- Publication number
- JPS63304336A JPS63304336A JP62140815A JP14081587A JPS63304336A JP S63304336 A JPS63304336 A JP S63304336A JP 62140815 A JP62140815 A JP 62140815A JP 14081587 A JP14081587 A JP 14081587A JP S63304336 A JPS63304336 A JP S63304336A
- Authority
- JP
- Japan
- Prior art keywords
- computer language
- description
- computer
- knowledge
- conflict
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000004458 analytical method Methods 0.000 claims description 19
- 238000000034 method Methods 0.000 claims description 6
- 238000000605 extraction Methods 0.000 claims 1
- 238000012937 correction Methods 0.000 abstract description 5
- 238000012545 processing Methods 0.000 abstract description 5
- 230000002265 prevention Effects 0.000 abstract 1
- 239000002699 waste material Substances 0.000 abstract 1
- 230000008094 contradictory effect Effects 0.000 description 3
- 238000007796 conventional method Methods 0.000 description 2
- 238000010586 diagram Methods 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 238000012423 maintenance Methods 0.000 description 2
- 238000001514 detection method Methods 0.000 description 1
- 238000003672 processing method Methods 0.000 description 1
- 238000012795 verification Methods 0.000 description 1
Landscapes
- Debugging And Monitoring (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は、計算機処理ンステムにおける計算機言語記述
の誤り検出に関し、特に計算機言語記述の矛盾摘出解消
方式に関する。DETAILED DESCRIPTION OF THE INVENTION [Field of Industrial Application] The present invention relates to error detection in computer language descriptions in computer processing systems, and particularly to a method for identifying and resolving contradictions in computer language descriptions.
従来の計算機処理システムにおいて、計算機言語記述の
誤りを列挙することは可能であった。In conventional computer processing systems, it has been possible to list errors in computer language descriptions.
〔発明が解決しようとしている問題点〕従来の計算機処
理システムにおいて、計算機言語記述の誤フを列挙する
ことは可能であるが、互いに矛盾する複数個の記述が存
在した場合、根本の矛盾を指摘することはできない。[Problem to be solved by the invention] In conventional computer processing systems, it is possible to list errors in computer language descriptions, but when multiple mutually contradictory descriptions exist, it is possible to point out the underlying contradiction. I can't.
また、矛盾解消が行えないために、処理をそこで中断す
るか、あるいは、その矛盾箇所を無視して処理を続行し
ていた。その結果、その矛盾箇所に関係する別の矛盾を
指摘することができず、修正・再試行の過程全綴)返し
計算機資源を無駄に浪費してしまっていた。Furthermore, since the conflict cannot be resolved, the process is either interrupted at that point, or the process is continued while ignoring the conflict. As a result, it was not possible to point out other contradictions related to that contradiction, and the whole process of correction and retry was wasted, wasting computer resources.
このように、上述した従来の方式では、根本の矛盾を指
摘できないため上述の弊害がある。In this way, the conventional method described above has the disadvantages described above because it is not possible to point out the fundamental contradiction.
本発明は上記目的を達成するために、
計算機言語によって書かれた計算機言語記述を入力する
入力手段と、
前記計算機言語を解析するための知識を含む計算機言語
知識ベース手段(以下計算機言語知識ベース)と、
前記入力手段により入力された計算機言語記述の矛盾を
摘出・解消しながら前記知識ベースにより解析を行う解
析手段と、
前記解析手段で解析を行った結果を各種計算機機器に出
力する結果出力手段とを有する。In order to achieve the above object, the present invention comprises: an input means for inputting a computer language description written in a computer language; and a computer language knowledge base means (hereinafter referred to as a computer language knowledge base) that includes knowledge for analyzing the computer language. and analysis means for performing analysis using the knowledge base while extracting and resolving contradictions in the computer language description input by the input means, and result output means for outputting the results of the analysis performed by the analysis means to various computer devices. and has.
次に、本発明の実施例について図面を参照して詳細に説
明する。Next, embodiments of the present invention will be described in detail with reference to the drawings.
第1図を参照すると、本発明の一実施例は、計算機言語
記述1を入力する入力手段2、TMS (Truth
Maintenance System)等の知識管
理手段3−1を有する解析手段3.4は解析結果5を出
力する結果出力手段4、および解析手段3と情報を授受
する計算機言語知識ベース6から構成されている。Referring to FIG. 1, one embodiment of the present invention includes an input means 2 for inputting a computer language description 1, a TMS (Truth
The analysis means 3.4 having a knowledge management means 3-1 such as a maintenance system (Maintenance System) etc. is composed of a result output means 4 for outputting an analysis result 5, and a computer language knowledge base 6 for exchanging information with the analysis means 3.
次に本発明の一実施例のおおまかな流れを以下説明する
。入力手段2は、計算機言語記述1を入力する。もしこ
の時必要であれば、計算機言語記述1を入力手段2より
内部表現に変換する。計算機言語知識ベース6には、計
算機言語の知識(シンタクス・テクニック等)や計算機
言語を利用する計算機の知識等が格納されている。前記
計算機言語知識ベース6および解析手段3を用いて、前
記計算機言語記述1の矛盾検出が行なわれる。前記解析
手段3は、TMS−ATMS等の知識管理手段3−1を
含む。この知識管理手段3−1は、知識ベースの矛盾を
検出し、矛盾を解消するものである。前記解析手段3に
よシ検出された矛盾等の解析結果5は、結果出力手段4
によシ、各種計算機機器に出力される。Next, a general flow of an embodiment of the present invention will be described below. The input means 2 inputs the computer language description 1. If necessary at this time, the computer language description 1 is converted into an internal representation using the input means 2. The computer language knowledge base 6 stores knowledge of computer languages (syntax, techniques, etc.), knowledge of computers that use computer languages, and the like. Using the computer language knowledge base 6 and the analysis means 3, a contradiction in the computer language description 1 is detected. The analysis means 3 includes knowledge management means 3-1 such as TMS-ATMS. This knowledge management means 3-1 detects contradictions in the knowledge base and resolves them. The analysis results 5 such as contradictions detected by the analysis means 3 are sent to the result output means 4.
It is then output to various computer devices.
次に、解析手段3の処理の詳細を以下詳細に説明する。Next, details of the processing of the analysis means 3 will be explained in detail below.
第2図を参照すると、まず、ステップ3−Aで推論が行
われ、前記計算機言語知識ベース6が更新され、知識管
理手段3−1により、知識ベースの無矛盾性の検証が行
われる。次に、ステップ3−Bで矛盾が生じたか否かが
判別される。Referring to FIG. 2, first, in step 3-A, inference is performed, the computer language knowledge base 6 is updated, and the knowledge management means 3-1 verifies the consistency of the knowledge base. Next, in step 3-B, it is determined whether or not a contradiction has occurred.
ステップ3−Bで矛盾があったと判定される場合には、
ステップ3−Cで知識ベースの矛盾が解消される。If it is determined in step 3-B that there is a contradiction,
Conflicts in the knowledge base are resolved in step 3-C.
上記無矛盾性の検証および解消は、全て前記知識管理手
段3−1が行う。The above-mentioned consistency verification and resolution are all performed by the knowledge management means 3-1.
以上の動作はステップ3−Dで推論が終了したと判別さ
れるまで繰)返される。The above operations are repeated until it is determined in step 3-D that the inference has ended.
推論の終了時点で、推論時に矛盾が存在したか否かはス
テップ3−Eで判別される。ステップ3−Eで矛盾の存
在が判定された場合、ステップ3−Fで矛盾内容がかき
集められて結果出力手段4に出力される。At the end of the inference, it is determined in step 3-E whether or not a contradiction existed during the inference. If the existence of a contradiction is determined in step 3-E, the contents of the contradiction are collected and output to the result output means 4 in step 3-F.
以上の説明により、本発明は、計算機言語記述の誤り検
出に知識管理手段を持つ知識処理方式を用いることによ
シ、互いに矛盾する複数個の記述を含む計算機言語記述
の根本的矛盾内容を正しく指摘するとともに、その矛盾
を解消し、その矛盾箇所に関連する他の箇所の無矛盾性
も正しく管理することができる。As described above, the present invention uses a knowledge processing method having a knowledge management means to detect errors in computer language descriptions, thereby correctly detecting fundamentally contradictory contents of computer language descriptions including multiple mutually contradictory descriptions. It is possible to point out the contradiction, resolve the contradiction, and correctly manage the consistency of other parts related to the contradiction.
また、−回の試行で、従来方式を上回る的を得た矛盾を
指摘できるため、試行6修正の回数が減少し、計算機資
源の浪費を防止するという効果もめる0
また、入力計算機言語記述の矛盾箇所を訂正した計算機
言語記述を出力とすることにより、計算機言語記述の自
動修正も可能となる。In addition, since it is possible to point out contradictions that are more targeted than the conventional method in - trials, the number of trial 6 corrections is reduced, which has the effect of preventing wastage of computer resources. By outputting the computer language description with corrected parts, it is also possible to automatically correct the computer language description.
4、図の簡単な説明
第1図は本発明の一実施例を示す図および第2図は解析
手段の流れ金示す図である。
第1図および第2図において、1・・・・・・計算機言
語記述、2・・・・・・入力手段、3・・・・・・解析
手段、3−1・・・・・・知識管理手段、4・・・・・
・結果出力手段、5・・・・・・解析結果、6・・・・
・・計算機言語知識ベースである。
代理人 弁理士 内 原 、晋
・、−ン
第Z図4. Brief Description of the Figures Figure 1 is a diagram showing one embodiment of the present invention, and Figure 2 is a diagram showing the flow of the analysis means. In Figures 1 and 2, 1... computer language description, 2... input means, 3... analysis means, 3-1... knowledge Management means, 4...
・Result output means, 5...Analysis results, 6...
...It is a computer language knowledge base. Agent Patent Attorney Uchihara, Susumu Figure Z
Claims (1)
力手段と、 前記計算機言語を解析するための知識を含む計算機言語
知識ベース手段と、 前記入力手段により入力された計算機言語記述の矛盾を
摘出し解消しながら前記知識ベースにより解析を行う解
析手段と、 前記解析手段で解析を行った結果を各種計算機機器に出
力する結果出力手段とを含むことを特徴とする計算機言
語記述の矛盾摘出解消方式。[Scope of Claims] An input means for inputting a computer language description written in a computer language; a computer language knowledge base means including knowledge for analyzing the computer language; and a computer language description input by the input means. A computer language description characterized in that it includes an analysis means for performing an analysis using the knowledge base while identifying and resolving contradictions in the information, and a result output means for outputting the results of the analysis performed by the analysis means to various computer devices. Contradiction extraction and resolution method.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP62140815A JPS63304336A (en) | 1987-06-04 | 1987-06-04 | Conflict extracting/eliminating system for description of computer language |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP62140815A JPS63304336A (en) | 1987-06-04 | 1987-06-04 | Conflict extracting/eliminating system for description of computer language |
Publications (1)
Publication Number | Publication Date |
---|---|
JPS63304336A true JPS63304336A (en) | 1988-12-12 |
Family
ID=15277376
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP62140815A Pending JPS63304336A (en) | 1987-06-04 | 1987-06-04 | Conflict extracting/eliminating system for description of computer language |
Country Status (1)
Country | Link |
---|---|
JP (1) | JPS63304336A (en) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH03188535A (en) * | 1989-11-29 | 1991-08-16 | Bull Hn Inf Syst Inc | Assembly language programming error detecting process |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS59736A (en) * | 1982-06-28 | 1984-01-05 | Fujitsu Ltd | System for analyzing syntax |
JPS6165333A (en) * | 1984-09-07 | 1986-04-03 | Fujitsu Ltd | Evaluation system for system structure |
JPS6278634A (en) * | 1985-10-01 | 1987-04-10 | Fujitsu Ltd | Processing system for error detection of program |
JPS63184847A (en) * | 1987-01-27 | 1988-07-30 | Nec Corp | Program diagnosing expert system with flow analysis function |
-
1987
- 1987-06-04 JP JP62140815A patent/JPS63304336A/en active Pending
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS59736A (en) * | 1982-06-28 | 1984-01-05 | Fujitsu Ltd | System for analyzing syntax |
JPS6165333A (en) * | 1984-09-07 | 1986-04-03 | Fujitsu Ltd | Evaluation system for system structure |
JPS6278634A (en) * | 1985-10-01 | 1987-04-10 | Fujitsu Ltd | Processing system for error detection of program |
JPS63184847A (en) * | 1987-01-27 | 1988-07-30 | Nec Corp | Program diagnosing expert system with flow analysis function |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH03188535A (en) * | 1989-11-29 | 1991-08-16 | Bull Hn Inf Syst Inc | Assembly language programming error detecting process |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JPH10161916A (en) | Detection of update conflict accompanying duplication of data base | |
JPS63304336A (en) | Conflict extracting/eliminating system for description of computer language | |
JPS6037509B2 (en) | Spelling error processing method in English text processing equipment | |
CN108304330A (en) | Method for extracting content, device and computer equipment | |
CN107168822A (en) | Oracle streams abnormal repair system and method | |
CN112925561A (en) | Software development method and device, computer equipment and storage medium | |
JPS63245738A (en) | Automatic correcting system for data item with undefined program | |
JPS6312027A (en) | Job control language expert system | |
CN116880933A (en) | C++ remote multi-state function calling and data transmission method and system | |
JPH035822A (en) | Program starting system | |
JPH02195438A (en) | Recursive access detecting system in microdevelopment | |
JPS6386072A (en) | System for controlling analysis of japanese | |
CN114816412A (en) | Algorithm compatibility method and device of automatic driving system | |
JPH04257029A (en) | Editor | |
JPH02115930A (en) | Patch managing system | |
JPS62139042A (en) | Checking system for translation program | |
JPH02157940A (en) | Expert system construction supporting device | |
JPH01253021A (en) | Intelligent user interface processor | |
JPS63128438A (en) | Checking method for external procedure calling style of compiler | |
JPH05265740A (en) | Program editing method | |
JPH05134879A (en) | Precompile system | |
JPH01309125A (en) | Monitor/comparison/detection system for memory contents | |
JPH0277850A (en) | Detection system for error in language description | |
JPH01295336A (en) | Optimization system for critical section | |
JPH0314132A (en) | Error processing control system |