JP2854622B2 - Data transmission control sequence diagram creation method - Google Patents

Data transmission control sequence diagram creation method

Info

Publication number
JP2854622B2
JP2854622B2 JP1230877A JP23087789A JP2854622B2 JP 2854622 B2 JP2854622 B2 JP 2854622B2 JP 1230877 A JP1230877 A JP 1230877A JP 23087789 A JP23087789 A JP 23087789A JP 2854622 B2 JP2854622 B2 JP 2854622B2
Authority
JP
Japan
Prior art keywords
sequence diagram
state
processing
control sequence
matrix
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.)
Expired - Lifetime
Application number
JP1230877A
Other languages
Japanese (ja)
Other versions
JPH0391855A (en
Inventor
典男 笹川
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.)
Hitachi Software Engineering Co Ltd
Original Assignee
Hitachi Software Engineering Co 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 Hitachi Software Engineering Co Ltd filed Critical Hitachi Software Engineering Co Ltd
Priority to JP1230877A priority Critical patent/JP2854622B2/en
Publication of JPH0391855A publication Critical patent/JPH0391855A/en
Application granted granted Critical
Publication of JP2854622B2 publication Critical patent/JP2854622B2/en
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、データ伝送制御シーケンス図作成方法に関
し、特に、通信プロトコル仕様を仕様記述言語で表現し
たオンラインデータ処理システムにおけるデータ伝送制
御シーケンス図を自動的に作成するデータ伝送制御シー
ケンス図作成方法に関するものである。
Description: BACKGROUND OF THE INVENTION The present invention relates to a data transmission control sequence diagram creation method, and more particularly, to a data transmission control sequence diagram in an online data processing system expressing a communication protocol specification in a specification description language. The present invention relates to a data transmission control sequence diagram creation method that is automatically created.

〔従来の技術〕[Conventional technology]

オンラインデータ処理システムの設計を行う場合、ま
ず、通信プロトコルを規定し、データ伝送の制御シーケ
ンスを決定する必要がある。通信プロトコルを規定する
仕様文書としては、例えば、計算機の状態と発生する事
象の種類を行と列とする行列の要素として、計算機が行
う処理と次に遷移する状態を表形式で記述する処理表
(処理マトリクス)が用いられ、また、計算機の状態の
遷移を、遷移の発生する条件および遷移の発生時点で行
う処理と遷移先を結線して、図形式で記述する状態遷移
図などが用いられる。
When designing an online data processing system, first, it is necessary to define a communication protocol and determine a control sequence for data transmission. The specification document that specifies the communication protocol includes, for example, a processing table that describes, in a tabular format, the processing performed by the computer and the next transition state as elements of a matrix in which the state of the computer and the type of event that occurs are rows and columns. (Processing matrix) is used, and a state transition diagram that describes the transition of the state of the computer in the form of a diagram by connecting the transition destination and the processing performed at the transition occurrence condition and the transition destination is used. .

また、オンラインデータ処理システムにおけるデータ
伝送に関して、受信側と送信側とのデータ回線を介する
データ通信を表現するものとして、データ伝送の制御シ
ーケンス図(時系列図)が用いられることが多い。この
ような制御シーケンス図は、通信プロトコルを規定した
仕様文書を基に可視的にデータの流れを捉え、仕様書の
通信プロトコルに合せて、フローチャートを作成し、更
にプログラムを作成するために利用される。
Regarding data transmission in an online data processing system, a data transmission control sequence diagram (time sequence diagram) is often used to represent data communication between a receiving side and a transmitting side via a data line. Such a control sequence diagram is used to visually grasp the flow of data based on a specification document defining a communication protocol, create a flowchart in accordance with the communication protocol of the specification document, and further create a program. You.

従来、この種のオンラインデータ処理システムにかか
る回線制御プログラムを作成する場合のフローチャート
作成方法に関しては、例えば、特開昭63−94354号公報
に記載されたものがある。ここに記載されている回線制
御プログラム用フローチャート作成方式は、回線制御プ
ログラムを作成する場合、伝送制御マトリクスの入力画
面を表示面に表示し、このマトリクスのデータ記入項目
にオペレータがデータを入力することにより、自動的に
各フェーズ毎の伝送制御フローチャートを得るようにし
たものである。
Conventionally, a method of creating a flow chart for creating a line control program according to this type of online data processing system is disclosed in, for example, Japanese Patent Application Laid-Open No. 63-94354. The method for creating a flow chart for a line control program described here is that, when a line control program is created, an input screen of a transmission control matrix is displayed on a display surface, and an operator inputs data in data entry items of this matrix. As a result, a transmission control flowchart for each phase is automatically obtained.

〔発明が解決しようとする課題〕[Problems to be solved by the invention]

この公報の記載に見られるように、伝送制御マトリク
スから回線制御プログラム用フローチャートを作成する
方法は提案されているが、この方法は、マニュアルによ
らないフローチャート作成を目的の主眼としており、デ
ータ伝送制御シーケンス図の自動作成による通信プロト
コルの検証方法については考慮されていない。
As described in this publication, a method for creating a flow chart for a line control program from a transmission control matrix has been proposed. A method of verifying a communication protocol by automatically creating a sequence diagram is not considered.

このため、データ伝送に於ける制御シーケンスについ
て、例外ケースの制御シーケンスを検出する点、例外ケ
ースで行われる処理の妥当性の確認を行う点、また、人
間との会話型式により、漏れがなく制御シーケンス図を
自動的に作成する点などについては配慮がなされていな
い。したがって、通信プロトコルの例外ケースの検出お
よび検証に漏れが生じる虞れがあり、また、通信プロト
コルの検証に時間を要する。更に、全ての場合に関係し
て、制御シーケンス図の作成に漏れが生ずる危険がある
という問題がある。
For this reason, the control sequence in data transmission is detected without any omission by detecting the control sequence of the exception case, confirming the validity of the processing performed in the exception case, and by the conversation type with humans. No consideration is given to automatically creating sequence diagrams. Therefore, there is a possibility that the detection and verification of the exceptional case of the communication protocol may be omitted, and the verification of the communication protocol takes time. Further, in all cases, there is a problem that there is a danger that the creation of the control sequence diagram may be omitted.

本発明は、前記問題点を解決するためになされたもの
である。
The present invention has been made to solve the above problems.

本発明の目的は、通信プロトコル仕様を仕様記述言語
で表現したオンラインデータ処理システムにおけるデー
タ伝送の制御シーケンス図を自動的に作成するデータ伝
送制御シーケンス図作成方法を提供することにある。
An object of the present invention is to provide a data transmission control sequence diagram creation method for automatically creating a data transmission control sequence diagram in an online data processing system expressing a communication protocol specification in a specification description language.

本発明の前記ならびにその他の目的と新規な特徴は、
本明細書の記述及び添付図面によって明らかになるであ
ろう。
The above and other objects and novel features of the present invention are as follows.
It will become apparent from the description of the present specification and the accompanying drawings.

〔課題を解決するための手段〕[Means for solving the problem]

上記目的を達成するため、本発明のデータ伝送制御シ
ーケンス作成方法は、計算機の状態と発生する事象の種
類を行と列とする行列の要素として、計算機が行う処理
と次に遷移する状態とを行列表現の表形式で記述する仕
様記述言語で、通信プロトコル仕様を表現したオンライ
ンデータ処理システムのデータ伝送制御シーケンス図の
作成方法であって、シーケンス図作成処理手段に、ま
ず、仕様記述言語で表現された通信プロトコル仕様を入
力し、次に、人間との会話形式により入力装置から初期
の自局の状態および相手局からの受信データを初期値と
して入力して、通信プロトコル仕様を解析し、初期値か
ら自局が行う処理と相手局への送信データ、および次に
遷移する自局の状態を順次に決定し、出力装置にデータ
伝送制御シーケンス図として出力することを特徴とす
る。
In order to achieve the above object, the data transmission control sequence creation method of the present invention is a method in which the state of a computer and the type of an event to occur are elements of a matrix having rows and columns, and the processing performed by the computer and the next transition state are performed. A method of creating a data transmission control sequence diagram of an online data processing system that expresses communication protocol specifications in a specification description language described in a matrix format in a table format. First, the sequence diagram creation processing means is expressed in a specification description language. The communication protocol specification is input, and the initial state of the own station and the data received from the partner station are input as initial values from the input device in the form of conversation with a human, and the communication protocol specification is analyzed. The processing to be performed by the own station, the transmission data to the partner station, and the state of the own station to be changed next are sequentially determined from the values, and the data transmission control sequence diagram is output to the output device. Characterized by and output.

〔作用〕[Action]

前記手段によれば、シーケンス図作成処理手段に、処
理表(処理マトリクス)の形式で記述される仕様記述言
語で表現された通信プロトコル仕様を入力する。そし
て、シーケンス作成処理手段により通信プロトコル仕様
を解析し、人間との会話形式により入力装置から初期の
自局の状態および相手局からの受信データを初期値とし
て入力し、通信プロトコル仕様を解析して、初期値から
自局が行う処理と相手局への送信データおよび、次に遷
移する自局の状態を順次に決定し、これらの状態の遷移
を、データ伝送制御シーケンス図として出力装置へ出力
する。
According to the above means, the communication protocol specification expressed in the specification description language described in the form of the processing table (processing matrix) is input to the sequence diagram creation processing means. Then, the communication protocol specification is analyzed by the sequence creation processing means, and the initial state of the own station and the data received from the partner station are input as initial values from the input device in the form of conversation with a human, and the communication protocol specification is analyzed. , The processing performed by the own station from the initial value, the transmission data to the partner station, and the next state of the own station to be changed next are sequentially determined, and these state transitions are output to the output device as a data transmission control sequence diagram. .

すなわち、シーケンス図作成処理手段は、処理マトリ
クス形式の仕様記述言語で表現された通信プロトコル仕
様が入力されると、通信プロトコル仕様を解析し、記憶
装置上に状態レコードと事象レコード及び各要素ごとの
処理レコードを作成する。そして、人間との会話形式に
より入力装置から初期の自局の状態及び相手局からの受
信データを初期値として入力し、該当する状態レコード
と事象レコードを検索して、処理レコードを決定する。
次に、処理レコードから自局が行う処理と相手局への送
信データ、および次に遷移する自局の状態を決定する。
このようにして決定した状態の遷移を、出力装置上にデ
ータ伝送制御シーケンス図に加工して出力する。この一
つの状態遷移の出力動作が終了すると、自局の状態を次
に遷移する自局の状態に変更し、人間との会話形式によ
り入力装置から次の相手局からの受信データが入力され
るのを待つ。このようにして状態の遷移を順次に、デー
タ伝送制御シーケンス図として遂次出力することによ
り、人間との会話形式により自動的にデータ伝送制御シ
ーケンス図を作成する。
That is, when a communication protocol specification expressed in a processing matrix format specification description language is input, the sequence diagram creation processing means analyzes the communication protocol specification, and stores a status record, an event record, and each element in a storage device. Create a processing record. Then, the initial state of the own station and the received data from the partner station are input as initial values from the input device in the form of conversation with a human, and the corresponding state record and event record are searched to determine a processing record.
Next, the processing to be performed by the own station, the data to be transmitted to the partner station, and the state of the own station to be changed next are determined from the processing record.
The state transition determined in this way is processed into a data transmission control sequence diagram on the output device and output. When the output operation of this one state transition is completed, the state of the own station is changed to the state of the own station to which the next transition is made, and the received data from the next partner station is input from the input device in the form of conversation with a human. Wait for In this way, by sequentially outputting the state transitions sequentially as a data transmission control sequence diagram, a data transmission control sequence diagram is automatically created in the form of conversation with a human.

このように、処理マトリクス形式の仕様記述言語で表
現された通信プロトコル仕様から、各状態の遷移を順次
に解析し、人間との会話型式により自動的にデータ伝送
における制御シーケンス図を作成する。これにより、デ
ータ伝送制御シーケンスにおける例外ケースの検出およ
び例外シーケンスの確認が容易になると共に、全ケース
の制御シーケンス図の作成が容易となる。また、人間と
の会話型式により通信プロトコルの検証に要する時間を
短縮することができる。
As described above, the transition of each state is sequentially analyzed from the communication protocol specification expressed in the specification description language in the processing matrix format, and a control sequence diagram in data transmission is automatically created in a conversation type with a human. This facilitates detection of an exception case and confirmation of the exception sequence in the data transmission control sequence, and facilitates creation of a control sequence diagram for all cases. Further, the time required for verifying the communication protocol can be reduced by a conversation type with a human.

〔実施例〕〔Example〕

以下、本発明の一実施例を図面を用いて具体的に説明
する。
Hereinafter, an embodiment of the present invention will be specifically described with reference to the drawings.

第1図は、本発明の一実施例にかかるデータ伝送制御
シーケンス図作成方法の処理プロセスの概略を説明する
処理のブロック図である。
FIG. 1 is a block diagram of a process for explaining an outline of a process of a data transmission control sequence diagram creating method according to an embodiment of the present invention.

第1図において、1は入力装置、2は処理マトリクス
作成処理部、3は通信プロトコル仕様を表現した処理マ
トリクス、4はデータ伝送制御シーケンス図作成処理
部、5はCRT出力装置、6は印字出力装置である。
In FIG. 1, 1 is an input device, 2 is a processing matrix creation processing unit, 3 is a processing matrix expressing communication protocol specifications, 4 is a data transmission control sequence diagram creation processing unit, 5 is a CRT output device, and 6 is print output. Device.

処理マトリクス形式で表現される通信プロトコル仕様
は、入力装置1から仕様記述言語で処理マトリクスを作
成する処理マトリクス作成処理部2を起動し、入力装置
1から仕様記述言語を入力することにより作成される。
このように作成された通信プロトコル仕様の処理マトリ
クス3は、第1図に示すように、状態3aの行と事象3bの
列から構成され、この行列の各要素には、状態3aと事象
3bの組合せにより行うべき処理3cと当該処理3cを行った
後に遷移すべき遷移先状態3dが規定されているものであ
る。この処理マトリクス3の大きさは状態3aの数と事象
3bの数とにより定まる。
A communication protocol specification expressed in a processing matrix format is created by activating a processing matrix creation processing unit 2 that creates a processing matrix in a specification description language from the input device 1 and inputting the specification description language from the input device 1. .
As shown in FIG. 1, the processing matrix 3 of the communication protocol specification thus created is composed of a row of the state 3a and a column of the event 3b, and each element of the matrix includes the state 3a and the event 3b.
A process 3c to be performed by a combination of 3b and a transition destination state 3d to be transited after performing the process 3c are defined. The size of this processing matrix 3 depends on the number of states 3a and events
It is determined by the number of 3b.

通信プロトコル仕様が記述された処理マトリクス3が
完成すると、次に、データ伝送制御シーケンス図を作成
するため、入力装置1からデータ伝送制御シーケンス図
作成処理部4が起動される。データ伝送制御シーケンス
図作成処理部4が起動されると、データ伝送制御シーケ
ンス図作成処理部4は通信プロトコル仕様が記述された
処理マトリクス3を入力し、入力装置1から入力される
初期状態および事象のデータから処理マトリクス3の要
素のデータを検索し、該当する処理3cと遷移先状態3dを
求められる。更に、遷移先の状態に対して、入力装置1
から次の事象のデータを入力すると、この遷移先の状態
および次に入力された事象のデータから、処理マトリク
ス3の要素のデータを検索し、該当する次の処理3c遷移
先状態3dを求められる。このように、入力装置1を用い
て会話形式により、順次に事象の入力を行い、状態の遷
移を求めて、制御シーケンスを求める。求めた結果のデ
ータ伝送制御シーケンスは、シーケンス図として、CRT
出力装置5または印字出力装置6から出力する。
When the processing matrix 3 in which the communication protocol specifications are described is completed, the data transmission control sequence diagram creation processing unit 4 is started from the input device 1 to create a data transmission control sequence diagram. When the data transmission control sequence diagram creation processing unit 4 is started, the data transmission control sequence diagram creation processing unit 4 inputs the processing matrix 3 in which the communication protocol specifications are described, and inputs the initial state and the event input from the input device 1. The data of the element of the processing matrix 3 is searched from the data of the above, and the corresponding processing 3c and the transition destination state 3d can be obtained. In addition, the input device 1
When the data of the next event is input from, the data of the element of the processing matrix 3 is searched from the state of this transition destination and the data of the next input event, and the corresponding next processing 3c transition destination state 3d is obtained. . As described above, events are sequentially input in a conversational manner using the input device 1, and a state transition is obtained to obtain a control sequence. The data transmission control sequence of the obtained result is a CRT as a sequence diagram.
Output from the output device 5 or the print output device 6.

このように、処理表(処理マトリクス)形式の仕様記
述言語で表現された通信プロトコル仕様を入力とし、入
力装置1による会話型式によりデータ伝送制御シーケン
ス図を出力する。
As described above, the communication protocol specification expressed in the processing table (processing matrix) specification description language is input, and the input device 1 outputs a data transmission control sequence diagram in an interactive type.

第2a図および第2b図は、処理マトリクスからデータ伝
送制御シーケンス図が作成される具体例を示す図であ
る。第2a図は、処理マトリクスの一例を示している。こ
の処理マトリクス23は、状態S1,状態S2の2つの状態23a
があり、また、事象E1,事象E2の2つの事象23bがある要
素が4個のマトリクスである。マトリクスの要素には、
それぞれに処理の内容(T1,T2,T3,T4)と遷移先の状態
(S2,S1,S2,S1)が規定されている。
2a and 2b are diagrams showing a specific example in which a data transmission control sequence diagram is created from a processing matrix. FIG. 2a shows an example of a processing matrix. This processing matrix 23 includes two states 23a of state S1 and state S2.
And a matrix having four elements 23b of event E1 and event E2. The elements of the matrix include
The contents of the processing (T1, T2, T3, T4) and the state of the transition destination (S2, S1, S2, S1) are specified for each.

このような処理マトリクス23に対して、データ伝送制
御シーケンス図の作成処理を行うと、各々の状態の遷移
から、入力される事象に応じて、第2b図に示されるよう
なデータ伝送制御シーケンス図が作成される。
When a process for creating a data transmission control sequence diagram is performed on such a processing matrix 23, a data transmission control sequence diagram as shown in FIG. Is created.

すなわち、まず、初期状態を処理マトリクス23の状態
23aの中から選択する。選択は入力装置1により行な
う。次に事象を処理マトリクス23の事象23bの中から選
択する。例えば、自局の状態S1に対して相手局からの受
信データの事象E1が選択されると、この状態と事象のデ
ータにより処理マトリクス23を解析する。この結果、自
局で行なうべき処理内容23cはT1であり、次に遷移する
遷移先状態23dは状態S2と決定される。これらのS1,E1,T
1,S2の表示データをデータ伝送制御シーケンス図におけ
る自局状態10,自局処理11,および相手局事象12の欄にそ
れぞれ表示する。次に、自局状態S2に対して、同様にし
て、相手局事象E2を入力し、これに対する自局処理T4,
遷移先状態S1決定される。これを同様にして、データ伝
送制御シーケンス図上の該当欄に表示する。このような
通信プロトコルを仕様の処理マトリクスの解析による制
御シーケンスを求めて表示する処理を順次に行って、デ
ータ伝送制御シーケンス図を完成させる。第2b図は、こ
のようにして作成されるデータ伝送制御シーケンス図の
一例を示している。
That is, first, the initial state is changed to the state of the processing matrix 23.
Choose from 23a. The selection is made by the input device 1. Next, an event is selected from the events 23b of the processing matrix 23. For example, when the event E1 of the data received from the partner station is selected for the state S1 of the own station, the processing matrix 23 is analyzed based on the data of the state and the event. As a result, the processing content 23c to be performed by the own station is T1, and the next transition destination state 23d to be transited is determined to be the state S2. These S1, E1, T
The display data of S1 and S2 are displayed in the own station state 10, own station processing 11, and partner station event 12 columns in the data transmission control sequence diagram. Next, similarly to the own station state S2, the partner station event E2 is input, and the own station processing T4,
The transition destination state S1 is determined. This is similarly displayed in the corresponding column on the data transmission control sequence diagram. Processing for obtaining and displaying a control sequence based on the analysis of the processing matrix of the specifications is sequentially performed on such a communication protocol to complete a data transmission control sequence diagram. FIG. 2b shows an example of a data transmission control sequence diagram created in this way.

第3a図,第3b図,および第3c図は、通信プロトコル仕
様が処理マトリクスで表現されたとき、処理マトリクス
の内容をプログラムで処理できるようにレコード形式に
変換したファイル構造の一例を示す図である。ここで
は、処理マトリクスの内容が、そのままプログラム処理
されるように、ファイルとして、マトリクスファイル31
と、インデクスファイル32と、タスクファイル33が作成
される。第3a図に示すマトリクスファイル31は、処理マ
トリクスを管理するファイルであり、管理すべき処理マ
トリクスに対応するマトリクスレコード31aから構成さ
れている。マトリクスレコード31aには、各処理マトリ
クスを識別するためのマトリクス識別番号31b,マトリク
スの名称を表わすマトリクス名称31c,マトリクスの行列
数を示す状態の数31d,および事象の数31eから構成され
ている。
FIGS. 3a, 3b, and 3c are diagrams showing an example of a file structure in which, when a communication protocol specification is represented by a processing matrix, the contents of the processing matrix are converted into a record format so that the program can process the contents. is there. Here, a matrix file 31 is used as a file so that the contents of the processing matrix can be program-processed as is.
Then, an index file 32 and a task file 33 are created. The matrix file 31 shown in FIG. 3a is a file for managing a processing matrix, and includes a matrix record 31a corresponding to the processing matrix to be managed. The matrix record 31a includes a matrix identification number 31b for identifying each processing matrix, a matrix name 31c representing the name of the matrix, a number 31d of states indicating the number of matrixes of the matrix, and a number 31e of events.

第3b図に示すインデクスファイル32は、各処理マトリ
クスの行列の要素を管理するファイルであり、状態レコ
ード32aおよび事象レコード32bの組の複数組から構成さ
れる。状態レコード32aは、状態を識別するための状態
識別番号32cと状態の名称を表わす状態の名称32dから構
成され、また、事象レコード32bは、事象を識別するた
めの事象識別番号32eと事象の名称を表わす事象の名称3
2fから構成される。
The index file 32 shown in FIG. 3b is a file for managing the elements of the matrix of each processing matrix, and is composed of a plurality of sets of status records 32a and event records 32b. The state record 32a is composed of a state identification number 32c for identifying the state and a state name 32d indicating the name of the state, and the event record 32b includes an event identification number 32e for identifying the event and a name of the event. Event name 3
2f.

また、第3c図に示すタスクファイル33は処理マトリク
スの各要素の処理内容を管理するファイルであり、複数
の処理レコード33aより構成される。処理レコード33a
は、状態識別番号33bおよび事象識別番号33cをもつ。こ
れらはそれぞれ状態レコード32aの状態識別番号32cと事
象レコード32bの事象識別番号32eに対応している。ま
た、処理レコード33aには、更に処理の名称を表わす処
理の名称33dおよび処理を行った後に遷移すべき状態を
示す遷移先状態の識別番号33eを含んでいる。この遷移
先状態の識別番号33eは、インデクスファイル32の状態
レコード32aが有する状態識別番号32cのいずれかと対応
する。
The task file 33 shown in FIG. 3c is a file for managing the processing contents of each element of the processing matrix, and is composed of a plurality of processing records 33a. Processing record 33a
Has a state identification number 33b and an event identification number 33c. These correspond to the status identification number 32c of the status record 32a and the event identification number 32e of the event record 32b, respectively. Further, the process record 33a further includes a process name 33d indicating a process name and a transition destination state identification number 33e indicating a state to which a transition should be performed after the process is performed. The identification number 33e of the transition destination state corresponds to one of the state identification numbers 32c included in the state record 32a of the index file 32.

処理マトリクスから伝送制御シーケンスが解析される
場合、処理マトリクスに対応して設けられているマトリ
クスファイル31,インデクスファイル32,およびタスクフ
ァイル33が利用されて、通信プロトコル仕様の伝送制御
シーケンスが解析される。
When the transmission control sequence is analyzed from the processing matrix, the transmission control sequence of the communication protocol specification is analyzed by using the matrix file 31, the index file 32, and the task file 33 provided corresponding to the processing matrix. .

第4図は、処理マトリクスに対応するファイルの解析
を行い、データ伝送制御シーケンス図を作成する処理の
処理フローを示すフローチャートである。
FIG. 4 is a flowchart showing a processing flow of processing for analyzing a file corresponding to a processing matrix and creating a data transmission control sequence diagram.

第4図を参照して説明する。シーケンス図作成処理で
は、まず、ステップ40において、入力装置からマトリク
ス名称を読み込むと、次に、ステップ41において、マト
リクスファイルに一致するマトリクス名称のマトリクス
レコードがあるか否かを判定する。一致するマトリクス
名称のマトリクスレコードが無ければ、ステップ42に進
み、再入力を要求して、ステップ40に戻る。また、一致
するマトリクス名称のマトリクスレコードがあれば、ス
テップ43に進み、入力装置から初期の状態名称と事象名
称を読み込む。次に、ステップ44に進み、インデクスフ
ァイルに、状態名称および事象名称と一致する状態レコ
ードおよび事象レコードが有るか否かを判定する。一致
する状態レコードおよび事象レコードが無ければ、ステ
ップ45に進んで、再入力を要求して、ステップ43に戻
る。また、一致する状態レコードおよび事象レコードが
あれば、ステップ46に進み、状態識別番号および事象識
別番号に対応する処理レコードをタスクファイルから読
み込む。次に、ステップ47において、状態名称,事象名
称,処理名称,および遷移先状態の識別番号に対応する
状態レコードの状態名称を出力して、出力装置におい
て、データ伝送制御シーケンス図を作成する。そして、
ステップ48において、入力装置から次の事象名称が入力
されるのを待つ処理を行い、次のステップ49において、
入力された内容が終了要求であるか否かを判定し、終了
要求でなければ、ステップ44に戻って、ステップ44から
の処理を行い、また、終了要求であれば、一連の処理を
終了する。
This will be described with reference to FIG. In the sequence diagram creation process, first, in step 40, a matrix name is read from the input device. Next, in step 41, it is determined whether or not there is a matrix record having a matching matrix name in the matrix file. If there is no matrix record with a matching matrix name, the process proceeds to step 42, requesting re-input, and returning to step 40. If there is a matrix record with a matching matrix name, the process proceeds to step 43, where the initial state name and event name are read from the input device. Then, the process proceeds to a step 44, wherein it is determined whether or not the index file has a state record and an event record that match the state name and the event name. If there is no matching state record and event record, the process proceeds to step 45, requesting re-input, and returning to step 43. If there is a matching state record and event record, the process proceeds to step 46, where a processing record corresponding to the state identification number and the event identification number is read from the task file. Next, in step 47, the state name, the event name, the processing name, and the state name of the state record corresponding to the identification number of the transition destination state are output, and the output device creates a data transmission control sequence diagram. And
In step 48, a process of waiting for the input of the next event name from the input device is performed, and in the next step 49,
It is determined whether or not the input content is an end request. If not, the process returns to step 44 to perform the processing from step 44. If the input request is an end request, a series of processes is ended. .

以上、説明したように、本実施例によれば、仕様を処
理マトリクス形式で記述できる仕様記述言語で表現され
た通信プロトコル仕様を入力とし、処理マトリクスを解
析し、会話形式により事象を入力して自動的にデータ伝
送制御シーケンス図を作成できるため、通信プロトコル
の検証に要する時間を短縮できる。
As described above, according to the present embodiment, according to the present embodiment, a communication protocol specification expressed in a specification description language capable of describing a specification in a processing matrix format is input, a processing matrix is analyzed, and an event is input in a conversation format. Since the data transmission control sequence diagram can be created automatically, the time required for verifying the communication protocol can be reduced.

以上、本発明を実施例にもとづき具体的に説明した
が、本発明は、前記実施例に限定されるものではなく、
その要旨を逸脱しない範囲において種々変更可能である
ことは言うまでもない。
As mentioned above, although the present invention was explained concretely based on an example, the present invention is not limited to the above-mentioned example.
It goes without saying that various changes can be made without departing from the scope of the invention.

〔発明の効果〕〔The invention's effect〕

以上、説明したように、本発明のデータ伝送制御シー
ケンス図作成方法によれば、仕様が処理マトリクス形式
で記述される仕様記述言語で表現された通信プロトコル
仕様を入力とし、人間との会話形式により各々の事象を
入力して自動的にデータ伝送に於ける制御シーケンス図
を作成できることになり、伝送制御シーケンスの例外ケ
ースの検出および確認が容易となる。また、全ケースの
制御シーケンス図の作成も容易に行えるため、通信プロ
トコルの検証に要する時間を短縮することができる。
As described above, according to the data transmission control sequence diagram creation method of the present invention, a communication protocol specification expressed in a specification description language in which specifications are described in a processing matrix format is input, and a communication format with a human is used. By inputting each event, a control sequence diagram in data transmission can be automatically created, and it becomes easy to detect and confirm an exceptional case of the transmission control sequence. In addition, since control sequence diagrams for all cases can be easily created, the time required for verifying the communication protocol can be reduced.

【図面の簡単な説明】[Brief description of the drawings]

第1図は、本発明の一実施例にかかるデータ伝送制御シ
ーケンス図作成方法の処理プロセスの概略を説明する処
理のブロック図、 第2a図および第2b図は、処理マトリクスからデータ伝送
制御シーケンス図が作成される具体例を示す図、 第3a図,第3b図,および第3c図は、通信プロトコル仕様
が処理マトリクスで表現されたとき、処理マトリクスの
内容をプログラムで処理できるようにレコード形式に変
換したファイル構造の一例を示す図、 第4図は、処理マトリクスに対応するファイルの解析を
行い、データ伝送制御シーケンス図を作成する処理の処
理フローを示すフローチャートである。 図中、1…入力装置、2…処理マトリクス作成処理部、
3,23…処理マトリクス、3a,23a…状態、3b,23b…事象、
3c,23c…処理(処理内容)、3d,23d…遷移先状態、4…
データ伝送制御シーケンス図作成処理部、5…CRT出力
装置、6…印字出力装置、31…マトリクスファイル、32
…インデックスファイル、33…タスクファイル。
FIG. 1 is a block diagram of a process for explaining an outline of a processing process of a data transmission control sequence diagram creating method according to an embodiment of the present invention. FIGS. 2a and 2b are data transmission control sequence diagrams from a processing matrix. Figures 3a, 3b, and 3c show a specific example of how the contents of the processing matrix can be processed by a program when the communication protocol specifications are expressed in a processing matrix. FIG. 4 is a flowchart showing an example of a converted file structure. FIG. 4 is a flowchart showing a processing flow of processing for analyzing a file corresponding to a processing matrix and creating a data transmission control sequence diagram. In the figure, 1 ... input device, 2 ... processing matrix creation processing unit,
3,23… processing matrix, 3a, 23a… state, 3b, 23b… event,
3c, 23c: Processing (processing contents), 3d, 23d: Transition destination state, 4:
Data transmission control sequence diagram creation processing unit, 5: CRT output device, 6: print output device, 31: matrix file, 32
... index file, 33 ... task file.

Claims (1)

(57)【特許請求の範囲】(57) [Claims] 【請求項1】計算機の状態と発生する事象の種類を行と
列とする行列の要素として、計算機が行う処理と次に遷
移する状態とを行列表現の表形式で記述する仕様記述言
語で、通信プロトコル仕様を表現したオンラインデータ
処理システムのデータ伝送制御シーケンス図の作成方法
であって、シーケンス図作成処理手段に、まず、仕様記
述言語で表現された通信プロトコル仕様を入力し、次
に、人間との会話形式により入力装置から初期の自局の
状態および相手局からの受信データを初期値として入力
して、通信プロトコル仕様を解析し、初期値から自局が
行う処理と相手局への送信データ、および次に遷移する
自局の状態を順次に決定し、出力装置にデータ伝送制御
シーケンス図として出力することを特徴とするデータ伝
送制御シーケンス図作成方法。
1. A specification description language which describes, in a matrix form, a process performed by a computer and a next transition state in a matrix form as elements of a matrix having a row and a column representing the state of the computer and the type of an event to occur. A method for creating a data transmission control sequence diagram of an online data processing system expressing a communication protocol specification, comprising: first, inputting a communication protocol specification expressed in a specification description language to a sequence diagram creation processing means; The initial state of the local station and the data received from the partner station are input as initial values from the input device in a conversation format with the input device, the communication protocol specifications are analyzed, the processing performed by the local station from the initial values, and transmission to the partner station. A data transmission control sequence diagram for sequentially determining data and a state of the own station to be changed next and outputting the data to an output device as a data transmission control sequence diagram Forming method.
JP1230877A 1989-09-05 1989-09-05 Data transmission control sequence diagram creation method Expired - Lifetime JP2854622B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP1230877A JP2854622B2 (en) 1989-09-05 1989-09-05 Data transmission control sequence diagram creation method

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP1230877A JP2854622B2 (en) 1989-09-05 1989-09-05 Data transmission control sequence diagram creation method

Publications (2)

Publication Number Publication Date
JPH0391855A JPH0391855A (en) 1991-04-17
JP2854622B2 true JP2854622B2 (en) 1999-02-03

Family

ID=16914709

Family Applications (1)

Application Number Title Priority Date Filing Date
JP1230877A Expired - Lifetime JP2854622B2 (en) 1989-09-05 1989-09-05 Data transmission control sequence diagram creation method

Country Status (1)

Country Link
JP (1) JP2854622B2 (en)

Also Published As

Publication number Publication date
JPH0391855A (en) 1991-04-17

Similar Documents

Publication Publication Date Title
US6279006B1 (en) Structured data management system and computer-readable recording medium storing structured data management program
US6484178B1 (en) Universal claims formatter
JPH06266521A (en) System and device for customizing user interface
JP2854622B2 (en) Data transmission control sequence diagram creation method
JP2002014845A (en) Method for automatically generating test script part and device for the same
US20230129280A1 (en) Computer readable storage medium, program creation support apparatus, and program creation support method
JP2007011728A (en) Device, method, and program for preparation of operating procedure of general-purpose computer
JPH0830448A (en) Program specification consistency inspecting device
JP2006277577A (en) Processor and processor system
JP2509936B2 (en) Output control device
JP2924778B2 (en) Communication module generation device and communication information file design device
JP2631778B2 (en) Computer program test equipment
JP2000222253A (en) Program scale information collecting method, its device and information recording medium
JP3942057B2 (en) Software development system and recording medium
JPH11288380A (en) Evaluation device for interface between software development tools, and storage medium recorded with program for evaluation
JP2974365B2 (en) Inter-process control device
CN115858391A (en) Standard conformance test platform architecture system
JPH03171229A (en) Numerical data processing system
JP2006277249A (en) Information processing system, information processor, information processing method and program
JPS6394325A (en) Help information management system
JPH0358146A (en) File exchange system between different kinds of computer systems
JP2001249713A (en) Method and device for registering order reception information and computer readable recording medium with program for executing registration of order reception information recorded
US20040172414A1 (en) CAD generation management system and computer-readable storage medium
JPH0916652A (en) Method and device for analyzing simulation result of circuit
JPH0520051A (en) Software conversion operation controller

Legal Events

Date Code Title Description
R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

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

Free format text: PAYMENT UNTIL: 20091120

Year of fee payment: 11

EXPY Cancellation because of completion of term
FPAY Renewal fee payment (event date is renewal date of database)

Free format text: PAYMENT UNTIL: 20091120

Year of fee payment: 11