JP2008257410A - System design verification device - Google Patents

System design verification device Download PDF

Info

Publication number
JP2008257410A
JP2008257410A JP2007097946A JP2007097946A JP2008257410A JP 2008257410 A JP2008257410 A JP 2008257410A JP 2007097946 A JP2007097946 A JP 2007097946A JP 2007097946 A JP2007097946 A JP 2007097946A JP 2008257410 A JP2008257410 A JP 2008257410A
Authority
JP
Japan
Prior art keywords
job
order
relationship
data
intermediate data
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.)
Granted
Application number
JP2007097946A
Other languages
Japanese (ja)
Other versions
JP5001703B2 (en
Inventor
Yoshihiro Shibata
宜宏 柴田
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Nomura Research Institute Ltd
Original Assignee
Nomura Research Institute Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Nomura Research Institute Ltd filed Critical Nomura Research Institute Ltd
Priority to JP2007097946A priority Critical patent/JP5001703B2/en
Publication of JP2008257410A publication Critical patent/JP2008257410A/en
Application granted granted Critical
Publication of JP5001703B2 publication Critical patent/JP5001703B2/en
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Abstract

<P>PROBLEM TO BE SOLVED: To efficiently verify design contents of a business information system. <P>SOLUTION: This system design verification device holds job relation information showing a combination of jobs having order relation, job file data, and data relation information showing a related job thereof. When the related job of a job file that is a verification target is a first job and a second job, it is decided whether the order relation between the first job and the second job is required or not from the combination of an access kind of the first job and an access kind of the second job. When the order relation is required, it is confirmed whether or not the order relation is satisfied between the first job and the second job in the job relation information. <P>COPYRIGHT: (C)2009,JPO&INPIT

Description

この発明は、業務情報システムに関連し、特に、業務情報システムの設計内容を検証するための技術、に関する。   The present invention relates to a business information system, and more particularly to a technique for verifying the design contents of a business information system.

企業や公共施設などの運用を支える業務情報システム、いわゆるエンタープライズシステム(Enterprise System)は、今や、大小さまざまな組織の基盤となっている。業務情報システムは、ノード端末やデータベースから得られるデータを集計、蓄積、解析、加工した上でより付加価値の高い情報を出力することにより、複雑化する組織マネジメントを支えている。   Business information systems that support the operation of companies and public facilities, so-called enterprise systems, are now the foundation of organizations of various sizes. The business information system supports complicated organization management by outputting higher value-added information after totaling, accumulating, analyzing and processing data obtained from node terminals and databases.

業務情報システムは、ジョブの集合体としてモデリングされることが多い。ジョブとは、データベースの更新処理や、各ノード端末から得られたデータに対する演算処理など、システムにおいて基本的な実行単位となる処理である。   A business information system is often modeled as a collection of jobs. A job is a process that is a basic execution unit in the system, such as a database update process and a calculation process for data obtained from each node terminal.

これらのジョブの間には、前段にあたるジョブの実行が完了してから後段にあたるジョブの実行が開始されるという順序関係がある。たとえば、ジョブ1の実行結果に基づいて、ジョブ2とジョブ3が実行されるとする。このとき、ジョブ1とジョブ2、ジョブ1とジョブ3の間には順序関係が成立する。一方、ジョブ2とジョブ3の間には順序関係が成立しない。   There is an order relationship between these jobs, in which execution of a job corresponding to the subsequent stage is started after execution of the job corresponding to the previous stage is completed. For example, assume that job 2 and job 3 are executed based on the execution result of job 1. At this time, an order relationship is established between job 1 and job 2, and job 1 and job 3. On the other hand, no order relationship is established between job 2 and job 3.

業務情報システムは、概ね
1.システム全体を機能に応じて複数のモジュールに分解
2.モジュールごとに、各モジュールの機能を実現するジョブの処理内容と実行条件を定義
3.JCL(Job Control Language)などのプログラミング言語によりジョブを実装
4.モジュールを連結
というプロセスを経て開発されることが多い。
特開2002−358224号公報 特開2006−268507号公報
The business information system is generally 1. 1. Disassemble the entire system into multiple modules according to function. 2. Define processing details and execution conditions for jobs that implement the functions of each module. 3. Implement jobs using programming languages such as JCL (Job Control Language). It is often developed through a process of connecting modules.
JP 2002-358224 A JP 2006-268507 A

ジョブ3がファイルAにデータを書き込んだあとに、ジョブ4がファイルAからそのデータを読み出して実行されるという実装の場合、ジョブ3とジョブ4の間には順序関係が成立していなければならない。順序関係が成立していなければ、ジョブ4は、ジョブ3がファイルAに書き込む前の古いデータに基づいて実行されてしまうかもしれない。ジョブ3の実行完了がジョブ4の実行条件となるように設計されていれば、このような問題の発生を未然に防ぐことができる。しかし、ジョブ4に上記実行条件が設定されていなければ、結果として、業務情報システムの動作が不安定になってしまう。   In an implementation in which job 4 is read and executed from file A after job 3 writes data to file A, an order relationship must be established between job 3 and job 4. . If the order relationship is not established, the job 4 may be executed based on old data before the job 3 writes to the file A. If the job 3 is designed so that completion of execution of the job 3 becomes an execution condition of the job 4, occurrence of such a problem can be prevented in advance. However, if the execution condition is not set for job 4, as a result, the operation of the business information system becomes unstable.

このように、業務情報システムを安定的に動作させるためには、業務情報システムの設計後に、設計上定義されている順序関係と運用上必要とされる順序関係が整合しているか検証する必要がある。しかし、業務情報システムの複雑・大規模化により、全てのジョブの実行条件を把握するのがますます困難になってきている。   As described above, in order to operate the business information system stably, it is necessary to verify whether the order relationship defined in the design and the order relationship required for operation are consistent after the design of the business information system. is there. However, it is becoming increasingly difficult to grasp the execution conditions of all jobs due to the complexity and scale of business information systems.

本発明は、上記課題に基づいて完成された発明であり、その主たる目的は、業務情報システムの設計内容を効率的に検証するための技術、を提供することにある。   The present invention has been completed based on the above-mentioned problems, and its main object is to provide a technique for efficiently verifying the design contents of a business information system.

本発明のある態様は、システム設計検証装置に関する。
この装置は、順序関係にあるジョブの組合せを示すジョブ関係情報と、複数種類の中間データそれぞれについての関連ジョブを示すデータ関係情報とをそれぞれ取得する。
この装置は、データ関係情報を参照して検証対象となる中間データを順次選択し、検証対象となる中間データの関連ジョブが第1のジョブと第2のジョブであるとき、検証対象となる中間データに対する第1のジョブのアクセス種別と第2のジョブのアクセス種別の組み合わせから第1のジョブと第2のジョブの間の順序関係の要否を判定し、順序関係が必要であれば、ジョブ関係情報において第1のジョブと第2のジョブの間に順序関係が成立しているかを確認する。これにより、ジョブ関係情報とデータ関係情報のの整合性を判定する。
One embodiment of the present invention relates to a system design verification apparatus.
This apparatus acquires job relationship information indicating a combination of jobs having an order relationship and data relationship information indicating a related job for each of a plurality of types of intermediate data.
This apparatus sequentially selects intermediate data to be verified with reference to the data relation information, and when the related jobs of the intermediate data to be verified are the first job and the second job, the intermediate data to be verified The necessity of the order relationship between the first job and the second job is determined from the combination of the access type of the first job and the access type of the second job for the data, and if the order relationship is necessary, the job It is confirmed in the relationship information whether an order relationship is established between the first job and the second job. Thereby, the consistency between the job relation information and the data relation information is determined.

なお、以上の構成要素の任意の組合せ、本発明を方法、システム、記録媒体、コンピュータプログラムにより表現したものもまた、本発明の態様として有効である。   It should be noted that any combination of the above-described components, and the present invention expressed by a method, system, recording medium, and computer program are also effective as an aspect of the present invention.

本発明によれば、業務情報システムの設計内容の検証に要する作業負荷を軽減することができる。   According to the present invention, it is possible to reduce the work load required to verify the design contents of the business information system.

図1は、業務情報システム220のハードウェア構成図である。
業務情報システム220は、企業や公共施設のような組織の業務管理のために導入されるシステムである。業務情報システム220は、地理的に分散された複数の組織を統合するシステムとして構成されてもよい。
FIG. 1 is a hardware configuration diagram of the business information system 220.
The business information system 220 is a system introduced for business management of organizations such as companies and public facilities. The business information system 220 may be configured as a system that integrates a plurality of geographically dispersed organizations.

本実施例における業務情報システム220は、ジョブ管理装置230、ジョブ実行装置群200および外部記憶装置210を含む。
ジョブ管理装置230は、各ジョブについて設定されている実行条件に基づいて、複数のジョブをジョブ実行装置群200に実行させる。ジョブ実行装置群200は、複数のジョブ実行装置202を含む。各ジョブ実行装置202は、ジョブ管理装置230から割り当てられたジョブを実行する。ジョブ管理装置230は、あらかじめ定められた割当ルールに応じて、いずれかのジョブ実行装置202にジョブを割り当ててもよい。あるいは、各ジョブ実行装置202の処理負荷が分散するように、他のジョブ実行装置202よりも処理負荷が軽い状態にあるジョブ実行装置202に対して優先的にジョブを割り当ててもよい。
ジョブ実行のためのプログラムデータはあらかじめジョブ実行装置202が保持してもよい。あるいは、ジョブ実行指示に際してジョブ管理装置230からジョブ実行装置202にプログラムデータがダウンロードされてもよい。ジョブ実行装置202は、ジョブの実行状態をジョブ管理装置230に通知する。
The business information system 220 in this embodiment includes a job management device 230, a job execution device group 200, and an external storage device 210.
The job management device 230 causes the job execution device group 200 to execute a plurality of jobs based on the execution conditions set for each job. The job execution device group 200 includes a plurality of job execution devices 202. Each job execution device 202 executes the job assigned from the job management device 230. The job management device 230 may assign a job to any job execution device 202 in accordance with a predetermined assignment rule. Alternatively, jobs may be preferentially assigned to the job execution devices 202 that have a lighter processing load than the other job execution devices 202 so that the processing load of each job execution device 202 is distributed.
Program data for job execution may be held in advance by the job execution apparatus 202. Alternatively, program data may be downloaded from the job management apparatus 230 to the job execution apparatus 202 when a job execution instruction is issued. The job execution device 202 notifies the job management device 230 of the job execution state.

外部記憶装置210は、業務のさまざまなデータを保存する。ジョブ実行装置202は、ジョブの実行に際して、外部記憶装置210とデータを送受する。また、ジョブ実行装置202は、外部記憶装置210から取得したデータや図示しないデータベースから取得したデータに基づいてジョブを実行する。   The external storage device 210 stores various business data. The job execution device 202 sends and receives data to and from the external storage device 210 when executing a job. Further, the job execution device 202 executes a job based on data acquired from the external storage device 210 or data acquired from a database (not shown).

まとめると、外部記憶装置210のデータを変数として、ジョブ実行装置202はさまざまなジョブを実行する。ジョブ管理装置230は、各ジョブの実行条件に基づいてジョブの実行タイミングを制御する。このように、外部記憶装置210から得られるデータに基づいて、複数のジョブが定期的に実行されることにより、業務情報システム220全体の運用がなされている。
なお、ジョブ管理装置230、ジョブ実行装置群200および外部記憶装置210は通信ネットワークにより互いに接続されている。
In summary, the job execution device 202 executes various jobs using the data in the external storage device 210 as a variable. The job management device 230 controls job execution timing based on the execution conditions of each job. As described above, the entire business information system 220 is operated by periodically executing a plurality of jobs based on data obtained from the external storage device 210.
The job management device 230, the job execution device group 200, and the external storage device 210 are connected to each other via a communication network.

ジョブは、実行に際してさまざまなファイルに対する「書き込み(WR)」や「読み出し(RD)」を実行する。以下、ジョブのアクセス対象となるファイルのことを「ジョブファイル」とよぶ。システム設計検証装置100は、ジョブファイルに対するアクセス種別と各ジョブの実行条件とを比較することにより、運用上必要とされる順序関係と設計上定義されている順序関係が整合しているかを検証するための装置である。   The job executes “write (WR)” and “read (RD)” for various files during execution. Hereinafter, a file to be accessed by a job is referred to as a “job file”. The system design verification apparatus 100 verifies whether the order relationship required for operation matches the order relationship defined in the design by comparing the access type for the job file and the execution condition of each job. It is a device for.

図2は、複数のジョブの実行条件を有向グラフ形式にて示す図である。
ここでは、ジョブ1〜ジョブ7の順序関係を有向グラフ形式にて示している。ジョブ1とジョブ3は、他のジョブの実行状態に依存することなく実行可能である。一方、ジョブ2の実行条件は、ジョブ1の実行完了である(以下、単に「実行完了」というときには「正常な実行完了」を意味するものとする)。ジョブ4の実行条件は、ジョブ1とジョブ3の双方の実行完了である。ジョブ2は、ジョブ1が実行完了しなければ実行できないが、ジョブ3やジョブ4の実行状態には依存しない。すなわち、ジョブ1とジョブ2、ジョブ1とジョブ4、ジョブ3とジョブ4の間には順序関係が成立しているが、ジョブ2とジョブ3、ジョブ2とジョブ4の間には順序関係が成立していない。他のジョブの間でも同様にして順序関係が設定されている。
FIG. 2 is a diagram showing execution conditions for a plurality of jobs in a directed graph format.
Here, the order relationship between jobs 1 to 7 is shown in a directed graph format. Job 1 and job 3 can be executed without depending on the execution state of other jobs. On the other hand, the execution condition of job 2 is completion of execution of job 1 (hereinafter, simply referred to as “execution completion” means “normal execution completion”). The execution condition of job 4 is completion of execution of both job 1 and job 3. Job 2 cannot be executed unless execution of job 1 is completed, but does not depend on the execution status of job 3 or job 4. That is, an order relationship is established between job 1 and job 2, job 1 and job 4, job 3 and job 4, but an order relationship is established between job 2 and job 3, and job 2 and job 4. Not established. The order relationship is set in the same manner among other jobs.

ジョブは、さまざまなジョブファイルにアクセスする。なお、ジョブのアクセス対象となるデータは必ずしもファイル形式のデータである必要はなく、オブジェクト指向言語においてメモリ上に展開される「オブジェクト」であってもよい。本実施例においては、ジョブのアクセス対象となるデータは、全てジョブファイルとしてファイル化されるものとして説明する。   Jobs access various job files. Note that the data to be accessed by the job does not necessarily have to be file format data, and may be an “object” developed on a memory in an object-oriented language. In the present embodiment, description will be made assuming that all data to be accessed by a job is filed as a job file.

ジョブ1はあるジョブファイルAに処理結果を書き込み、ジョブ2はこのジョブファイルAからジョブ1の処理結果を読み出して自処理を実行するかもしれない。更に、ジョブ2は別のジョブファイルBに処理結果を書き込むかもしれない。ジョブは、ジョブファイルを介して別のジョブにデータを渡す。ジョブファイルは、外部端末にて画面表示されたり、図示しないデータベースに保存されることもある。   Job 1 may write the processing result to a certain job file A, and job 2 may read the processing result of job 1 from this job file A and execute its own processing. Furthermore, job 2 may write the processing result to another job file B. A job passes data to another job via a job file. The job file may be displayed on the screen of an external terminal or stored in a database (not shown).

以下、「ジョブ1の実行完了」を実行条件とするジョブ2のことを、ジョブ1の「子ジョブ」とよぶ。また、ジョブ1のことをジョブ2の「親ジョブ」とよぶ。同図の場合、ジョブ4はジョブ1とジョブ3の子ジョブである。ジョブ1はジョブ2とジョブ4の親ジョブである。ジョブ5は、直接的にはジョブ4の子ジョブであり、間接的にはジョブ1やジョブ3の子ジョブである。以下、ジョブ4に対するジョブ5のように、あるジョブに対する直接的な子ジョブのことを「狭義の子ジョブ」とよぶ。また、ジョブ1やジョブ3に対するジョブ5のように、あるジョブに対する間接的な子ジョブまで含めていうときには「広義の子ジョブ」とよぶ。本明細書においては、特に断らないかぎり、単に「子ジョブ」というときには「広義の子ジョブ」を指す。   Hereinafter, job 2 having “job 1 execution completed” as an execution condition is referred to as “child job” of job 1. Job 1 is also referred to as “parent job” of job 2. In the case of FIG. 4, job 4 is a child job of job 1 and job 3. Job 1 is a parent job of job 2 and job 4. Job 5 is a child job of job 4 directly and indirectly a child job of job 1 or job 3. Hereinafter, a direct child job for a certain job, such as job 5 for job 4, is referred to as a “narrow child job”. When an indirect child job for a certain job is included, such as job 5 for job 1 or job 3, it is called a “broad child job”. In this specification, unless otherwise specified, the term “child job” simply refers to a “broad child job”.

ジョブ管理装置230は、ジョブの実行条件を判定しながら、実行可能なジョブをジョブ実行装置202に次々と実行させる。こうして、業務情報システム220全体としての処理が実行されることになる。
以下、図2に示した7つのジョブとその順序関係に基づいて説明する。
The job management device 230 causes the job execution device 202 to execute executable jobs one after another while determining job execution conditions. In this way, processing as the entire business information system 220 is executed.
The following description is based on the seven jobs shown in FIG.

図3は、システム設計検証装置100の機能ブロック図である。
ここに示す各ブロックは、ハードウェア的には、コンピュータのCPUをはじめとする素子や機械装置で実現でき、ソフトウェア的にはコンピュータプログラム等によって実現されるが、ここでは、それらの連携によって実現される機能ブロックを描いている。したがって、これらの機能ブロックはハードウェア、ソフトウェアの組合せによっていろいろなかたちで実現できることは、当業者には理解されるところである。
ここでは、主として各機能ブロックの発揮すべき機能について述べ、その具体的な作用については、図4以降に関連して説明する。
FIG. 3 is a functional block diagram of the system design verification apparatus 100.
Each block shown here can be realized in hardware by an element such as a CPU of a computer or a mechanical device, and in software it is realized by a computer program or the like. Draw functional blocks. Therefore, those skilled in the art will understand that these functional blocks can be realized in various forms by a combination of hardware and software.
Here, functions to be exhibited by each functional block will be mainly described, and specific actions will be described with reference to FIG.

システム設計検証装置100は、ユーザインタフェース処理部110、データ処理部120およびデータ格納部130を含む。
ユーザインタフェース処理部110は、ユーザからの入力処理やユーザに対する情報表示のようなユーザインタフェース全般に関する処理を担当する。
データ処理部120は、ユーザインタフェース処理部110から取得されたデータをもとにして各種のデータ処理を実行する。データ処理部120は、ユーザインタフェース処理部110とデータ格納部130の間のインタフェースの役割も果たす。
データ格納部130は、あらかじめ用意された各種の設定データや、データ処理部120から受け取ったデータを格納する。
The system design verification device 100 includes a user interface processing unit 110, a data processing unit 120, and a data storage unit 130.
The user interface processing unit 110 is in charge of processing related to the entire user interface such as input processing from the user and information display for the user.
The data processing unit 120 executes various data processing based on the data acquired from the user interface processing unit 110. The data processing unit 120 also serves as an interface between the user interface processing unit 110 and the data storage unit 130.
The data storage unit 130 stores various setting data prepared in advance and data received from the data processing unit 120.

ユーザインタフェース処理部110は、入力部112と表示部114を含む。入力部112は、ユーザからの入力操作を受け付ける。また、設計として定義されているジョブの順序関係を示す「ジョブ関係情報」や、ジョブファイルに対するジョブのアクセス種別を示す「データ関係情報」を取得する。いずれについても後述する。なお、本実施例におけるアクセス種別は、「書き込み」と「読み出し」のいずれかである。ジョブファイルの「生成」も「書き込み」の一種として含めてもよい。表示部114は、ユーザに対して各種情報を表示する。   The user interface processing unit 110 includes an input unit 112 and a display unit 114. The input unit 112 receives an input operation from the user. Also, “job relation information” indicating the order relation of jobs defined as a design, and “data relation information” indicating a job access type to the job file are acquired. Both will be described later. The access type in this embodiment is either “write” or “read”. “Generation” of a job file may be included as a kind of “write”. The display unit 114 displays various information to the user.

データ格納部130は、ジョブ関係情報保持部132、データ関係情報保持部134および順序規則保持部136を含む。
ジョブ関係情報保持部132はジョブ関係情報を保持する。ジョブ関連情報は、複数のジョブの実行条件により順序関係を示す。システム開発者は、システム設計段階においてジョブ関係情報を定義する。ジョブ関係情報のデータ構造については図4に関連して詳述する。
データ関係情報保持部134はデータ関係情報を保持する。データ関係情報は、ジョブファイルにアクセスするジョブとそのアクセス種別を示す情報である。以下、あるジョブファイルAにアクセスするジョブのことをそのジョブファイルAの「関連ジョブ」とよぶ。データ関係情報のデータ構造については図5に関連して詳述する。
順序規則保持部136は、順序規則情報を保持する。順序規則情報とは、データ関係情報からジョブの順序関係の要否を判定するための規則を示す。順序規則情報については図6に関連して詳述する。
The data storage unit 130 includes a job relation information holding unit 132, a data relation information holding unit 134, and an order rule holding unit 136.
The job relation information holding unit 132 holds job relation information. The job related information indicates an order relationship according to the execution conditions of a plurality of jobs. The system developer defines job-related information at the system design stage. The data structure of the job relation information will be described in detail with reference to FIG.
The data relation information holding unit 134 holds data relation information. The data relation information is information indicating a job accessing the job file and its access type. Hereinafter, a job that accesses a certain job file A is referred to as a “related job” of the job file A. The data structure of the data related information will be described in detail with reference to FIG.
The order rule holding unit 136 holds order rule information. The order rule information indicates a rule for determining whether or not the job order relation is necessary from the data relation information. The order rule information will be described in detail with reference to FIG.

データ処理部120は、順序要否判定部122と整合判定部124を含む。
順序要否判定部122は、データ関係情報と順序規則情報を参照して、あるジョブと別のジョブの間に順序関係が必要か判定する。整合判定部124は、順序要否判定部122により順序関係が必要として判定された2つのジョブについて、ジョブ関係情報においても順序関係が設定されているかを判定する。
The data processing unit 120 includes an order necessity determination unit 122 and a consistency determination unit 124.
The order necessity determination unit 122 refers to the data relationship information and the order rule information to determine whether an order relationship is necessary between a certain job and another job. The consistency determination unit 124 determines whether or not the order relationship is set in the job relationship information for the two jobs determined to require the order relationship by the order necessity determination unit 122.

図4は、ジョブ関係情報140のデータ構造図である。
図4のジョブ関係情報140は、図2に図示したジョブ1〜ジョブ7に対応する。第1ジョブ欄142と第2ジョブ欄144において対応づけられている第1ジョブと第2ジョブの間には、一方が他方の子ジョブとなる順序関係が成立している。
FIG. 4 is a data structure diagram of the job relation information 140.
The job relation information 140 in FIG. 4 corresponds to the jobs 1 to 7 shown in FIG. Between the first job and the second job associated in the first job column 142 and the second job column 144, an order relationship is established in which one becomes the other child job.

図2のシステム設計図によると、ジョブ2はジョブ1の子ジョブであるため、ジョブ関係情報140において対応づけられている。一方、ジョブ1とジョブ3には順序関係がないため、対応づけられていない。「狭義の子ジョブ←親ジョブ」という表現形式で示すと、図2のシステム設計図は、
ジョブ2←ジョブ1
ジョブ4←ジョブ1、ジョブ3
ジョブ5←ジョブ4
ジョブ6←ジョブ4
ジョブ7←ジョブ6
となる。図4のジョブ関係情報140は、この親ジョブと子ジョブの関係を模式的に示している。このように、ジョブ関係情報140は設計段階におけるジョブの順序関係を示す情報である。また、ジョブ関係情報140をグラフ探索することにより、たとえば、ジョブ7←ジョブ6←ジョブ4となるため、ジョブ7とジョブ4の間には広義の親子関係が成立することがわかる。
According to the system design diagram of FIG. 2, job 2 is a child job of job 1 and is associated in job relation information 140. On the other hand, job 1 and job 3 are not associated with each other because there is no order relationship. In the form of expression “child job in the narrow sense ← parent job”, the system design diagram of FIG.
Job 2 ← Job 1
Job 4 ← Job 1, Job 3
Job 5 ← Job 4
Job 6 ← Job 4
Job 7 ← Job 6
It becomes. The job relationship information 140 in FIG. 4 schematically shows the relationship between the parent job and the child job. As described above, the job relation information 140 is information indicating the order relation of jobs in the design stage. Further, by searching the job relationship information 140 in a graph, for example, job 7 ← job 6 ← job 4, it can be seen that a broad parent-child relationship is established between job 7 and job 4.

図5は、データ関係情報150のデータ構造図である。
システム開発者は、図2のシステム設計図から図4のジョブ関係情報140を定義し、ジョブ関係情報140に基づいて各ジョブの処理内容が記述されたジョブ制御プログラムを実装する。データ関係情報150は、ジョブファイルと関連ジョブ、関連ジョブのアクセス種別を示す。データ関係情報150は、ジョブ制御プログラムにおける各ジョブの実装内容を解析することにより得られる情報である。
FIG. 5 is a data structure diagram of the data relation information 150.
The system developer defines the job relation information 140 of FIG. 4 from the system design diagram of FIG. 2 and implements a job control program in which the processing contents of each job are described based on the job relation information 140. The data relation information 150 indicates the job file, the related job, and the access type of the related job. The data relation information 150 is information obtained by analyzing the mounting contents of each job in the job control program.

データ関係情報150によると、ジョブ1からジョブ7の7つのジョブからアクセスされるジョブファイルは、ジョブファイル1からジョブファイル7までの7種類である。実装上においては、ジョブ1はジョブファイル1への書き込こみ処理を実行している。図中おいては「WR」と表記されている。ジョブ2とジョブ4はどちらもジョブファイル1からデータの読み出しを実行している。図中においては「RD」と表記されている。すなわち、実装後のジョブ制御プログラムを解析してみると、ジョブファイル1の関連ジョブは「ジョブ1」、「ジョブ2」、「ジョブ3」の3つであることがわかる。
また、ジョブファイル1に対するアクセス種別は、ジョブ1:書き込み、ジョブ2:読み出し、ジョブ4:読み出し、である。このように、データ関係情報150は実装段階におけるジョブとジョブファイルの関係を示す情報である。
According to the data relationship information 150, there are seven types of job files accessed from seven jobs, job 1 to job 7, from job file 1 to job file 7. In the implementation, the job 1 executes a writing process to the job file 1. In the figure, “WR” is indicated. Job 2 and job 4 both read data from job file 1. In the figure, “RD” is indicated. In other words, when the job control program after mounting is analyzed, it can be seen that there are three related jobs of the job file 1, “job 1”, “job 2”, and “job 3”.
The access types for job file 1 are job 1: write, job 2: read, and job 4: read. As described above, the data relationship information 150 is information indicating the relationship between the job and the job file at the mounting stage.

図6は、順序規則情報160のデータ構造図である。
順序要否判定部122は、データ関係情報150を参照して、あるジョブと別のジョブの間に順序関係が必要か判定する。順序規則情報160はそのための判定基準を示す。詳しくは図7のフローチャートに関連して詳述するが、順序要否判定部122は、複数のジョブファイルの中から検証対象となるジョブファイルを順次選択する。次に、データ関係情報150を参照して、選択したジョブファイルの関連ジョブを特定する。関連ジョブが2以上あるときには、関連ジョブの中から検証対象となる2つのジョブを選択する。そして、この2つのジョブの間に順序関係が成立する必要があるか否かをアクセス種別と順序規則情報160に基づいて判定する。
FIG. 6 is a data structure diagram of the order rule information 160.
The order necessity determination unit 122 refers to the data relationship information 150 and determines whether an order relationship is necessary between a certain job and another job. The order rule information 160 indicates a criterion for that purpose. Although details will be described in detail with reference to the flowchart of FIG. 7, the order necessity determination unit 122 sequentially selects job files to be verified from a plurality of job files. Next, the related job of the selected job file is specified with reference to the data relationship information 150. When there are two or more related jobs, two jobs to be verified are selected from the related jobs. Then, based on the access type and order rule information 160, it is determined whether or not an order relationship needs to be established between the two jobs.

一例として、検証対象としてジョブファイルAが選択され、その関連ジョブのうち、検証対象となるジョブを第1ジョブ、第2ジョブとすると、その判定条件は、
A:第1ジョブと第2ジョブのうち、一方がジョブファイルAに書き込みを実行し、他方がジョブファイルAに読み出しを実行する関係にあるとき:順序関係が必要
B:第1ジョブと第2ジョブのうち、一方がジョブファイルAに書き込みを実行し、他方もジョブファイルAに書き込みを実行する関係にあるとき:順序関係が必要
C:第1ジョブと第2ジョブのうち、一方がジョブファイルAに読み出しを実行し、他方もジョブファイルAに読み出しを実行する関係にあるとき:順序関係は不要
となる。
As an example, when job file A is selected as a verification target, and among the related jobs, a job to be verified is a first job and a second job, the determination condition is
A: When one of the first job and the second job executes a write to the job file A and the other executes a read to the job file A: an order relationship is required B: the first job and the second job When one of the jobs executes a write to job file A and the other also executes a write to job file A: an order relationship is required C: one of the first job and the second job is a job file When a read is executed for A and the other is also read for job file A: the order relationship is unnecessary.

上記判定条件の理由は以下の通りである。
A:仮に第1ジョブがジョブファイルAに書き込みを実行し、第2ジョブがジョブファイルAから読み出しを実行するとする。この場合、第1ジョブの実行完了タイミングと第2ジョブの実行開始タイミングによって、第2ジョブの処理内容が変化する。第1ジョブの実行完了後に第2ジョブが実行開始されるとき、第2ジョブは第1ジョブの処理結果に基づいて処理を実行する。しかし、第1ジョブの実行完了前に第2ジョブが実行開始されるとき、第2ジョブは第1ジョブの処理結果が書き込まれる前の古いデータ、あるいは、書き込み中のデータに基づいて処理を実行することになる。このため、業務情報システム220の動作が安定しなくなる可能性がある。
したがって、ジョブファイルAについてこのような関係にある第1ジョブと第2ジョブの間には、一方の実行完了を条件として他方の実行が開始されるという実行条件、いいかえれば、順序関係が設計として定義されていなければならない。
The reason for the determination condition is as follows.
A: It is assumed that the first job executes writing to the job file A, and the second job executes reading from the job file A. In this case, the processing content of the second job varies depending on the execution completion timing of the first job and the execution start timing of the second job. When execution of the second job is started after completion of execution of the first job, the second job executes processing based on the processing result of the first job. However, when execution of the second job is started before execution of the first job is completed, the second job executes processing based on old data before the processing result of the first job is written or data being written. Will do. For this reason, the operation of the business information system 220 may become unstable.
Therefore, between the first job and the second job having such a relationship with respect to the job file A, the execution condition that the execution of the other is started on the condition of completion of the execution of the other, in other words, the order relation is designed. Must be defined.

B:仮に第1ジョブがジョブファイルAに書き込みを実行し、第2ジョブもジョブファイルAに書き込みを実行するとする。この場合、第1ジョブの実行開始・完了タイミングと第2ジョブの実行開始・完了タイミングによって、ジョブファイルAの内容が変化する。第1ジョブによる書き込み後に第2ジョブによる書き込みが実行されるとき、ジョブファイルAには最終的に第2ジョブの処理結果が記録される。実行順序が逆であれば、ジョブファイルAには最終的には第1ジョブの処理結果が記録されることになる。このため、業務情報システム220の出力が安定しなくなる可能性がある。
したがって、ジョブファイルAについてこのような関係にある第1ジョブと第2ジョブの間には、一方の実行完了を条件として他方の実行が開始されるという実行条件、いいかえれば、順序関係が設計として定義されていなければならない。
B: Assume that the first job executes writing to job file A and the second job also executes writing to job file A. In this case, the contents of the job file A change depending on the execution start / completion timing of the first job and the execution start / completion timing of the second job. When writing by the second job is executed after writing by the first job, the processing result of the second job is finally recorded in the job file A. If the execution order is reversed, the processing result of the first job is finally recorded in the job file A. For this reason, the output of the business information system 220 may become unstable.
Therefore, between the first job and the second job having such a relationship with respect to the job file A, the execution condition that the execution of the other is started on the condition of completion of the execution of the other, in other words, the order relation is designed. Must be defined.

C:仮に第1ジョブがジョブファイルAに読み出しを実行し、第2ジョブもジョブファイルAに読み出しを実行するとする。この場合、第2ジョブと第1ジョブのいずれが先にジョブファイルAへの読み出しを実行しても、ジョブファイルAの内容は変化しないし、第1ジョブと第2ジョブの処理内容は影響を受けない。
したがって、ジョブファイルAについてこのような関係にある第1ジョブと第2ジョブの間には、必ずしも順序関係が成立していなくてもよい。
C: Suppose that the first job executes reading to job file A, and the second job also executes reading to job file A. In this case, the content of the job file A does not change regardless of which of the second job and the first job is read to the job file A first, and the processing contents of the first job and the second job are not affected. I do not receive it.
Therefore, the order relationship does not necessarily hold between the first job and the second job having such a relationship with respect to the job file A.

なお、ジョブファイルAに対して書き込みと読み出しの両方を実行する関連ジョブについては、そのアクセス種別を「書き込み」として取り扱う。上記したように、順序関係が必要とされるのは、いずれかの関連ジョブがジョブファイルに書き込みを実行する場合だからである。   Note that the access type of a related job that executes both writing and reading with respect to the job file A is handled as “write”. As described above, the order relation is required when any related job executes writing to a job file.

図7は、システム設計検証の処理過程を示すフローチャートである。
上記設例に示したジョブ1〜ジョブ7、ジョブファイル1〜ジョブファイル7に関し、ジョブ関係情報140、データ関係情報150および順序規則情報160に基づいて、設計上定義されている順序関係と運用上必要とされる順序関係との整合性を判定する整合検証の処理過程について示す。
FIG. 7 is a flowchart showing the process of system design verification.
Regarding job 1 to job 7 and job file 1 to job file 7 shown in the above example, based on job relation information 140, data relation information 150 and order rule information 160, the order relation defined by design and necessary for operation The process of consistency verification for determining consistency with the ordered relationship will be described.

まず、順序要否判定部122はデータ関係情報150に示されるジョブファイル1〜ジョブファイル7のうちから検証対象となるジョブファイルを一つ選択する(S10)。次に、順序要否判定部122は、データ関係情報150を参照して、関連ジョブを2つ選択する(S12)。ただし、関連ジョブが2個以上存在しないときには、S10にて別のジョブファイルが選択される。   First, the order necessity determination unit 122 selects one job file to be verified from the job files 1 to 7 indicated in the data relationship information 150 (S10). Next, the order necessity determination unit 122 refers to the data relationship information 150 and selects two related jobs (S12). However, when two or more related jobs do not exist, another job file is selected in S10.

順序要否判定部122は、順序規則情報160を参照して、選択された2つの関連ジョブの間に順序関係が必要か判定する(S14)。
たとえば、図5のデータ関係情報150によると、ジョブファイル1の関連ジョブであるジョブ1とジョブ2の場合、ジョブ1が書き込み、ジョブ2が読み出しの関係(上記Aの関係)にある。したがって、ジョブ1とジョブ2の間には順序関係が必要と判定される。
一方、ジョブファイル1の関連ジョブであるジョブ2とジョブ3の場合、ジョブ2とジョブ3は共に読み出しの関係(上記Cの関係)にある。したがって、ジョブ2とジョブ3の間には順序関係は不要である。
ファイル4の関連ジョブであるジョブ2とジョブ4の場合、共に書き込みの関係(上記Bの関係)にある。ジョブ2とジョブ4の間には順序関係が必要である。
The order necessity determination unit 122 refers to the order rule information 160 and determines whether an order relationship is necessary between the two selected related jobs (S14).
For example, according to the data relationship information 150 of FIG. 5, in the case of job 1 and job 2 that are related jobs of job file 1, job 1 is in a write relationship and job 2 is in a read relationship (the relationship of A above). Therefore, it is determined that an order relationship is necessary between job 1 and job 2.
On the other hand, in the case of job 2 and job 3, which are related jobs of job file 1, both job 2 and job 3 are in a read relationship (the relationship of C above). Therefore, no order relationship is required between job 2 and job 3.
In the case of job 2 and job 4, which are related jobs of file 4, both are in a writing relationship (the relationship of B above). An order relationship is required between job 2 and job 4.

順序関係が必要でなければ(S14のN)、処理はS22に移行する。順序関係が必要であれば(S14のY)、整合判定部124は、ジョブ関係情報140を参照して、S12にて選択された2つの関連ジョブの間に順序関係が設計上定義されているか判定する(S16)。順序関係が定義されていなければ(S18のN)、これら2つの関連ジョブと対応ジョブファイルの名前をエラーファイルに記録する(S20)。   If the order relationship is not necessary (N in S14), the process proceeds to S22. If an order relationship is necessary (Y in S14), the consistency determination unit 124 refers to the job relationship information 140 and has the design relationship defined between the two related jobs selected in S12? Determine (S16). If the order relationship is not defined (N in S18), the names of these two related jobs and the corresponding job file are recorded in the error file (S20).

一例として、ジョブファイル4の関連ジョブであるジョブ2とジョブ4は、共に書き込みの関係にあるため順序関係が必要であるが、ジョブ関係情報140によるとジョブ2とジョブ4の間には順序関係が定義されていない。このため、ジョブ2とジョブ4は、ジョブファイル4に対するアクセスに関連して動作が不安定となる可能性がある。また、ジョブファイル6の関連ジョブであるジョブ2とジョブ6については、ジョブ2が読み出し、ジョブ6が書き込みの関係にあるため順序関係が必要である。しかし、ジョブ関係情報140によるとジョブ2とジョブ6の間には順序関係が定義されていない。   As an example, job 2 and job 4, which are related jobs of job file 4, are in a writing relationship and need an order relationship. However, according to job relationship information 140, an order relationship is present between job 2 and job 4. Is not defined. For this reason, the operations of job 2 and job 4 may become unstable in connection with access to job file 4. In addition, the job 2 and the job 6, which are related jobs of the job file 6, need to be in order because the job 2 reads and the job 6 has a writing relationship. However, according to the job relation information 140, no order relation is defined between the job 2 and the job 6.

S10にて選択されたジョブファイルの関連ジョブ群について、全てのジョブの組合せについて検証が完了していなければ(S22のY)、処理はS12に戻って、新たに検証対象となるジョブの組合せが選択される(S12)。たとえば、ジョブファイル1の関連ジョブは、ジョブ1、ジョブ2、ジョブ4なので、検証されるべきジョブの組合せは(ジョブ1、ジョブ2)、(ジョブ1、ジョブ4)および(ジョブ2、ジョブ4)の3種類である。また、ジョブファイル4の関連ジョブは、ジョブ2、ジョブ4、ジョブ5、ジョブ6なので、検証されるべきジョブの組合せは(ジョブ2、ジョブ4)、(ジョブ2、ジョブ5)、(ジョブ2、ジョブ6)、(ジョブ4、ジョブ5)、(ジョブ4、ジョブ6)、(ジョブ5、ジョブ6)の合計6種類となる。   If verification of all job combinations has not been completed for the related job group of the job file selected in S10 (Y in S22), the process returns to S12, and a new job combination to be verified is found. Selected (S12). For example, since the related jobs of job file 1 are job 1, job 2, and job 4, the job combinations to be verified are (job 1, job 2), (job 1, job 4) and (job 2, job 4). ). Further, since the related jobs of the job file 4 are job 2, job 4, job 5, and job 6, the job combinations to be verified are (job 2, job 4), (job 2, job 5), (job 2). , Job 6), (job 4, job 5), (job 4, job 6), and (job 5, job 6) in total.

関連ジョブ全ての組合せが検証されると(S22のN)、順序要否判定部122は、まだ検証されていないジョブファイルが存在するかを判定する(S24)。未検証のジョブファイルが存在すれば処理はS10に戻り、順序要否判定部122は、新たなジョブファイルが選択される(S10)。全てのジョブファイルについての検証が完了すると(S24のN)、処理は終了する。   When the combination of all related jobs is verified (N in S22), the order necessity determination unit 122 determines whether there is a job file that has not been verified yet (S24). If an unverified job file exists, the process returns to S10, and the order necessity determination unit 122 selects a new job file (S10). When the verification for all job files is completed (N in S24), the process ends.

以上、システム設計検証装置100を実施例に基づいて説明した。
システム設計検証装置100によれば、設計時において定義されているジョブの順序関係と、実装から必要性が認識されるジョブの順序関係との整合性を検証できる。特に、ジョブからジョブにデータを渡すタイミングの制御はシステムエラーの温床となりやすい。業務情報システムに含まれるジョブの数が今後ますます増大しても、システム設計検証装置100はシステムの脆弱な部分を効率的に検出するための仕組みを提供できる。
The system design verification apparatus 100 has been described based on the embodiments.
According to the system design verification apparatus 100, it is possible to verify the consistency between the order relationship of jobs defined at the time of design and the order relationship of jobs whose necessity is recognized from the implementation. In particular, control of the timing for passing data from job to job tends to be a hotbed for system errors. Even if the number of jobs included in the business information system increases in the future, the system design verification apparatus 100 can provide a mechanism for efficiently detecting vulnerable parts of the system.

以上、本発明を実施例をもとに説明した。実施の形態は例示であり、それらの各構成要素や各処理プロセスの組合せにいろいろな変形例が可能なこと、またそうした変形例も本発明の範囲にあることは当業者に理解されるところである。   In the above, this invention was demonstrated based on the Example. The embodiments are exemplifications, and it will be understood by those skilled in the art that various modifications can be made to combinations of the respective constituent elements and processing processes, and such modifications are within the scope of the present invention. .

請求項に記載の「中間データ」は、本実施例においては「ジョブファイル」として表現されている。
このほかにも、請求項に記載の各構成要件が果たすべき機能は、本実施例において示された各機能ブロックの単体もしくはそれらの連係によって実現されることも当業者には理解されるところである。
The “intermediate data” recited in the claims is expressed as a “job file” in the present embodiment.
In addition, it should be understood by those skilled in the art that the functions to be fulfilled by the constituent elements described in the claims are realized by the individual functional blocks shown in the present embodiment or their linkage. .

業務情報システムのハードウェア構成図である。It is a hardware block diagram of a business information system. 複数のジョブの実行条件を有向グラフ形式にて示す図である。It is a figure which shows the execution conditions of a some job in a directed graph format. システム設計検証装置の機能ブロック図である。It is a functional block diagram of a system design verification apparatus. ジョブ関係情報のデータ構造図である。It is a data structure figure of job relation information. データ関係情報のデータ構造図である。It is a data structure figure of data relation information. 順序規則情報のデータ構造図である。It is a data structure figure of order rule information. システム設計を検証するための処理過程を示すフローチャートである。It is a flowchart which shows the process for verifying system design.

符号の説明Explanation of symbols

100 システム設計検証装置、 110 ユーザインタフェース処理部、 112 入力部、 114 表示部、 120 データ処理部、 122 順序要否判定部、 124 整合判定部、 130 データ格納部、 132 ジョブ関係情報保持部、 134 データ関係情報保持部、 136 順序規則保持部、 140 ジョブ関係情報、 142 第1ジョブ欄、 144 第2ジョブ欄、 146 順序関係欄、 150 データ関係情報、 160 順序規則情報、 200 ジョブ実行装置群、 202 ジョブ実行装置、 210 外部記憶装置、 220 業務情報システム、 230 ジョブ管理装置。   100 system design verification device, 110 user interface processing unit, 112 input unit, 114 display unit, 120 data processing unit, 122 order necessity determination unit, 124 consistency determination unit, 130 data storage unit, 132 job relation information holding unit, 134 Data relation information holding section, 136 Order rule holding section, 140 Job relation information, 142 First job field, 144 Second job field, 146 Order relation field, 150 Data relation information, 160 Order rule information, 200 Job execution device group, 202 Job execution device, 210 External storage device, 220 Business information system, 230 Job management device.

Claims (5)

複数のジョブの間において、前段にあたるジョブの実行終了を条件として後段にあたるジョブが実行される順序関係にあるジョブの組合せを示すジョブ関係情報を取得するジョブ関係情報取得部と、
中間データへの書き込みを実行するジョブおよび前記中間データからの読み出しを実行するジョブを前記中間データの関連ジョブとして、複数種類の中間データそれぞれについての関連ジョブを示すデータ関係情報を取得するデータ関係情報取得部と、
前記データ関係情報を参照して検証対象となる中間データを順次選択し、前記検証対象となる中間データの関連ジョブが第1のジョブと第2のジョブであるとき、前記検証対象となる中間データに対する前記第1のジョブのアクセス種別と前記第2のジョブのアクセス種別の組合せから前記第1のジョブと前記第2のジョブの間の順序関係の要否を判定する順序要否判定部と、
前記第1のジョブと前記第2のジョブの間に順序関係が必要と判定されたとき、前記ジョブ関係情報において前記第1のジョブと前記第2のジョブの間に順序関係が成立しているかを判定することにより、前記ジョブ関係情報と前記データ関係情報の整合性を判定する整合判定部と、
を備えることを特徴とするシステム設計検証装置。
A job relation information acquisition unit for acquiring job relation information indicating a combination of jobs in an order relation in which a job corresponding to the subsequent stage is executed on the condition that the execution of the job corresponding to the previous stage is completed among a plurality of jobs;
Data relation information for acquiring data relation information indicating a related job for each of a plurality of types of intermediate data, with a job for executing writing to intermediate data and a job for executing reading from the intermediate data being related jobs of the intermediate data An acquisition unit;
When the intermediate data to be verified is sequentially selected with reference to the data relation information, and the related jobs of the intermediate data to be verified are the first job and the second job, the intermediate data to be verified An order necessity determining unit that determines whether or not an order relationship between the first job and the second job is necessary from a combination of the access type of the first job and the access type of the second job for
When it is determined that an order relationship is necessary between the first job and the second job, is the order relationship established between the first job and the second job in the job relationship information? A consistency determination unit that determines consistency between the job relationship information and the data relationship information,
A system design verification apparatus comprising:
前記順序要否判定部は、前記第1のジョブが前記検証対象となる中間データに対する書き込みを実行し前記第2のジョブが前記検証対象となる中間データに対する読み出しを実行するとき、前記第1のジョブと前記第2のジョブの間に順序関係が必要と判定することを特徴とする請求項1に記載のシステム設計検証装置。   When the first job executes writing to the intermediate data to be verified and the second job executes reading to the intermediate data to be verified, the order necessity determination unit The system design verification apparatus according to claim 1, wherein it is determined that an order relationship is necessary between the job and the second job. 前記順序要否判定部は、前記第1のジョブと前記第2のジョブが共に前記検証対象となる中間データに対する書き込みを実行するとき、前記第1のジョブと前記第2のジョブの間に順序関係が必要と判定することを特徴とする請求項1に記載のシステム設計検証装置。   The order necessity determination unit determines the order between the first job and the second job when both the first job and the second job execute writing to the intermediate data to be verified. The system design verification apparatus according to claim 1, wherein it is determined that a relationship is necessary. 前記順序要否判定部は、前記第1のジョブと前記第2のジョブが共に前記検証対象となる中間データに対する読み出しを実行するとき、前記第1のジョブと前記第2のジョブの間に順序関係が不要と判定することを特徴とする請求項1に記載のシステム設計検証装置。   The order necessity determination unit is configured to execute an order between the first job and the second job when both the first job and the second job execute reading of the intermediate data to be verified. The system design verification apparatus according to claim 1, wherein it is determined that the relationship is unnecessary. 複数のジョブの間において、前段にあたるジョブの実行終了を条件として後段にあたるジョブが実行される順序関係にあるジョブの組合せを示すジョブ関係情報を保持する機能と、
中間データへの書き込みを実行するジョブおよび前記中間データからの読み出しを実行するジョブを前記中間データの関連ジョブとして、複数種類の中間データそれぞれについての関連ジョブを示すデータ関係情報を保持する機能と、
前記データ関係情報を参照して検証対象となる中間データを順次選択する機能と、
前記検証対象となる中間データの関連ジョブが第1のジョブと第2のジョブであるとき、前記検証対象となる中間データに対する前記第1のジョブのアクセス種別と前記第2のジョブのアクセス種別の組合せから前記第1のジョブと前記第2のジョブの間の順序関係の要否を判定する機能と、
前記第1のジョブと前記第2のジョブの間に順序関係が必要と判定されたとき、前記ジョブ関係情報において前記第1のジョブと前記第2のジョブの間に順序関係が成立しているかを判定することにより、前記ジョブ関係情報と前記データ関係情報の整合性を判定する機能と、
をコンピュータに発揮させることを特徴とするシステム設計検証プログラム。
A function of holding job relation information indicating a combination of jobs in an order relation in which a job corresponding to the subsequent stage is executed on condition that the execution of the job corresponding to the preceding stage is completed among a plurality of jobs,
A function for holding data relation information indicating a related job for each of a plurality of types of intermediate data, with a job for executing writing to intermediate data and a job for executing reading from the intermediate data as related jobs for the intermediate data,
A function of sequentially selecting intermediate data to be verified with reference to the data relation information;
When the related jobs of the intermediate data to be verified are the first job and the second job, the access type of the first job and the access type of the second job for the intermediate data to be verified A function for determining the necessity of an order relationship between the first job and the second job from a combination;
If it is determined that an order relationship is necessary between the first job and the second job, is the order relationship established between the first job and the second job in the job relationship information? By determining the consistency between the job relationship information and the data relationship information,
A system design verification program characterized by causing a computer to demonstrate its functions.
JP2007097946A 2007-04-04 2007-04-04 System design verification device Expired - Fee Related JP5001703B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2007097946A JP5001703B2 (en) 2007-04-04 2007-04-04 System design verification device

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP2007097946A JP5001703B2 (en) 2007-04-04 2007-04-04 System design verification device

Publications (2)

Publication Number Publication Date
JP2008257410A true JP2008257410A (en) 2008-10-23
JP5001703B2 JP5001703B2 (en) 2012-08-15

Family

ID=39980938

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2007097946A Expired - Fee Related JP5001703B2 (en) 2007-04-04 2007-04-04 System design verification device

Country Status (1)

Country Link
JP (1) JP5001703B2 (en)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2010140396A (en) * 2008-12-15 2010-06-24 Nippon Shoken Technology Kk File compatibility confirming system, file compatibility confirming method and program
WO2011068015A1 (en) * 2009-12-02 2011-06-09 コニカミノルタホールディングス株式会社 System building support method
JP2014035654A (en) * 2012-08-09 2014-02-24 Hitachi Ltd Job order confirmation method

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2002014846A (en) * 2000-06-28 2002-01-18 Ntt Comware Corp Job checking device and job checking method and recording medium with job checking program recorded

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2002014846A (en) * 2000-06-28 2002-01-18 Ntt Comware Corp Job checking device and job checking method and recording medium with job checking program recorded

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2010140396A (en) * 2008-12-15 2010-06-24 Nippon Shoken Technology Kk File compatibility confirming system, file compatibility confirming method and program
WO2011068015A1 (en) * 2009-12-02 2011-06-09 コニカミノルタホールディングス株式会社 System building support method
JP2014035654A (en) * 2012-08-09 2014-02-24 Hitachi Ltd Job order confirmation method

Also Published As

Publication number Publication date
JP5001703B2 (en) 2012-08-15

Similar Documents

Publication Publication Date Title
US20090313606A1 (en) System and Method for Testing a Software Product
US20100031244A1 (en) Software updating device and computer-readable storage medium storing software updating program
JP7088897B2 (en) Data access methods, data access devices, equipment and storage media
US9575827B2 (en) Memory management program, memory management method, and memory management device
JP5001703B2 (en) System design verification device
JP5352027B2 (en) Computer system management method and management apparatus
JP5171211B2 (en) Data format converter
JP6737063B2 (en) Software asset management device, software asset management method, and software asset management program
JP2007018091A (en) Information processor, information processing system, application development support method and program
CN113886741A (en) Method for typesetting formula and related product
US20100199284A1 (en) Information processing apparatus, self-testing method, and storage medium
JP2009163566A (en) Job analysis support apparatus
US7934067B2 (en) Data update history storage apparatus and data update history storage method
JP4989496B2 (en) Command net execution device, command net execution program, and computer-readable recording medium on which command net execution program is recorded
JP6555908B2 (en) Information processing apparatus, control method therefor, and program
JP4141921B2 (en) File processing method
US8869137B2 (en) Information processing apparatus that automatically and sequentially displays graphical user interface images and recording medium storing program
US7702890B2 (en) Information processing apparatus and program
JP7284791B2 (en) DISTRIBUTED TRANSACTION SYSTEM AND DISTRIBUTED TRANSACTION PROCESSING METHOD IN DISTRIBUTED TRANSACTION SYSTEM
JP2010026626A (en) Method, system and program for recording data
JP2010181924A (en) Database management method, database management device, and its processing program
JP5034292B2 (en) Module installation program, module installation apparatus, and module installation method
JP2007219893A (en) Firmware evaluation system and firmware evaluation method
JP2006227859A (en) System, program, and method for database management, and recording medium
JP5638635B2 (en) Electronic device, program, and status display system

Legal Events

Date Code Title Description
A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20100315

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20120221

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20120222

A521 Written amendment

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20120423

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20120515

A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20120518

R150 Certificate of patent or registration of utility model

Ref document number: 5001703

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

Free format text: JAPANESE INTERMEDIATE CODE: R150

FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20150525

Year of fee payment: 3

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

LAPS Cancellation because of no payment of annual fees