JP2001075817A

JP2001075817A - 仕様の自動生成方法

Info

Publication number: JP2001075817A
Application number: JP2000245755A
Authority: JP
Inventors: Laurent Rioux; ロラン・リユ; Christian Jacolot; クリスチヤン・ジヤコロ
Original assignee: Alcatel CIT SA; Alcatel SA
Current assignee: Alcatel CIT SA; Alcatel Lucent SAS
Priority date: 1999-08-16
Filing date: 2000-08-14
Publication date: 2001-03-23
Also published as: FR2798483B1; EP1077406A1; AU5191400A; FR2798483A1; CA2314521A1; US6711735B1

Abstract

(57)【要約】【課題】既存の仕様および記述を再利用可能にすると
ともに、既存のアプリケーションを進化させるために、
ＳＤＬ言語で書かれた仕様をＵＭＬ−ＲＴ言語で書かれ
た仕様に翻訳する自動翻訳方法を安価で提供する。【解決手段】ＳＤＬ言語による仕様を含むファイルを
分析し、ＵＭＬ−ＲＴ言語の対応する同等のキーワード
に変換するのに有効なキーワードおよびキーワード群を
見つけ出し、ＳＤＬ言語のシステム、ブロック、プロセ
スおよびサービスに対応するキー概念を、ＵＭＬ−ＲＴ
言語のカプセルに対応するキー概念と置換し、ＳＤＬ言
語のチャンネルおよび信号経路に対応するキー概念を、
ＵＭＬ−ＲＴ言語の接続およびポートに対応するキー概
念と置換し、ＳＤＬ言語の信号に対応するキー概念を、
ＵＭＬ−ＲＴ言語の信号に対応するキー概念と置換す
る。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は、仕様（ｓｐｅｃｉ
ｆｉｃａｔｉｏｎ）の自動生成方法を目的とする。本発
明の分野は、プロトコルおよびデータ処理方法の記述ま
たは仕様の分野である。この分野は、高レベル言語また
は第四世代の言語という名称で既知である。これらの言
語の特徴は、問題を分析できると同時に解決できること
にある。本発明の目的は、これらの言語のうちの古くな
った言語で書かれた仕様を、最新の別の言語に対応する
仕様に翻訳することにある。この翻訳は、既存の仕様お
よび記述を再利用できるようにするために、安価かつ自
動的に行われる。

【０００２】

【従来の技術】従来技術では、ＳＤＬ（Ｓｐｅｃｉｆｉ
ｃａｔｉｏｎａｎｄＤｅｓｃｒｉｐｔｉｏｎＬａ
ｎｇｕａｇｅ）言語が既知である。ＳＤＬ言語は、記述
および仕様についての言語である。ＳＤＬ言語は、１９
８０年に形成された。また、ＩＴＵ（国際電気通信連
合）勧告Ｚ．１００により規定されている。従って、も
ともとＳＤＬ言語は、通信分野のために構成されたもの
である。そのため、この分野には特に適合しているが、
航空機、鉄道管理または医療分野のような他の分野でこ
れを使用したい場合には、幾つかの問題が出てくる。

【０００３】ＳＤＬ言語は、問題を複数レベルで分析す
ることに基づいている。最初に、問題は、最も高いレベ
ルである一般レベルにおけるシステムとして考慮され
る。図１が、これを示している。システム１０１は、た
とえばブロック１０２、１０３のようなブロックを含
む。ブロック１０２は、チャンネル１０４によりシステ
ム１０１の外部と通信する。ブロック１０２、１０３
は、信号経路１０５により相互に通信する。

【０００４】ブロック１０２は、プロセス１０６および
プロセス１０７を含むことができる。プロセス１０６
は、１つまたは複数のサービス１０８と、１つまたは複
数の手順１０９とを含むことができる。サービスは、有
限の状態（ｅｔａｔｓｆｉｎｉｓ）に対する機構（ｍ
ａｃｈｉｎｅ）の形式で示される挙動を特徴とする。有
限の状態に対する機構は、状態と、状態間の遷移とを含
む。図１では、ブロック１０２および１０３は、同寸で
は示されていないが、階層における重要度は同じであ
る。プロセス１０６およびプロセス１０７についても同
様である。同じ理由で、システムに２つ以上のブロック
を備えても勿論かまわない。一般に、上位レベルの記述
の一エレメントに含まれるエレメント数は、非常に多様
である。従って、ＳＤＬの記述では、この記述の階層化
は、様々な概念によって表される。「概念」とは、シス
テム、プロセス、サービス、手順、信号経路およびチャ
ンネルと解釈しなければならない。こうした階層化は、
非常に実用的ではあるが、残念ながらまた、きわめて柔
軟性のないものである。さらに、このことは、同じくき
わめて柔軟性のないバックアップメモリへ記憶すること
によっても生じる。

【０００５】このような柔軟性の欠如により、いったん
仕様またはモデルを書き込むと、仕様またはモデルが変
化した場合にそれらを変更したり、そのエレメントの１
つを別の仕様またはモデル化で再利用することが大変難
しくなる。これは問題である。実際、２つのシステム
は、経時的に連続してはいるものの、非常に類似してお
り、同じくらいの開発期間を要することがある。このよ
うな言語で書き込まれた仕様では、エレメントを互いに
再利用することはできない。

【０００６】従来技術では、ＵＭＬ−ＲＴ（Ｕｎｉｆｉ
ｅｄＭｏｄｅｌｌｉｎｇＬａｎｇｕａｇｅｓｆｏ
ｒＲｅａｌＴｉｍｅ）言語もまた既知である。この
言語は、リアルタイムのアプリケーションにおけるモデ
ル化のために統一された言語である。この言語は、ＳＤ
Ｌ言語と同じ特徴を有するが、３つの概念しか扱わな
い。すなわち、カプセル、ポートおよびポート間の接続
である。各カプセルは、他のカプセル、または有限の状
態に対する機構を含みうる。その場合、モデルまたは仕
様は、ポートにより相互接続されるカプセルのネットワ
ークによって形成される。

【０００７】図２は、このために、ポート２０２および
ポート２０３を含むカプセル２０１を示している。カプ
セル２０１はまた、ポート２０２に接続される有限の状
態に対する機構２０４を含む。機構２０４は、遷移２０
７、２０８によって相互に変化する状態２０５、２０６
を発生する。カプセル２０１はまた、ポート２１０を備
えるカプセル２０９を含む。ポート２１０は、ポート２
０３に接続される。カプセル２０１は、ポート２０２、
２０３を介して、カプセル外部にあるものと通信する。
ＵＭＬ−ＲＴ言語の主な特徴は、カプセル２０１の内部
の挙動と外部との間の独立性にある。従って、ＵＭＬ−
ＲＴ言語は、他のアプリケーションのために容易に再利
用可能であるカプセルを使用することによって、アプリ
ケーションをモデル化できる。カプセルの内部は外部と
独立しているので、カプセルを変更することもまた容易
である。

【０００８】かくして、この２つの言語ＳＤＬおよびＵ
ＭＬ−ＲＴは、全く異なる問題のアプローチを採用す
る。ＳＤＬ言語は、非常に階層化されており、その階層
の中で固定されているが、ＵＭＬ−ＲＴ言語は、階層化
されてはいても、その利用および再利用において、カプ
セルが独立しているためにずっと柔軟である。

【０００９】

【発明が解決しようとする課題】本発明は、ＳＤＬから
ＵＭＬ−ＲＴの方向に、古い高級プログラミング言語を
別の最新言語に移行可能にすることにより、この言語の
二元性に関連する開発の問題を解決するものである。こ
のように働きかけることにより、システムの進化を簡略
化するとともに、互いに直接互換性があるようにする。
このため、本発明では、ＳＤＬ言語のアプリケーション
のモデルの記憶された表示を分析する。ＳＤＬ言語のキ
ーワードを探し、これをＵＭＬ−ＲＴ言語の同等のキー
ワードに代えるのである。次いで、ＳＤＬ言語のモデル
を構成する様々なエレメント間に存在する関係式を分析
し、これらを、しばしばもっと簡単な、ＵＭＬ言語の同
等の関係式に変換する。このような変換により、ＳＤＬ
言語で既に開発されたエレメントが再利用可能になり、
また一方では、もともとＳＤＬ言語で作成された既存の
アプリケーションを進化させることができる。

【００１０】

【課題を解決するための手段】従って、本発明は、ＳＤ
Ｌ言語で書かれた第１の仕様をＵＭＬ−ＲＴ言語で書か
れた第２の仕様に翻訳する自動翻訳方法であり、前記第
１の仕様が、仕様を生成すべきアプリケーションで記述
される細部レベルに応じて、システム、ブロック、プロ
セス、サービス、チャンネルおよびまたは信号経路とい
う概念を含む方法であって、 −ＳＤＬ言語のシステム、ブロック、プロセスおよびサ
ービスに対応するキー概念を、ＵＭＬ−ＲＴ言語のカプ
セルに対応するキー概念と置換し、 −ＳＤＬ言語のチャンネルおよび信号経路に対応するキ
ー概念を、ＵＭＬ−ＲＴ言語の接続およびポートに対応
するキー概念と置換し、 −ＳＤＬ言語の信号に対応するキー概念を、ＵＭＬ−Ｒ
Ｔ言語の信号に対応するキー概念と置換することを特徴
とする方法を目的とする。

【００１１】実際には、概念の置換は、単に、仕様に対
応するプログラムにおいて、一方の言語のキーワードを
他方の言語のキーワードに代えることによって行われ
る。古い言語で書かれた仕様から、最新の言語で書かれ
た仕様をきわめて速く生成できることが明らかになる。
このような生成により、既存のプログラムを簡単に更新
し、プログラムエレメントの考えられる再利用が可能に
なる。

【００１２】本発明は、以下の説明を読み、添付図を検
討すれば、いっそう明らかになるであろう。添付図は、
本発明を、少しも限定するものではなく、単に例として
示している。

【００１３】

【発明の実施の形態】図３ａは、ＳＤＬ言語の記述にお
ける高レベルの図を示す。これは、下方分析（ａｎａｌ
ｙｓｅｄｅｓｃｅｎｄａｎｔｅ）に関する。レベルを
下げれば下げるほど、記述するアプリケーションの細部
に近づく。図３ａは、システム３０１（Ｓ１）を示す。
システム３０１は、ブロック３０２（Ｂ１）とブロック
３０３（Ｂ２）を含む。例では、システム３０１は、３
つの入力信号Ｉ１、Ｉ２、Ｉ３を受けいれる。チャンネ
ル３０４は、システム３０１の外部からブロック３０２
に信号Ｉ１、Ｉ２を伝達する。チャンネル３０５は、シ
ステム３０１の外部からブロック３０３に信号Ｉ３を伝
達する。ＳＤＬ言語では、実際、システム外部からシス
テム内部へ、あるいはシステム内部からシステム外部
へ、信号が伝達されるとき、チャンネルという。

【００１４】チャンネル３０６は、ブロック３０２の出
力信号Ｏ１をシステム３０１の外部に伝達する。チャン
ネル３０７は、ブロック３０３の出力信号Ｏ２をシステ
ム３０１の外部に伝達する。さらに、信号経路３０８
は、ブロック３０３の内部信号ＩＩ１をブロック３０２
の方に伝達する。

【００１５】従って、ＳＤＬ言語では、信号は、チャン
ネルまたは信号経路により伝達され、それぞれが発信元
と宛先を有する。こうした発信元および宛先は、言語の
記述エレメントであり、すなわちシステム、ブロック、
プロセスまたは、その他の記述エレメントである。

【００１６】図３ａに対応する後述するプログラムの内
容は、メモリ６０２に保存される。メモリでは、プログ
ラムの内容が、ＳＤＬ言語に固有のキーワードを含むテ
キストまたは本文の形をとる。かくして、図３ａに対応
するプログラムは、複数行のテキストとしてメモリに保
存され、第１行目が、キーワード「システム」を含み、
その後に「：」およびシステム名「Ｓ１」が続く。次
に、プログラムは、システムの記述内容をカバーする表
記法または記号によって、第１行目に依存するシステム
を記述する複数の行を含む。例では、開いているか閉じ
ている中括弧が使用されている。選択されるキーワード
は、「含むもの」、「入力」および「出力」であるが、
これは単に例として挙げただけである。図３ａに関するメモリの内容は、このメモリ全体を記述
するには十分ではない。事実、それを読んでも、入力お
よび出力が関連するブロックについて述べることが出来
ない。これを知るには、システムＳ１に含まれるブロッ
クの記述を待たなければならない。これはＳＤＬ言語の
欠点の１つであり、というのも記述を構成するエレメン
トと、この記述の様々なレベルとの間には、高度な相関
関係があるからである。

【００１７】図３ｂは、ブロック３０２の内容の詳細を
示している。ブロック３０２は、プロセス３０９（Ｐ
１）およびプロセス３１０（Ｐ２）を示す。図３ｂはま
た、プロセスＰ１が、信号Ｉ１およびプロセスＰ２から
信号ＩＩ２を受信することを示している。プロセスＰ１
は、出力信号Ｏ１を出力する。一方で、プロセスＰ２
は、入力として信号Ｉ２およびＩＩ１を受信する。ブロ
ック３０２に対応するプログラムは、システムＳ１と同
様にメモリに含まれる。しかし、それは、ブロックに関
するものであって、システムに関するものではないか
ら、記述のためのキーワードが異なる。ブロックＢ１の
記述により、このブロックが含むものを知ることができ
るが、ブロック内部で信号が用いられる方法を知ること
はできない。これを知るには、内部ブロックの記述、た
とえばプロセスＰ１の記述を知らなければならない。

【００１８】図３ｃは、プロセスＰ１の細部を示してい
る。プロセスＰ１は、サービス３１１（Ｓｅｒ１）を含
む。図３ｃはまた、ブロックＰ１が、信号Ｉ１およびＩ
Ｉ２を入力として受信し、信号Ｏ１を出力として出力す
ることを示す。このプロセスが一個のサービスだけを含
む限りにおいて、プロセスＰ１の入力が、サービスＳｅ
ｒ１の入力であり、プロセスＰ１の出力が、サービスＳ
ｅｒ１の出力であることは明らかである。しかしなが
ら、これは例として挙げた単純なケースである。実際に
は、もちろん、複数のサービスを含むプロセスが存在す
る。ＳＤＬ言語において手順も存在するが、これらの手
順は、サービスと同様に処理される。サービスおよび手
順の挙動は、入力に応じて状態が変化する有限の状態に
対する機構が決定する。

【００１９】サービスＳｅｒ１の記述は、これを含む各
種エレメント、すなわちプロセスＰ１、ブロックＢ１お
よびシステムＳ１の記述に緊密に関係し、また、その影
響を受けることが分かる。エレクトロニクスから類推し
て、結合された接続を有するという意味で、これは、配
線されたシステムであるといえ、従って、変更が容易で
はない。

【００２０】図４ａは、図３ａと同様のシステムの記述
を示すが、ＵＭＬ−ＲＴ言語によるものである。図４ａ
は、カプセル４０１（ｃａｐｓＳ１）を含む。カプセル
４０１は、カプセル４０２（ｃａｐｓＢ１）とカプセル
４０３（ｃａｐｓＢ２）とを含む。カプセルは、平行六
面体（ｐａｒａｌｌｅｌｅｐｉｐｅｄｅ）の形状をして
いる。この平行六面体の側面は、ポートと称されるそれ
よりも小さい他の平行六面体を含むことができる。カプ
セル４０１は、ポートＰ１を含む。カプセル４０２は、
ポートＰ２、Ｐ３を含み、カプセル４０３は、ポート４
０６（Ｐ５）およびポート４０８（Ｐ４）を含む。この
図は、ＵＭＬ−ＲＴ言語のキーワードを含むテキストフ
ァイルとしてメモリに保存される。当該キーワードは、
ＳＤＬ言語で使用していたものとは異なる。ここでは、
本発明の説明および理解の便宜を図るために、特にカプ
セル内部の記述に対して、同様のキーワードを用いてい
る。図４ａに対応するメモリに保存される記述部分で
は、カプセルのキーワードが見られ、続いてカプセル
名、ここではｃａｐｓＳ１と、一例では、開いたり閉じ
たりしている中括弧の間に含まれるカプセルの内容の記
述とが続く。従って、カプセルｃａｐｓＳ１が、カプセ
ルｃａｐｓＢ１とカプセルｃａｐｓＢ２ならびにポート
Ｐ１を含むことが読みとれる。これは、次のように表せ
る。

【００２１】カプセルＰ１の記述は、このカプセルが含む複数のカプ
セルとこのカプセル自体との間に存在する関係を設定す
るのに十分ではない。しかしながら、この記述は、カプ
セルＰ１が含む複数のカプセルにも含まれない。様々な
カプセルに対応するポートをどのように接続するか知る
には、ＵＭＬ−ＲＴ言語によるアプリケーションを記述
するファイルの続きを待たねばならない。これにより、
複数カプセルの挙動、すなわちそれらの有用性と、これ
らのカプセルがアプリケーションの他のエレメントと通
信する方法とを区別できる。

【００２２】図４ｂは、カプセルｃａｐｓＢ１の内容を
示す。この図は、図３ｂと対比して見ることができる。
カプセル４０２は、プロセス４０９（ｃａｐｓＰ１）お
よびプロセス４１０（ｃａｐｓＰ２）を含む。カプセル
ｃａｐｓＢ１はまた、ポート４０５、４０７を含む。カ
プセル４０９は、ポート４１１（Ｐ６）、４１２（Ｐ
７）を含み、カプセル４１０は、ポート４１３（Ｐ８）
と４１４（Ｐ９）と４１５（Ｐ１０）を含む。

【００２３】全てのカプセルは、対応プログラムのテキ
ストにより、メモリで、同様に示される。

【００２４】図４ｃは、カプセル４０９の内容を示す。
カプセル４０９は、有限の状態に対する機構４１６（ｃ
ａｐｓＳｅｒ１）を含み、機構４１６の挙動は、図３ｃ
の有限の状態に対する機構３１１と同じである。だが、
２つの有限の状態に対する機構は、同じようには記述さ
れない。サービス４１６は、ポート４１７（Ｐ１１）、
４１８（Ｐ１２）を含む。

【００２５】メモリへのＵＭＬ−ＲＴ言語による記述に
おいて、カプセルの記述には、これらのカプセルに属す
る各種ポート間に存在する接続のリストが続く。かくし
て、カプセルを変更したり、あるいは別のアプリケーシ
ョンで使用したりすることが容易になる。実際、カプセ
ルの名称を知ると、カプセルが含む全てについての情
報、すなわちサブカプセルや、これらのカプセルおよび
サブカプセルに関連付けられた全てのポートの情報が得
られる。完全なカプセルを得るには、接続のリストにお
いて、カプセルに含まれるポートを利用する接続を読み
込むだけで十分である。

【００２６】図５は、ポートの原理を示す。図５は、ポ
ート５０２を含むカプセル５０１を示す。ポート５０２
は、２つの部分に分かれる。すなわち、カプセルの外側
部分５０３およびカプセルの内側部分５０４である。カ
プセルの挙動は、内側部分５０４に関連して決定され
る。反対に、カプセルの使用時には、カプセルは、外側
部分５０３から見られる。エレクトロニクスから類推し
て、これは、ＳＤＬの配線と対照的な接続に関する。

【００２７】図６は、メモリブロック６０１、マイクロ
プロセッサ６０３および通信の周辺装置６０４を含むコ
ンピュータ６００を示している。エレメント６０１、６
０３、６０４は、バス６０５により相互接続されてい
る。周辺装置６０４は、コンピュータを、スクリーン６
０６、キーボード６０７、およびマウス６０８に接続で
きる。

【００２８】メモリブロック６０１は、メモリ６０２を
含み、その内容は、ウィンドウ６０９におけるグラフィ
カル表示によりスクリーン６０６に示される。ウィンド
ウ６０９は、ＳＤＬ言語と、メモリ６０２に含まれる記
述とに対応するエレメントを含む。メモリ６０２は、メ
モリ６０１に含まれてマイクロプロセッサ６０３により
実行されるプログラムにより、ウィンドウ６０９に移行
される。ディスプレイに必要な情報は、バス６０５、次
いで周辺装置６０４によって伝達される。メモリブロッ
ク６０１はまた、ＵＭＬ−ＲＴ言語に対応するメモリ６
１０を含み、その内容は、ウィンドウ６１１において、
スクリーン６０６上に表示される。ブロック６０１のメ
モリ６１２に含まれる本発明によるプログラムは、メモ
リ６１０に、メモリ６０２の内容を写すことができる。

【００２９】本発明によれば、メモリ６１２のプログラ
ムは、マイクロプロセッサ６０３に、メモリ６０２に含
まれるプログラムテキストを読み込ませ、ＳＤＬ言語の
キーワードを探させる。キーワードを見つけると、これ
をＵＭＬ−ＲＴ言語の適切なキーワードに代える。次い
で、こうした置換の結果として生ずるプログラムテキス
トを、メモリ６１０に書き込む。実際には、「システ
ム」、「ブロック」、「プロセス」および「手順」とい
う語に対応するキーワードを見つけて、これを「カプセ
ル」というキーワードに置換する。しかし、言語の各種
の特徴的なエレメントの名称が、互いの表示において同
じである可能性も大いにある。

【００３０】次に、プログラム６１２は、このように形
成された各カプセルに対して必要なポート数を決定す
る。ポート数を決定するために、プログラムは、カプセ
ルが信号を受信するソースの数を決定する。各ソースに
１つのポートが対応する。かくして、例では、カプセル
４１０が、ポートＰ２から信号Ｉ２を、ポートＰ３から
信号ＩＩ１を受信し、カプセル４０９の方に信号ＩＩ２
を送信する。従って、カプセル４１０は、３つのポート
を有することになる。

【００３１】プログラム６１２が、メモリ６１０にメモ
リ６０２の内容を転写すると、メモリ６１０の内容をグ
ラフィカルモードで視覚化することができる既存のツー
ルにより、ウィンドウ６１１にメモリ６１０の内容をデ
ィスプレイすることができる。実際には、ＨＴＭＬ言語
は、グラフィカルインターフェースを介して直接プログ
ラムされる。すなわち、ファイル６１０は、キーボード
６０７およびマウス６０８を用いることにより、ウィン
ドウ６１１における、ユーザによる描写から自動的に生
成される。

【００３２】ＵＭＬ−ＲＴ言語の特徴により、ユーザ
は、適切な手段を用いて、メモリ６１０の内容を変更し
て進化させ、従って、当初はＳＤＬ言語で書かれたプロ
グラムを再利用または進化させることができるが、これ
は先験的に不可能であったものである。

【００３３】図７ａは、ＳＤＬ言語によるサービスの挙
動の記述を示している。これは、有限の状態に対する機
構の挙動を記述する図式に関する。図は、スタート状態
７０１を含む、様々なタイプの状態を含んでいる。スタ
ート状態７０１は、サービスが属するアプリケーション
によって、サービスが呼び出される際に着手される最初
の動作であることを指示するために、存在するだけであ
る。選択された例では、状態７０１に、正常状態７０２
が続く。状態７０２は、動作状態であり、すなわち、こ
の状態にあるときにサービスによって実行される操作に
対応する。ここでは、状態７０２は、アプリケーション
の正常動作に対応する。この図式は、ＳＤＬ言語に対応
するシンタックスと共にメモリ６０２に保存される。

【００３４】ＳＤＬサービスの挙動：スタート：正常状態状態：正常動作１：．．．動作Ｎ：．．．後続状態：「アラーム１なし」および「アラーム１」状態：アラーム１なし信号：アラーム条件：アラーム＝偽後続状態：システムＯＫ状態：システムＯＫ信号：ＲＡＳ値：真後続状態：正常状態：アラーム１信号：アラーム条件：アラーム＝真後続状態：分析状態：分析動作１：．．．動作Ｍ：．．．後続状態：「アラーム２」および「アラーム２なし」状態：アラーム２信号：アラーム条件：アラーム＝真後続状態：システムＫＯ状態：「アラーム２なし」信号：アラーム条件：アラーム＝偽後続状態：正常状態７０２には、「アラーム１なし」状態７０３および
「アラーム１」状態７０４が続く。この２つの状態は、
信号待ち状態である。ここでは、ＳＤＬ表示の欠点が分
かる。何故なら、状態７０２の出力では、サービスが２
つの状態にあるために、図式の理解の妨げとなるからで
ある。しかも、サービスの動作と、２つの状態間の単な
る変化または遷移とを混同する場合がある。

【００３５】状態７０３に続く状態７０５「システムＯ
Ｋ」は、システムが良好な状態にあることを示すメッセ
ージの送信状態である。選択された例では、サービス
が、任意のプロセスの動作を監視する。次いで、このメ
ッセージが送信されると、すなわち、「システムＯＫ」
状態のメモリに存在する記述に従って、ＲＡＳという名
称の信号を真にし、状態７０２に移行する。もう１つの
ＳＤＬの欠点は、サービスの実行時に複数回通過する状
態が、複数回にわたって表れることにある。状態７０２
は、図７ａに３回も示されている。これは、スクリーン
が所定のサイズであること、従って、状態数に関してデ
ィスプレイ能力が限られていることを考慮する場合、サ
ービスの理解を妨げる。

【００３６】状態７０４には、「分析」状態７０６が続
く。分析状態には「アラーム２」状態７０７および「ア
ラーム２なし」状態７０８が続く。これらの状態は、同
じ状態によって続かれていないことを除いて、状態７０
３、７０４と同じである。このような考察は、メモリ６
０２におけるサービスの表示においては考慮に入れられ
ていない。多数の動作を実行する状態の場合、これは、
メモリの占有の観点からも、またアプリケーションのメ
ンテナンスという観点からも厄介である。実際、このよ
うな場合、同一の問題を解決するために、複数のメンテ
ナンスポイントが出てくる。

【００３７】状態７０７に続く「システムＫＯ」状態７
０９は、アプリケーションを続行不能であることを示す
信号を送信する。次いで、状態７０９に続く「終了」状
態７１０は、サービスが停止されることを示す。

【００３８】状態７０８は、状態７０２に続く。

【００３９】図７ｂは、図７ａと同じサービスを示す有
限の状態に対する機構を示すが、環境は、ＵＭＬ−ＲＴ
環境にある。互いの間の移行は、このサービスに関する
メモリ６０２の内容を分析することによって行われる。
このサービスの図は、ＳＤＬサービスの挙動のリストか
らとっている。メモリ６０２の内容を読み込むことによ
り、状態を示すキーワードを検出する。関係のある状態
は、動作状態およびメッセージ送信状態であり、これら
が、ＵＭＬ−ＲＴ言語の状態に翻訳される。もちろん、
複数回にわたって現れる状態は、繰り返されない。サービスＵＭＬ−ＲＴの挙動：状態１：正常：特性：スタート動作１：．．．動作Ｎ：．．．状態２：分析特性：動作１：．．．動作Ｍ：．．．状態３：システムＯＫ：特性：動作１：ＲＡＳ＝１状態４：システムＫＯ特性：最終動作１：ＲＡＳ＝０遷移１⇒３：アラーム＝偽遷移３⇒１：真遷移１⇒２：アラーム＝真遷移２⇒４：アラーム＝真およびＫＯ＝真かくして、状態７０２、７０５、７０６および７０９
は、それぞれ、「正常」状態７１１、「システムＯＫ」
状態７１２、「分析」状態７１３、「システムＫＯ」状
態７１４に翻訳される。このように形成された各ＵＭＬ
−ＲＴ状態に、遷移を決定するために使用される番号を
割り当てる。従って、状態数は、ＳＤＬからＵＭＬ−Ｒ
Ｔに翻訳するにつれて減っていき、記述されたサービス
の視覚化を最適にすることができる。ＵＭＬ−ＲＴ言語
による各状態は特性を有する。状態７１１は、ＳＤＬ記
述においてスタート状態７０１の直後にくる状態である
ので「スタート状態」である。同様に、状態７１４は、
後続状態が１つもないので「終了状態」である。スター
ト状態および終了状態は、符号７１５、７１６によって
表示される。

【００４０】メモリ６１０への状態の保存には、遷移の
記述が伴う。これらの遷移は、ＳＤＬ信号を受信する状
態、すなわち状態７０３、７０４、７０７、７０８の分
析により得られる。これらの状態は、条件に関するキー
ワードを含むので、検出可能である。従って、ＵＭＬ−
ＲＴ言語の遷移７１７は、ＳＤＬ言語の図式の状態７０
３に対応する。

【００４１】また、無条件の状態から状態への遷移も存
在し、たとえば状態７０５から状態７０２への遷移は、
状態７０５の動作が実行されると直ちに実行される。こ
れらの遷移は、系統的な遷移によって翻訳される。その
図は、遷移７１８によって示されており、遷移７１８
は、常に有効化され、すなわち、メモリ６１０に保存さ
れているその有効の条件は、常に真である。ＵＭＬ−Ｒ
Ｔ言語のサービスの挙動表示では、これは、遷移３⇒１
に関する。

【図面の簡単な説明】

【図１】ＳＤＬ言語のアプリケーションのモデルまたは
仕様に用いるエレメントを示す図である。

【図２】ＵＭＬ−ＲＴ言語のアプリケーションのモデル
または仕様に用いるエレメントを示す図である。

【図３ａ】ＳＤＬ言語のアプリケーションのモデルを示
す図である。

【図３ｂ】ＳＤＬ言語のアプリケーションのモデルを示
す図である。

【図３ｃ】ＳＤＬ言語のアプリケーションのモデルを示
す図である。

【図４ａ】ＵＭＬ−ＲＴ言語による図３ａと同様のアプ
リケーションのモデルを示す図である。

【図４ｂ】ＵＭＬ−ＲＴ言語による図３ｂと同様のアプ
リケーションのモデルを示す図である。

【図４ｃ】ＵＭＬ−ＲＴ言語による図３ｃと同様のアプ
リケーションのモデルを示す図である。

【図５】ＵＭＬ−ＲＴ言語のカプセルの細部を示す図で
ある。

【図６】本発明の実施のために有効な手段を示す図であ
る。

【図７ａ】ＳＤＬ言語によるサービスの挙動の記述を示
す図である。

【図７ｂ】ＵＭＬ−ＲＴ言語によるカプセルの挙動の記
述を示す図である。

【符号の説明】

１０１、３０１システム１０２、１０３、３０２、３０３ブロック１０４、３０４、３０５、３０６、３０７チャンネル１０５、３０８信号経路１０６、１０７、３０９、３１０プロセス１０８、３１１サービス１０９手順４０１、４０２、４０３、４０９、４１０、４１６、５
０１カプセル４０４、４０５、４０６、４０７、４０８、４１１、４
１２、４１３、４１４、４１５、４１６、４１７、４１
８、５０２ポート６００コンピュータ６０１メモリブロック６０２、６１０メモリ６０３マイクロプロセッサ６０４周辺機構６０５バス６０６スクリーン６０７キーボード６０８マウス６０９、６１１ウィンドウ６１２プログラム

Claims

【特許請求の範囲】

【請求項１】ＳＤＬ言語で書かれた第１の仕様を、Ｕ
ＭＬＲＴ言語で書かれた第２の仕様に翻訳する自動翻訳
方法であって、前記第１の仕様が、仕様の対象とすべきアプリケーショ
ンで記載される細部レベルに応じて、システム（１０
１）、ブロック（１０２）、プロセス（１０６）、サー
ビス（１０８）、チャンネル（１０４）および／または
信号経路（１０５）という概念を含み、ＳＤＬ言語のシステム、ブロック、プロセスおよびサー
ビスに対応するキー概念を、ＵＭＬ−ＲＴ言語のカプセ
ルに対応するキー概念と置換し、ＳＤＬ言語のチャンネルおよび信号経路に対応するキー
概念を、ＵＭＬ−ＲＴ言語の接続およびポートに対応す
るキー概念と置換し、ＳＤＬ言語の信号に対応するキー概念を、ＵＭＬ−ＲＴ
言語の信号に対応するキー概念と置換することを特徴と
する方法。
【請求項２】ＳＤＬ言語のチャンネルおよび信号経路
を翻訳するために、発信元または宛先で共通端を有する単一方向のチャンネ
ル（Ｉ１、Ｉ２、Ｉ３、Ｏ１、Ｏ２）および信号経路
（ＩＩ１、ＩＩ２）を識別し、ＳＤＬ言語のチャンネル（Ｉ１、Ｉ２、Ｉ３、Ｏ１、Ｏ
２）および信号経路（ＩＩ１、ＩＩ２）を、複数のＵＭ
Ｌ−ＲＴ言語のポート（Ｐ１〜Ｐ１２）間のＵＭＬ−Ｒ
Ｔ言語の双方向の接続にまとめ、当該双方向の接続が、前記のようにまとめられたチャン
ネルおよび信号経路を通過する信号に基づいて規定され
る同じプロトコルを用いることを特徴とする請求項１に
記載の方法。
【請求項３】ＵＭＬ−ＲＴ言語の状態（７１１、７１
３、７１２、７１４）で、ＳＤＬ言語の動作状態（７０
２、７０６）および信号送信状態（７０５、７０９）を
識別し、ＳＤＬ言語の信号の待ち状態（７０３、７０４）を、Ｕ
ＭＬ−ＲＴ言語の遷移（７１７、７１８）により翻訳す
ることを特徴とする請求項１または２に記載の方法。