JPS6312027A - ジヨブ制御言語エキスパ−トシステム - Google Patents
ジヨブ制御言語エキスパ−トシステムInfo
- Publication number
- JPS6312027A JPS6312027A JP61156456A JP15645686A JPS6312027A JP S6312027 A JPS6312027 A JP S6312027A JP 61156456 A JP61156456 A JP 61156456A JP 15645686 A JP15645686 A JP 15645686A JP S6312027 A JPS6312027 A JP S6312027A
- Authority
- JP
- Japan
- Prior art keywords
- jcl
- job
- reasoning
- hypothesis
- control language
- 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
- 238000000034 method Methods 0.000 claims abstract description 9
- 238000012937 correction Methods 0.000 claims description 3
- 238000004519 manufacturing process Methods 0.000 abstract description 6
- 238000012545 processing Methods 0.000 abstract description 5
- 238000013515 script Methods 0.000 abstract description 3
- 238000001514 detection method Methods 0.000 description 3
- 230000000694 effects Effects 0.000 description 3
- 206010000210 abortion Diseases 0.000 description 2
- 238000004364 calculation method Methods 0.000 description 2
- 230000008569 process Effects 0.000 description 2
- 241001661918 Bartonia Species 0.000 description 1
- 238000013473 artificial intelligence Methods 0.000 description 1
- 230000008859 change Effects 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 230000006870 function Effects 0.000 description 1
- 238000003780 insertion Methods 0.000 description 1
- 230000037431 insertion Effects 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000013468 resource allocation Methods 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
- 238000012795 verification Methods 0.000 description 1
Landscapes
- Debugging And Monitoring (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は、ジョブ作成および更新時のジョブ制御言語改
造作業を支援する機能を備えたジョブ制御言語エキスパ
ートシステムに関スる。
造作業を支援する機能を備えたジョブ制御言語エキスパ
ートシステムに関スる。
従来、ジョブのジョブ制御言語（ＪＣＬ）定義は、人手
によって行われてきた。そのため、記述部）のようなＪ
ＣＬミスが発生したシ、効率の悪い不必要な資源の割シ
当て等をＪＣＬに定義してしまっていた。ＪＣＬミスの
チェックに関しては、ユーティリティープログラム等で
シンタンクスエラー、簡単な一般的なセマンテックなエ
ラーのチェック社行っているものはあるが、前後のＪＣ
Ｌ記述の内容から推論し、内容に関するあいまいさも扱
うような高度なチェックは行っていない。
によって行われてきた。そのため、記述部）のようなＪ
ＣＬミスが発生したシ、効率の悪い不必要な資源の割シ
当て等をＪＣＬに定義してしまっていた。ＪＣＬミスの
チェックに関しては、ユーティリティープログラム等で
シンタンクスエラー、簡単な一般的なセマンテックなエ
ラーのチェック社行っているものはあるが、前後のＪＣ
Ｌ記述の内容から推論し、内容に関するあいまいさも扱
うような高度なチェックは行っていない。
ＪＣＬのミスによるジョブのアボートは高い比率を占め
る。資源を大量に使用して長時間実行後にアポートする
のは、資源の有効利用の観点からもデバッグの効率の観
点からも問題となる。ＪＣＬの様々なノウハウを人工知
能の手法で表すことにより、既存のＪＣＬの変更、およ
び利用者によるＪＣＬ新規作成時のエラーを検出するこ
とができる。すなわち、シンタックスから、ＪＣＬ記述
の理解による内容の検証まで％ ＪＣＬ記述の自動デバ
ッグを行い、実行前に誤シを検出しデバッグ作業を効率
化する。
る。資源を大量に使用して長時間実行後にアポートする
のは、資源の有効利用の観点からもデバッグの効率の観
点からも問題となる。ＪＣＬの様々なノウハウを人工知
能の手法で表すことにより、既存のＪＣＬの変更、およ
び利用者によるＪＣＬ新規作成時のエラーを検出するこ
とができる。すなわち、シンタックスから、ＪＣＬ記述
の理解による内容の検証まで％ ＪＣＬ記述の自動デバ
ッグを行い、実行前に誤シを検出しデバッグ作業を効率
化する。
本発明は、ＪＣＬのデバッグに必要な知識を知識ベース
に記憶する記憶手段と、処理対象となるＪＣＬを含んだ
ジョブを入力する入力手段と、前記記憶手段に記憶され
た知識ベースに照らして前記入力手段で入力されたジョ
ブ内にＪＣＬ誤シが存在するかどうかの推論を行う推論
手段と、前記推論手段の結果によシ検出されたＪＣＬ部
分に対して修正方法のアドバイスおよび直接修正した内
容のうち少なくとも一方を出力する出力手段とを有して
いる。
に記憶する記憶手段と、処理対象となるＪＣＬを含んだ
ジョブを入力する入力手段と、前記記憶手段に記憶され
た知識ベースに照らして前記入力手段で入力されたジョ
ブ内にＪＣＬ誤シが存在するかどうかの推論を行う推論
手段と、前記推論手段の結果によシ検出されたＪＣＬ部
分に対して修正方法のアドバイスおよび直接修正した内
容のうち少なくとも一方を出力する出力手段とを有して
いる。
次に本発明について図面を参照して説明する。
第１図を参照すると本発明の一実施例は、ＪＣＬ誤シ誤
用検出定の対象を表すための標準化されたデータ構造で
あシ、情報とそれを処理する手続の組である必要なフレ
ーム、人間の行為を時間的に記述するルールであるスク
リプト、およびＩＦ−ＴＨＥＮｆｆのルールで、プロダ
クション−システムにおける知識表現単位であるプロダ
クションルールで記述された知識を知識ベース２に記憶
する記憶手段１と、ＪＣＬ誤シ誤用検出要な知識が前記
記憶手段２から格納される知識ベース２と、ＪＣＩ誤り
検出の対象となるジョブ記述を入力する入力手段３と、
ＩＦ−ＴＨＥＮｆｉのルールで、プロダクション・シス
テムにおける知識表現単位であルプロダクションルール
を用いある結論ヲ導く演えき推論と、継承、階層的知識
表現において上位で定義された属性を下位に継承するイ
ンへりタンス、仮に与えられているデータ値で、外部か
らデータが与えられないときこの値を使って推論を行な
うディフォルト、特定の条件が生じたとき自動的に起動
される手挿であるデモン等のフレームによる推論と、ス
フリプトラ用いたＪＣＩ、の処理内容の理解−マツチン
グによる推論を行い、前記入力手段３から入力された対
象ＪＣＬの細部に渡る推論を行う推論手段４と、この推
論手段４の推論の結果、検出されたＪＣＬＫ対しての説
明、修正方法に関するアドバイスまたは具体的な修正Ｊ
ＣＬｔ−出力装置に出力する出力手段５とを含む。
用検出定の対象を表すための標準化されたデータ構造で
あシ、情報とそれを処理する手続の組である必要なフレ
ーム、人間の行為を時間的に記述するルールであるスク
リプト、およびＩＦ−ＴＨＥＮｆｆのルールで、プロダ
クション−システムにおける知識表現単位であるプロダ
クションルールで記述された知識を知識ベース２に記憶
する記憶手段１と、ＪＣＬ誤シ誤用検出要な知識が前記
記憶手段２から格納される知識ベース２と、ＪＣＩ誤り
検出の対象となるジョブ記述を入力する入力手段３と、
ＩＦ−ＴＨＥＮｆｉのルールで、プロダクション・シス
テムにおける知識表現単位であルプロダクションルール
を用いある結論ヲ導く演えき推論と、継承、階層的知識
表現において上位で定義された属性を下位に継承するイ
ンへりタンス、仮に与えられているデータ値で、外部か
らデータが与えられないときこの値を使って推論を行な
うディフォルト、特定の条件が生じたとき自動的に起動
される手挿であるデモン等のフレームによる推論と、ス
フリプトラ用いたＪＣＩ、の処理内容の理解−マツチン
グによる推論を行い、前記入力手段３から入力された対
象ＪＣＬの細部に渡る推論を行う推論手段４と、この推
論手段４の推論の結果、検出されたＪＣＬＫ対しての説
明、修正方法に関するアドバイスまたは具体的な修正Ｊ
ＣＬｔ−出力装置に出力する出力手段５とを含む。
上記処理の主要部分の制御子ｉを示す第２図を参照する
と、ボックスＡで、推論手段４が推論しやすいようなツ
リー構造にフォーマット変換するためのプログラムであ
る、バーブによる変換が終わった処理の対象となるＪＣ
Ｌの一部分を入力する。ボックスＢで入力されたＪＣＩ
中に、知識ベース内の内容に照らして問題となるＪＣＬ
が存在するかどうかを推論手段４によシ検出する。具体
的な推論方式としては、入力されたＪＣＬ’ｔ−トリガ
として、プロダクションルールによる前向き推論を行い
、問題となるＪＣＬの仮説を、まず導きだす。仮説がた
った場合は、後ろ向き推論あるいはスクリプトによる処
理パターンとのマツチングによシ仮説を検証する。仮説
の検証には、フレームによシ記述された静的な事実を使
うこともあれば、フレームのデモンにより手続きが起動
されて必要な事実のチェックを行うこともある。仮説が
検証された場合には、ボックスＣによシ検出されたＪＣ
Ｌが伺故誤っているかの説明と、どのように修正すれば
良いかのアドバイスあるいは実際の修正例が出力される
。ボックスＤの判断分岐処理により、全てのジョブ中の
ＪＣＬのチェックが終了すれは、処理は完了する。
と、ボックスＡで、推論手段４が推論しやすいようなツ
リー構造にフォーマット変換するためのプログラムであ
る、バーブによる変換が終わった処理の対象となるＪＣ
Ｌの一部分を入力する。ボックスＢで入力されたＪＣＩ
中に、知識ベース内の内容に照らして問題となるＪＣＬ
が存在するかどうかを推論手段４によシ検出する。具体
的な推論方式としては、入力されたＪＣＬ’ｔ−トリガ
として、プロダクションルールによる前向き推論を行い
、問題となるＪＣＬの仮説を、まず導きだす。仮説がた
った場合は、後ろ向き推論あるいはスクリプトによる処
理パターンとのマツチングによシ仮説を検証する。仮説
の検証には、フレームによシ記述された静的な事実を使
うこともあれば、フレームのデモンにより手続きが起動
されて必要な事実のチェックを行うこともある。仮説が
検証された場合には、ボックスＣによシ検出されたＪＣ
Ｌが伺故誤っているかの説明と、どのように修正すれば
良いかのアドバイスあるいは実際の修正例が出力される
。ボックスＤの判断分岐処理により、全てのジョブ中の
ＪＣＬのチェックが終了すれは、処理は完了する。
以上説明したように本発明は、ジョブ中のＪＣＬの誤シ
を検出して電子計算業務で実行されるジョブのアホート
を防ぎ、デバッグを効率化する。また、最適なＪＣＬの
定義方法を支援し、かつ、ジョブ作成者に良いＪＣＬ定
義を行うためのノウハウを教える教育効果もある。この
ように、ネジステムをジョブ作成・変更作、業時に適用
することにより、電子計算業務にインパクトを与えるジ
ョブアボート、または、資源の無駄使いを回避して効率
の良い有効利用としての効果、また、ジョブ作成におけ
るＪＣＬ定義を教える教育システムとしての効果がある
。
を検出して電子計算業務で実行されるジョブのアホート
を防ぎ、デバッグを効率化する。また、最適なＪＣＬの
定義方法を支援し、かつ、ジョブ作成者に良いＪＣＬ定
義を行うためのノウハウを教える教育効果もある。この
ように、ネジステムをジョブ作成・変更作、業時に適用
することにより、電子計算業務にインパクトを与えるジ
ョブアボート、または、資源の無駄使いを回避して効率
の良い有効利用としての効果、また、ジョブ作成におけ
るＪＣＬ定義を教える教育システムとしての効果がある
。
第１図は本発明の一実施例の構成を示す図、第２図は本
発明による一実施例の主要部の制御子１１０を説明する
ためのフローチャートである。 図中、１・・・記憶手段、２・・・知識ベース、３・・
・入力手段、４・・・推論手段、訃・・出力手段を表し
ている０ 第１図
発明による一実施例の主要部の制御子１１０を説明する
ためのフローチャートである。 図中、１・・・記憶手段、２・・・知識ベース、３・・
・入力手段、４・・・推論手段、訃・・出力手段を表し
ている０ 第１図
Claims (1)
- 【特許請求の範囲】 ジョブ制御言語のデバッグに必要な知識を知識ベースに
記憶する記憶手段と、 処理対象となるジョブ制御言語を含んだジョブを入力す
る入力手段と、 前記記憶手段の知識ベースに照らして、前記入力手段に
入力されたジョブ内にジョブ制御言語誤りが存在するか
どうかの推論を行う推論手段と、この推論手段の結果に
より誤りの検出されたジョブ制御言語部分に対して、修
正方法のアドバイスおよび直接修正した内容のうち少な
くとも一方を出力する出力手段とを含むことを特徴とす
るＪＣＬエキスパートシステム。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP61156456A JPS6312027A (ja) | 1986-07-02 | 1986-07-02 | ジヨブ制御言語エキスパ−トシステム |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP61156456A JPS6312027A (ja) | 1986-07-02 | 1986-07-02 | ジヨブ制御言語エキスパ−トシステム |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPS6312027A true JPS6312027A (ja) | 1988-01-19 |
Family
ID=15628145
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP61156456A Pending JPS6312027A (ja) | 1986-07-02 | 1986-07-02 | ジヨブ制御言語エキスパ−トシステム |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPS6312027A (ja) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH01244551A (ja) * | 1988-03-25 | 1989-09-28 | Nec Corp | ソフトウェア仕様検証方式 |
| US5267515A (en) * | 1989-01-18 | 1993-12-07 | Hitachi, Ltd. | Vehicle body construction having longitudinally elongated extruded panels and continuous welds joining the panels |
| JPH07121356A (ja) * | 1993-10-25 | 1995-05-12 | Nec Corp | バッチジョブ投入システム |
| US8719792B2 (en) | 2008-03-24 | 2014-05-06 | International Business Machines Corporation | Correcting job control language job errors |
-
1986
- 1986-07-02 JP JP61156456A patent/JPS6312027A/ja active Pending
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH01244551A (ja) * | 1988-03-25 | 1989-09-28 | Nec Corp | ソフトウェア仕様検証方式 |
| US5267515A (en) * | 1989-01-18 | 1993-12-07 | Hitachi, Ltd. | Vehicle body construction having longitudinally elongated extruded panels and continuous welds joining the panels |
| JPH07121356A (ja) * | 1993-10-25 | 1995-05-12 | Nec Corp | バッチジョブ投入システム |
| US8719792B2 (en) | 2008-03-24 | 2014-05-06 | International Business Machines Corporation | Correcting job control language job errors |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US6959432B2 (en) | Process and system for developing mathematically validated object-oriented software | |
| Leino | Accessible software verification with Dafny | |
| US20230004368A1 (en) | Multi-chip compatible compiling method and device | |
| JPS6017539A (ja) | エミユレ−シヨン方式 | |
| Donat | Automating formal specification-based testing | |
| KR20200071413A (ko) | 학습용 데이터 생성 장치, 소스 코드 오류 분석 장치 및 방법 | |
| JPH0748182B2 (ja) | プログラム・エラー検出方法 | |
| US11768756B2 (en) | Method for enabling verification of legitimacy of an asynchronous algorithm generated when a logically connected program is executed | |
| CN121166137A (zh) | 用于高可靠性软件开发的编译时安全监控方法及系统 | |
| Goerigk et al. | Rigorous compiler implementation correctness: How to prove the real thing correct | |
| Pleban | Compiler prototyping using formal semantics | |
| US6157901A (en) | Type annotation method for use in verification tools | |
| Yan | Computer software programming based on C language | |
| JPS5922140A (ja) | 対話型コンパイル方式 | |
| Zhu | Formal specifications of debuggers | |
| US12253937B1 (en) | Software tool qualification for safety-critical systems | |
| Schmid et al. | Proving and disproving programs with shared mutable data | |
| JPS62231335A (ja) | コ−デイング・エキスパ−ト・システム | |
| Kim et al. | Automated structural analysis of SCR‐style software requirements specifications using PVS | |
| Cox et al. | Advanced programming aids in PROGRAPH | |
| Skazhenik et al. | Debugger for declarative DSL for telecommunication | |
| Smith et al. | Autograding Weakest Precondition Proofs and Dafny Specifications | |
| CN121143807A (zh) | 类型检查方法、电子设备和存储介质 | |
| JPS58169637A (ja) | コンパイル処理方式 | |
| Celiku et al. | Theorem prover support for precondition and correctness calculation |