宣言型通信サービス仕様記述言語からSDLへの変換法

概要

論文の詳細を見る
通信サービスに対する多様な要求を通解し、迅速なサービスの提供をおこなうためには、利用者自身が通信サービス仕様を定義できることが望ましい。そのための言語として、我々は通信サービス仕様記述言語STRを提案してきた。STRは通信システムの外部から観察できる事象(広域状態遷移)を宣言的な規則を用いて記述する言語であり、利用者でも容易に記述できる。STRは広域状態遷移規則と、許されない状態を指定する禁止状態指定規則から構成される。広域状態は、主状態記述プリミティブと副状態記述プリミティブの2種類の述語を使って記述される。状態の記述にあたって、述語論理における否定表現を用いることができる。我々は、STRから通信ソフトウェアの仕様をSLD形で生成する研究をおこなってきた。これは、広域的な状態遷移記述から分散配置されたプロセスの仕様(局所状態遷移)を求めるものである。これまでに生成アルゴリズムの骨格を発表してきたが、本稿では、SDLを生成する上での課題として次の3点をとりあげ、その解決法について論じる。(1)STRの否定表現を展開する方法。(2)禁止状態指定規則を用いて有り得ない状態の生成を防ぐ方法。(3)STRの副状態記述プリミティブをSDLの条件文に変換する方法。
一般社団法人情報処理学会の論文
1992-09-28

宣言型通信サービス仕様記述言語からSDLへの変換法

スポンサーリンク

概要

著者

関連論文

スポンサーリンク