通信サービス仕様記述とビジュアルプログラミング
スポンサーリンク
概要
- 論文の詳細を見る
通信サービスの仕様記述におけるビジュアルプログラミング技術を仕様入力のための図的記述法と仕様検証および確認のための仕様の視覚化法とに大別して概説する.本稿では,ビジュアルプログラミングを仕様記述支援の一つととらえ,サービス仕様の形式化過程において,設計者とシステム間のインタフェース技術として視覚的な情報が積極的に活用されている研究について紹介する.
- 社団法人電子情報通信学会の論文
- 1995-12-25
著者
関連論文
- ネットワークサービス提供に向けた汎用システムにおけるソフトウェア修正方式(交換)
- 高度INにおけるカスタマコントロール提供法の検討
- 高度INにおけるパーソナル通信サービス制御方式
- 視覚化に重点をおいたソフトウェア開発環境モデルとソフトウェア生産性の相関に関する一考察
- 高度INサービス展開のためのネットワークアーキテクチャ
- B-6-152 同一ドメイン内における SIP-Proxy サーバ配備方法に関する一考察
- 高度INにおけるネットワークセキュリティサービス制御方式の検討
- ローミングサービスにおける認証情報の網間転送法の検討
- パーソナル通信に適用可能なINにおけるアウトチャネルインタラクションのモデリングとプロトコル
- IP網におけるINサービスの提供法
- 高度INにおける仕様補完技術を用いたSLP生成法
- 高度INおける通信サービス仕様補完法の検討
- 高度INにおけるSLP自動生成ツール構成法の検討
- 通信サービスにおけるメッセージシーケンス図記述からルール記述への仕様変換法
- 高度INにおけるSLPへの準正常手順自動補完法の検討
- メッセージシーケンス記述によるサービス仕様から状態遷移規則の獲得法
- 高度INにおけるサービスソフトウェア生成法
- 高度INにおけるパーソナル通信サービスのためのSLP構成法
- 通信サービス仕様記述とビジュアルプログラミング
- パーソナル通信のための高度INにおけるサービスポータビリティ制御方法
- 移動通信サービスにおけるVLR型網間ローミング方式の検討
- 通信サービスの視覚的な要求仕様化支援法
- サービス競合における異常な状態への遷移の検出法
- B-6-155 SIP-Registrar による効率的な IPv4-IPv6 間接続に関する一考察
- B-6-162 SIP サーバとプレゼンスサーバ連携による受付管理方式の一検討
- B-6-157 DNS-ALG を用いた SIP の IPv4/IPv6 接続方式に関する一考察
- B-6-156 SIP の v4/v6 間接続における変換契機に関する一考察
- 情報流通アプリケーションをサポートするネットワークプラットフォームの提案
- 蓄積サーバを用いた情報配信システムのトラヒック低減効果
- マスユーザ向けマス情報配信システム : ネットワークによる情報流通サービスのサポート
- マスユーザ向けマス情報配信システム : ネットワークによる情報流通サービスのサポート
- サービス仕様検証法の一考察 : サービス競合検出法の効率化
- ネットワークサービス提供に向けたLinuxOSの高可用化ライブパッチ手法(映像通信, コンテンツ配信ネットワーク, マルチキャスト, 一般)
- B-6-51 ネットワークサービスへのTCPフェイルオーバ技術適用検討(B-6. ネットワークシステム, 通信2)
- B-6-48 システムクラッシュ解析のための関連プロセスダンプ(B-6. ネットワークシステム, 通信2)
- ネットワークサービス提供に向けた汎用OSの高可用化ライブパッチ手法(フォトニックネットワークシステム,光ルーチング,一般)
- ネットワークサービス提供に向けた汎用OSの高可用化ライブパッチ手法(フォトニックネットワークシステム,光ルーチング,一般)
- エンドエンドQoSを実現するための自律分散QoS制御技術 (特集 エンドエンドセッション制御技術)
- B-16-4 Priority プロモーション方式のための MF-PHB 検証手法
- 高度INモデルにおける呼とコネクションの分離に関する考察
- B-ISDNにおける高度INの呼・コネクション制御範囲に関する一考察
- マルチコネクションに対応した広帯域高度INコールモデル
- 通信ソフトウェア仕様の検証に関する課題
- 情報流通サービスにおける情報配信の確認方法に関する検討
- B-ISDNで多者間接続に対応できる高度INコールモデルの提案(ネットワークソフトウェア)
- カスタマ主導のカスタマ-IN間連携サービスに関する考察
- 広帯域高度IN検証システム : INコールモデルの機能検証と性能評価
- 複数サービス論理プログラムインスタンス(SLPI)連携における連携先SLPI決定方式について
- 異常な状態への遷移の検証手法 : 競合検出精度の向上手法の提案
- 通信サービス仕様における異常な状態への遷移の解消支援に関する一考察
- プロダクションルールに基づく通信サービス仕様記述法 : 条件判定記述についての一考察
- プロダクションルールに基づくスクリーニングサービス : 仕様記述法の一考察
- 非専門家を対象とした仕様記述支援法
- 新サービス仕様記述における記述支援環境の一提案
- 図形によるサービス仕様記述支援のための画素データベース
- 仕様記述段階でのサービス競合検出手法の一考察
- サービス競合検出法の一考察
- 通信サービスの意味的競合の検出 : 非決定性によるサービス競合検出の拡張
- 仕様記述時のサービス競合検出手法の評価
- SB-4-1 多地点会議サービスを実現する多地点リアルタイム情報共有プラットフォーム