JPS6149236A - 内部状態遷移図自動生成処理方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 本発明は、例えば電子交換機システムにおける交換サー
ビス仕様を規定する状態Ｍ移図から、呼処理プログラム
を自動生成するにあたって、外部の状態遷移図をシステ
ム内部の状態遷移図に変換する状態遷移図処理システム
における内部状態遷移図自動生成処理方式であって、内
部プロセスを少なくとも２つの同期するプロセスに分割
し、予め定められた一方の内部プロセスに関する状態遷
移図に基づいて、他方の内部プロセスに関する状態遷移
図を自動生成する内部状態遷移図自動生成処理方式に関
するものである。

〔従来の技術と問題点〕

例えば電子交換機システムの構築にあたって、端末に対
する人間の操作を表すオペレーション（ｏｐｅｒａｔｉ
ｏｎ）と、それに続く状態を表すステート　（ｓ　ｔａ
　ｔｅ）等からなる状態遷移図によって、交換サービス
の仕様を記述することが行われている。そして、この状
ｆＧａ移図に基づいて、自動プログラミングを行うこと
が考慮されている。

このような状Ｂ遷移図を入力し処理する装置においては
、交換サービス設計者が、例えばディスプレイ装置やキ
ーボードを備えた端末装置から、逐次、状態遷移図の各
要素情報を入力し、ディスプレイ画面上で状態遷移の確
認等を行いつつ作業を進めるようになっている。

ところで上記の如き交換サービスに関する状態遷移図に
は、加入者端末とそのオペレータ操作とに関連するマン
マシンインタフェイスの状態遷移を表す外部状態遷移図
と、システム内部における状態遷移を表すいわゆる内部
状態遷移図とがある。

交換サービスを設計するにあたっては、上記外部状態４
移図に基づいて設計するほうが、直接的に内部状態遷移
図に展開して設計するよりも設計が容易であり、よいサ
ービス設計が可能である。しかし、状態遷移図に基づい
て自動プログラミングを行うためには、システム内部の
状態を規定することが必要であるから、外部状態遷移図
を入力した場合、それを内部状態遷移図に変換する必要
かある。

従来、このような外部状態遷移図を内部状態遷移図に変
換する適切な手段は存在せず、従って、人間が内部状態
遷移図を予め定められた内部プロセスの機能を意識して
生成しなければならなかった。一般に内部プロセスの状
Ｂ遷移図には、状態遷移の条件が予め定まっている内部
プロセスに関するものと、状態遷移の条件が未知である
可変な内部プロセスに関するものとがある。この可変な
内部プロセスに関する状態遷移図を、外部状態遷移図等
に基づいて自動生成できれは、開発工程の短縮や開発さ
れるシステムの信頼性向上の点で極めて有用である。

〔問題点を解決するための手段〕

本発明は上記問題点の解決を図り、端末と端末利用者と
のインタラクションを主体に記述した外部仕様に関して
、それを実現する内部仕様として、既存の固定内部状態
遷移図と可変の内部状態遷移図とに分割し、後者の可変
内部状態遷移図を自動生成する方式を提供する。即ち、
本発明の内部状態遷移図臼ｖＪ生成処理方式は、装置の
状態を表す情報とその状態を遷移させる要因となる情報
とを含む状態遷移図を入力し処理する状態遷移図処理シ
ステムにおける内部状態遷移図自動生成処理方式であっ
て、マンマシンインタフェイスにおけるオペレータとシ
ステムとのインタラクションによる状態遷移に関する情
報を入力する外部状態遷移情報入力手段と、内部プロセ
スとしてマンマシンインタフェイスを制御するプロセス
に関して予め定められた状態遷移図に関する情報を記憶
する既存内部状態遷移図記憶手段と、上記外部状態遷移
情報入力手段によって入力した状態遷移に関する情報と
上記既存内部状態遷移図記憶手段が記憶する状態遷移図
の情報とを対比し上記内部プロセスの状態を遷移させる
未定の要因に着目して、上記内部プロセスを制御する第
２の内部プロセスに関して上記着目した未定の要因を入
出力する内部状態遷移図を生成する可変内部状態遷移図
生成手段とを備えたことを特徴としている。以下、図面
を参照しつつ説明する。

〔作用〕

本発明は、既存の内部プロセスに外部仕様として定めら
れたオペレータからの入力を与え、いわゆる前向き推論
により、可変内部プロセスに関する入力遷移を生成し、
オペレータへの出力から既存の内部プロセスの状態を推
定し、後向き推論により可変内部プロセスの出力遷移を
生成するので、目的とするシステムの構築を容易にでき
る。

〔実施例〕

第１図は本発明の一実施例ブロック図、第２図は本発明
の一実施例を説明するための状態遷移図の例、第３図は
状態を管理する内部データの構成例、第４図は第２図に
示す状態遷移図に対応する内部データの例、第５図は第
１図図示実施例の処理説明図、第６図は可変内部状態遷
移図を生成する処理の説明図、第７図は本発明の詳細な
説明するための交換システムの構成例、第８図は本発明
の詳細な説明するための状態遷移図の例、第９図は第８
図に示す状態遷移図に対応する内部データの例を示す。

第１図は本発明の一実施例である状態遷移図処理システ
ムの例であって、図中の符号１は外部仕様の状態遷移に
関する情報を例えばコマンド形式で入力するキーボード
、２はキーボード１から人力されたコマンドを解析する
コマンド解析部、３はコマンド解析部２による解析結果
に従って状態遷移図のグラフィック処理を実行するグラ
フィック処理部、４は状態遷移図に関する情報をグラフ
ィック表示するディスプレイ、５はグラフインク表示さ
れた状態遷移図を内部データに変換するグラフィック／
内部データ変換部、６は外部仕様による状態遷移図の内
部データを記憶する入力状態ブロック記４２部、７は可
変内部状態遷移図を生成する処理を実行する可変内部状
態遷移図生成部、８は予め定められた内部プロセスに関
する状態遷移図に関する情報を記憶する既存内部状態遷
移図記憶部、９は可変内部状態遷移図生成部７によって
生成された状態遷移図に関する内部データを記憶する可
変内部状態ブロック記憶部、１０は可変内部状態ブロッ
ク記憶部９が記憶する内部データをグラフィック表示デ
ータに変換しグラフインク処理部３に通知する内部デー
タ／グラフィック変換部を表す。

本発明は、例えば第２図にＰｌとして示すような外部仕
様の状態遷移図を、キーボード１から入力し、予め既存
内部状Ｂ遷移図記憶部８に記憶している第２図にＰ２と
して示すような状態遷移図の内部データに基づいて、第
２図にＰ３として示すような内部プロセスに関する可変
部分の状態遷移図を生成するものである。第５図および
第６図は、このときの第１図図示実施例による処理内容
をフローチャートの形式で示したものである。

第２図において、ＰｌないしＰ３ばプロセスに関する状
態遷移図を表し、ＳＩＯないしＳ３２は各静的または定
常的な状態を示すステートを表す。

また、各ステートを結ぶ矢印は状態を遷移させる要因に
よってステートが変化することを示し、Ａ１ないしＡ４
およびＸｌないしＸ３は状態を遷移させる要因となる入
出力情報を表している。そして、これらの入出力情報の
うち、「＋」の符号が付されたものは、入力であること
を示し、「−」の符号が付されたものは、出力であるこ
とを示している。例えばＰｌにおいて、ステートｓｉｏ
は、ＡＩの入力があるとステートＳ１１に遷移すること
を示している。

マンマシンインタフェイスにおいて、端末からみた入力
は、内部プロセスに対しては出力となる。

また、端末からみた出力は内部プロセスに対しては入力
となる。Ｐ　１’は、そのためＰ２との関係か゛ら、Ｐ
ｌにおける入出力の符号を反転させたものである。

コマンド解析部２は、キーボード１から例えばＰｌに関
する情報をコマンドで受は取ると、それを解析し、解析
結果をグラフインク処理部３に通知する。グラフィック
処理部３は、Ｐｌをディスプレイ４に表示する。グラフ
ィック／内部データ変換部５は、Ｐｌの入出力を逆転さ
せたＰ　１’について、内部データに変換し、入力状態
ブロック記憶部６に格納する。この内部データは、例え
ば第３図に示すような状態ブロック２０をリスティング
したデータ形式を持つ。即ち、状態ブロック２０は、各
ステートの識別番号である状態番号情報と、そのステー
トが入出力可能な信号情報と、その各信号情報に対応し
て、遷移すべぎ次の状態ブロックのアドレス情報を保持
する。

グラフィック／内部データ変換部５は、第２図図示Ｐ　
１’の状態遷移図に関する情報を、第４図（イ）に示す
状態ブロック２０−１ないし２０−３の形式で入力状態
ブロック記憶部６に格納するこ゛ととなる。

一方、既存内部状態遷移図記憶部８には、既存の内部プ
ロセスに関する状態遷移図Ｐ２のデータが、第４図（ロ
）に示す形式で予め記憶されている。可変内部状態遷移
図生成部７は、入力状態ブロック記憶部６に格納された
Ｐ　１’の内部データと、既存内部状態遷移図記憶部８
に記憶されているＰ２の内部データとから、次のように
未知である第４図（ハ）図示の如きＰ３の内部データを
生成する。

第６図に示すように、まずＰＩ’、Ｐ２．Ｐ３をそれぞ
れ初１す１状態のステートＳＩＯ，Ｓ２０．Ｓ３０に設
定する。そして、Ｐ　１’のステートＳ１０に信号の送
信または受信のいずれがあるかを判定する。この場合に
は、信号ｒ−Ａ　Ｉ　Ｊの符号がマイナスであることか
ら、「Ａ１」の送信があることになり、Ｐ　１’を次の
ステートＳｌｌに送信遷移させると共に、Ｐ２を信号「
Ａ１」によりステートＳ２１に受信遷移させる。

ステートＳ２１では、状態ブロック２０−５をみると、
Ｐ３に信号「Ｘｌ」を送信することになっているので、
次にＰ２を信号ｒＸＩＪによってステートｓ２２に送信
させ、Ｐ３について、状態ブロック２０−１２を確保し
、ステートＳ３０から信号「Ｘｌ」によってステー１−
３３１に受信遷移させる情報を設定する。

次にＰ　１’のステー１−３ｌｌについて、同様に処理
を繰り返す。ステー１−５ｌｌでは、信号ｒＡ２」の受
信があるので、Ｐ２の中から信号「Ａ２」の送信を探す
。この例では、第４図に示す状態ブロック２０−７が見
つかることになる。その経路をみると、状態ブロック２
０−６において、Ｐ３からの信号「×２」の受信が必要
となる。従って、Ｐ３の状態ブロック２０−１２に信号
「Ｘ２」の送信情報を設定し、新たなステートＳ３２に
送信遷移させる。Ｐ　１’は信号「Ａ２」により、ステ
ートＳ１２に受信遷移させる。

次のステートＳ１２では、信号「Ａ３」の送信があるの
で、Ｐ　１’をステートＳＩＯに送信遷移させ、Ｐ２を
ステー１−３２６に遷移させる。ステートＳ２６では、
Ｐ３に信号「Ｘ３」を送信し、初期状態に戻るので、Ｐ
３のステートＳ３２を信号「Ｘ３」によって初期状態の
ステー１−３３０に受信遷移させる。ここで、ＰＩ’、
Ｐ２．Ｐ３が初期状態になるので処理が終了し、結果と
して第４図（ハ）図示のようなＰ３の状態遷移図に関す
る内部データが得られることになる。

可変内部状態遷移図生成部７は、この生成された内部デ
ータを可変内部状態ブロック記憶部９に格納し、可変内
部状態ブロック記憶部９は、このデータを状態遷移図の
グラフィック情報に変換して、グラフィック処理部３に
通知する。グラフィック処理部３は、第２図に示すＰ３
の状態遷移図をディスプレイ４に表示する。

以上の全体の処理概要は、第５図に示しており、同図に
示すように、必要に応じてオペレータへの確認を行い、
結果がよければ得られた状態遷移図に関する情報を例え
ば磁気ディスク装置等の外部記憶にセーブする。この状
態遷移図は、後に内部プロセスの自動プログラミング等
に利用されることになる。

本発明は、例えば第７図に示すような交換システムの設
計に適用できる。図中、３０−１ないし３０−３は加入
者端末、３１−１ないし３１−３は加入者端末からの送
受信の信号を制御するライン回路、３２はライン回路を
制御するラインプロセッサ（ＬＰＲ）　、３３は各ライ
ンの通信路を形成するネットワーク、３４はネ・７トワ
ーク３３を制御すると共にラインプロセッサ３２への制
御信号を送出するコールプロセッサ（ＣＰ　Ｒ）を表す
。

交換サービス仕様を設計する場合、加入者端末３０−１
等とのマンマシンインタフェイスによるいわゆる外部仕
様を定める必要がある。一方、例えばラインプロセッサ
３２の入出力に関する機能仕様が既に規定されており、
この内部プロセスの状態遷移図の情報が予め用意されて
いたとすると、その状態遷移図に従って、上記外部仕様
を満足するコールプロセッサ３４の状態遷移図を既存の
内部プロセスに矛盾しないように生成することが望まれ
る。

例えば、マンマシンインタフェイスに基づく状態遷移図
が、第８図図示Ｐ　１’であったとする。この例は、Ｓ
ＩＯの初期状態で電話のオフフックがあると、ステート
Ｓｌｌに遷移し、ダイヤルトーン（ＤＴ）を発する。そ
してステートＳ１２でダイヤル故字の人力が可能な状態
になることを示している。この状８遷移図は、第９図（
イ）にＰ１′として示す状態ブロック２０．ａ〜２０ｃ
のデータとして記憶される。ラインプロセッサ３２の状
態遷移図が、第１図図示実施のように定められていたと
すると、そのデータは、外部記憶から主記憶上にロード
されたとき、第９図（ロ）図示のような状態ブロック２
０ｄ〜２０ｉとなる。

順次、Ｐ１′の初期ステー１−３ＩＯから第６図に示す
ような状態遷移の処理を実行していくと、ステートＳ２
１における「発呼」信号がコールプロセッサ３４に送出
されていることから、Ｐ３の初期ステートＳ３０では「
発呼」信号の受信があることがわかる。また、Ｐ２がス
テートＳ２３に遷羊多するためには、ステートＳ２２お
いてｒＤＴ接続」の受信信号を必要とすることから、ス
テート５３１でばｒＤＴ接続」信号を出力しなければな
らないことがわかる。さらに、Ｐ２がステートＳ２５に
迩１多するためには、ステートＳ２４おいてニー数少オ
ーダ」の受信信号を必要とすることから、ステートＳ３
２では「数少オーダ」信号を出力しなければならないこ
とがわかる。

以上のような解析結果によって、第９図（ハ）図示のよ
うなコールプロセッサ３４の状態遷移図に関する状態ブ
ロック２０３〜２０１が自動生成されることになる。Ｐ
３の状態遷移図をいわゆるＳＤＬ　（Ｓｐｅｃｉｆｉｃ
ａｔｉｏｎ　　Ｄｅｓｃｒｉｐｔｉｏｎ　　Ｌａｎｇｕ
ａｇｅ　）により表すと、第８図にＰ４として示すよう
なものとなる。ディスプレイ４には、Ｐ３の状態遷移図
を、このＰ４の形で表示されるようにしてもよい。

〔発明の効果〕

以上説明した如く、本発明によれば、メツセージ伝播に
よる後向き推論によって、内部プロセスの可変部分につ
いての状態遷移図を自動生成できることとなり、これを
既存部分のものと徂合わせて、目的とするシステムを容
易に構築できるようになる。また、既存部分との矛盾が
生じることはなく、信顛性の高い内部状態遷移図を生成
することが可能となる。

【図面の簡単な説明】

第１図は本発明の一実施例ブロック図、第２図は本発明
の一実施例を説明するための状態遷移図の例、第３図は
状態を管理する内部データの構成例、第４図は第２図に
示す状態遷移図に対応する内部データの例、第５図は第
１図図示実施例の処理説明図、第６図は可変内部状態遷
移図を生成する処理の説明図、第７図は本発明の詳細な
説明するための交換システムの構成例、第８図は本発明
の詳細な説明するための状態遷移図の例、第９図は第８
図に示す状態遷移図に対応する内部データの例を示す。 図中、１はキーボード、５はグラフィック／内部データ
変換部、６は入力状態ブロック記憶部、７は可変内部状
態遷移図生成部、８は既存内部状態遷移図記、ｂＴ部、
９は可変内部状態ブロック記憶部、１０は内部データ／
グラフィック変換部を表す。 特許出願人　　　冨士通株式会社 代理人弁理士　　森１）寛（外１名） 第　６　区 第　９ｃ２１

Claims (1)

【特許請求の範囲】
1. 装置の状態を表す情報とその状態を遷移させる要因とな
   る情報とを含む状態遷移図を入力し処理する状態遷移図
   処理システムにおける内部状態遷移図自動生成処理方式
   であって、マンマシンインタフェイスにおけるオペレー
   タとシステムとのインタラクションによる状態遷移に関
   する情報を入力する外部状態遷移情報入力手段と、内部
   プロセスとしてマンマシンインタフェイスを制御するプ
   ロセスに関して予め定められた状態遷移図に関する情報
   を記憶する既存内部状態遷移図記憶手段と、上記外部状
   態遷移情報入力手段によって入力した状態遷移に関する
   情報と上記既存内部状態遷移図記憶手段が記憶する状態
   遷移図の情報とを対比し上記内部プロセスの状態を遷移
   させる未定の要因に着目して、上記内部プロセスを制御
   する第２の内部プロセスに関して上記着目した未定の要
   因を入出力する内部状態遷移図を生成する可変内部状態
   遷移図生成手段とを備えたことを特徴とする内部状態遷
   移図自動生成処理方式。