メッセージシーケンス記述によるサービス仕様から状態遷移規則の獲得法
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェア開発の上流工程において、要求仕様の形式的な記述による定義と仕様検証の機械的な支援を目指す技術が望まれている。これに伴い電話サービスを実現する通信サービスソフトウェアにおいてもメッセージシーケンス(以下MSと略す)記述で代表されるような手続き型とif-then型のルール集合による宣言型の仕様記述法が提案されている。本稿では、MSを記述するための手続き型の仕様記述法の長所を損なうことなく仕様検証能力を向上させることを目的として、MSで記述された仕様の状態遷移規則への変換法を提案する。
- 一般社団法人情報処理学会の論文
- 1994-09-20
著者
-
高見 一正
創価大学大学院工学研究科情報システム工学専攻
-
新津 善弘
NTTネットワークサービスシステム研究所
-
高見 一正
NTTネットワークサービスシステム研究所
-
高見 一正
日本電信電話株式会社NTTサービスインテグレーション基盤研究所
-
新津 善弘
Nttネットワークサービスシステム研究所高機能処理研究部サービス制御方式研究グループ
-
高見 一正
Ntt情報流通プラットフォーム研究所高度inプロジェクト
-
高見 一正
創価大学工学部情報システム工学科
関連論文
- 携帯メールの絵文字・顔文字解析による趣味嗜好分析法 (情報ネットワーク)
- 携帯メールの絵文字・顔文字解析による気分推定法と楽曲推薦法(モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- 携帯メールの絵文字・顔文字解析による気分推定法と楽曲推薦法(一般セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- 相対距離感知型パーソナルサービス構成法(SNS,ユーザモデル)
- B-7-51 音声対話WebブラウジングのためのVoiceXMLメタデータ自動生成法(B-7.情報ネットワーク,一般セッション)
- ユビキタスネット環境におけるVoiceXMLメタデータ定義による音声対話Webブラウジング法(ユビキタス,WEB,アプリ)
- 電話利用サービスにおけるユーザインタフェース仕様設計法
- 高度INにおけるカスタマコントロール提供法の検討
- 高度INにおけるパーソナル通信サービス制御方式
- 視覚化に重点をおいたソフトウェア開発環境モデルとソフトウェア生産性の相関に関する一考察
- 高度INサービス展開のためのネットワークアーキテクチャ
- CS-4-8 ヘテロコア光ファイバセンサにおけるK-最近傍法と尤度推定法による足裏識別(C-4. 安全・安心な社会を支える光センシング技術,シンポジウムセッション)
- インテリジェントセンササーバソフトウェア構成法(センサネットワーク)
- B-7-3 歩行者群に対応した広告配信サービスのための情報選択・配信アルゴリズムにおけるデータ配信効率の評価(B-7.情報ネットワーク,一般セッション)
- マルチメディアサー ビスのための通信サー ビスソフトウェア生成ツールの構成
- ホームネットワークにおける機器仮想化ソフトウェア構成法(SIP/NGN・一般)
- ユビキタス広域広告配信サービスのための複数のRFIDを用いた情報選択法の評価(ユビキタス)
- ルールベース言語によるWebサービス開発法(プロトコル・一般)
- マルチメディアサービスにおけるカスタマイズのモデル化とINへの適用評価(マルチメディアを支える通信技術)
- 高度INカスタマのためのサービス定義法の検討
- マルチメディアサービスを対象としたサービスカスタマイズ化の検討
- B-7-37 ヘテロコア光ファイバセンサにおける足裏圧力分布の重心変化に着目した個人識別法(B-7.情報ネットワーク,一般セッション)
- ヘテロコア光ファイバセンサネットワークにおける足裏圧力分布による個人識別(セキュリティ,認証)
- FTTH需要興隆期におけるセンタ内光配線網の経済化運用法(ネットワークオペレーションと資源管理論文)
- 次世代ネットワークにおけるユーザネットワーク管理技術(設備管理,ネットワーク管理,及び一般)
- FTTH興隆期におけるサービス性向上を目的としたセンタ内光配線運用法(IPベースネットワーク・サービスにおける品質と管理,及び一般)
- 階層分散型NMSを用いたGMPLS網ルーティング方式(セッション4)
- 携帯メールの絵文字・顔文字解析による気分推定法と楽曲推薦法(一般セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- 階層分散型NMSを用いたGMPLS網ルーティング方式(セッション4)
- Smart Spaceサービスプロビジョニングに関する一考察(NW管理,次世代NWアーキテクチャ,次世代NWのオペレーションアーキテクチャ,トラヒック計測・モデリング・品質,オーバレイネットワーク,次世代NWサービス品質,一般)
- マルチメディアサービスを対象としたサービスカスタマイズ化の検討
- ユビキタス環境におけるパーソナルネットワーク構築法の検討(オーバーレイネットワーク)
- 階層化Mobile IPv6ネットワークにおけるHAへの遅延計測負荷削減を考慮したオーバレイとフラットルート選択アルゴリズムの評価(モバイルNW)
- B-7-45 PANにおけるTouch & Selectによるデバイス選択方式(B-7.情報ネットワーク,一般講演)
- ユビキタス環境におけるコミュニケーションを支援するためのパーソナルエージェント構成法の検討(有線/無線シームレスネットワーク,ネットワーク制御,無線通信一般)
- 階層化Mobile IPv6ネットワークにおけるパケット遅延計測による通信経路選択法の検討(有線/無線シームレスネットワーク,ネットワーク制御,無線通信一般)
- ユビキタス環境におけるコミュニケーションを支援するためのパーソナルエージェント構成法の検討
- 携帯メールの絵文字・顔文字解析による趣味嗜好分析法(ネットワークサービス)
- 複数のRFIDタグ読み出しに基づく情報検索手法の検討 : 広告等の情報表示システム(有線/無線シームレスネットワーク,ネットワーク制御,無線通信一般)
- SSE2000-42 高度INとIP網の連携方式に関する検討 : VoIP付加サービス制御法
- VoIP呼への高度INサービス提供のための基本呼状態モデルに関する検討
- IP網におけるSCPアクセス機能の配備法に関する検討
- 高度INにおける通信サービスソフトウェア生成方式(ネットワークソフトウェア)
- IP網におけるINサービスの提供法
- 高度INにおける仕様補完技術を用いたSLP生成法
- 高度INおける通信サービス仕様補完法の検討
- 高度INにおけるSLP自動生成ツール構成法の検討
- 通信サービスにおけるメッセージシーケンス図記述からルール記述への仕様変換法
- 高度INにおけるSLPへの準正常手順自動補完法の検討
- アイコニックな通信サービス仕様記述支援のための知識構成法
- メッセージシーケンス記述によるサービス仕様から状態遷移規則の獲得法
- 高度INにおけるサービスソフトウェア生成法
- B-7-156 Active-Tagとブログを融合した口コミ情報収集方式の検討(B-7.情報ネットワーク,一般講演)
- B-6-47 携帯メールの絵文字解析に基づくユーザ気分推定法(B-6.ネットワークシステム,一般講演)
- B-7-83 ユビキタス環境におけるパーソナルWebサービス構成法の検討(B-7.情報ネットワーク,一般講演)
- 競合の誤検出の自動検出アルゴリズムの提案(次世代テレコム環境におけるマネジメント技術及び一般)
- 通信サービスの視覚的な要求仕様化支援法
- サービス競合における異常な状態への遷移の検出法
- 通信サービス相互作用に含まれる意味的矛盾動作検出方式
- 通信サービス仕様記述支援のためのデータベース構成法
- 非専門家を対象としたサービス仕様記述支援法
- 通信サービス概念モデルの応用に関する一考察
- 通信サービス動作の修正影響解析支援方法
- 通信サービスの概念モデルの一考察
- 通信サービス仕様記述支援におけるガイダンス手法の一考察
- 通信サービス仕様間の矛盾の自動検出法
- 通信サービス課金仕様競合検出方式
- 通信サーピス課金仕様競合検出方式
- B-6-82 インターネットによるサービスカスタマイズ化のためのMLP構成に関する一考察
- マルチメディアサービスを対象としたサービスカスタマイズ化の検討
- インテリジェントネットワーク(IN)とインターネットの連携に関する一考察
- 高度INにおけるカスタマイズドサービス提供条件設計ツール構成法・試作評価
- 高度INにおけるカスタマイズドサービス提供条件設計ツール構成法・試作評価
- 高度INにおけるカスタマイズドサービス実現のための通信サービスソフトウェア・SCE構成法
- 高度INにおけるカスタマイズサービス提供条件仕様の定義法
- 高度INにおける通信サービスソフトウエアの構成に関する一検討
- ネットワークロボット制御サービスのためのプログラム開発プラットフォーム(システム・プラットフォーム)
- B-19-16 ルールベース言語プログラムからの付加サービス状態遷移図獲得法(B-19.ネットワークソフトウェア,一般セッション)
- B-6-79 高度INサービス仕様検証のための状態遷移ルール規定法の一検討
- B-6-78 SLP生成ツールの商用サービス開発への適用法
- 高度INにおけるサービス仕様記述法の評価
- 高度INにおけるサービス仕様記述法の評価
- 高度INにおけるサービス仕様検証法の一検討
- 高度INにおけるサービス仕様記述法の検討
- SCEにおける検証結果のサービス仕様への逆変換法の検討
- 高度INサービス生成環境におけるサービスソフトウェア検証法
- 高度INにおけるサービス生成技術と課題
- 通信サービスのプラットホームとソフトウエア自動生成
- 高度IN用サービスソフトウェア仕様記述における網内処理部品構成法の検討
- 高度INサービスソフトウェア開発から見た課題と展望
- マルチメディア通信サービスの実現に向けた高度INコールモデルの検討
- B-7-7 Webページとの音声対話のためのVXMLメタデータ配備に基づく同期制御方式(B-7.情報ネットワーク,一般講演)
- B-19-5 ルールベース言語プログラムのための記述誤り検出(B-19.ネットワークソフトウェア,一般セッション)
- ネットワークロボット制御サービスのためのプログラム開発プラットフォーム
- B-7-41 TupleSpaceを用いたエージェント間通信方式の評価(B-7.情報ネットワーク,一般セッション)
- B-19-4 ルールベース言語ESTRによる分析部プログラム記述法の評価(B-19.ネットワークソフトウェア,一般セッション)
- B-19-19 ネットワークロボット制御機能共通化のためのオントロジー構成法(B-19. ユビキタス・センサネットワーク,一般セッション)
- すれ違い通信情報の位置精度補完によるAR空間表示(モバイルアドホックネットワーク,モバイル時代を支える次世代無線技術,フィールドセンシング及び一般)
- 靴型ヒューマンインタフェースを用いたスマートフォン・システムの実装と実験(端末アプリケーション)
- B-20-19 MANETにおける局所補完マルチパスルーティングプロトコル(B-20.アドホックネットワーク,一般セッション)