コンピュータソフトウェア

動画像を用いたコミュニケーションシステム向けのアプリケーション層マルチキャスト

山口弘純, 中村嘉隆, 廣森聡仁, 安本慶一, 東野輝夫, 谷口健一

2004 年 21 巻 2 号 p. 83-93
発行日: 2004/03/25
公開日: 2010/01/04

DOIhttps://doi.org/10.11309/jssst.21.83

ジャーナルフリー

抄録を表示する抄録を非表示にする

本論文では，エンドホスト間で映像データを実時間交換するようなコミュニケーションシステム向けのアプリケーションレベルマルチキャストプロトコルEmmaを提案する．Emmaは，複数の実時間データを，ユーザの優先度に応じてマルチキャスト転送する制御プロトコルであり，完全な分散制御プロトコルとして実現されているだけでなく，優先度要求に応じた動的なデータ配信制御が短い反応時間で実現でき，かつ制御メッセージ集約によるトラフィック削減などの工夫も図られている．数十ユーザを仮定したシミュレーション実験による性能評価の結果，Emmaは少ないプロトコルオーバヘッドで高いユーザ満足度を得られることがわかった．

抄録全体を表示

PDF形式でダウンロード (182K)
オントロジー構築に対する概念階層の整合性

兼岩憲

2004 年 21 巻 2 号 p. 94-106
発行日: 2004/03/25
公開日: 2010/01/04

DOIhttps://doi.org/10.11309/jssst.21.94

ジャーナルフリー

抄録を表示する抄録を非表示にする

オントロジーは一般的に概念階層によって設計されるが，その概念階層の整合性を判断するには，概念階層を形式的に定義する必要がある．Description Logicやオーダーソート論理をはじめとする論理型言語は，概念階層のための表現を備えており，オントロジー記述言語に理論的な基盤を与えることができる．しかしそこで定義される概念階層は，個体の集合を示したクラス表現の階層に限られている．本論文では，実際のオントロジー設計において様々な自然言語の語彙で概念階層が構築されることを想定して，クラス表現に限定しない，ソート，定数，関数および述語の非論理記号が混ざり合った概念階層を形式化する．そのうえで，この複雑な概念階層を安全に構築する方法を提案する．

抄録全体を表示

PDF形式でダウンロード (164K)
細粒度保護ドメインを用いたsetuidプログラムの特権コード最小化

品川高廣, 河野健二, 益田隆司

2004 年 21 巻 2 号 p. 107-113
発行日: 2004/03/25
公開日: 2010/01/04

DOIhttps://doi.org/10.11309/jssst.21.107

ジャーナルフリー

抄録を表示する抄録を非表示にする

本論文では，UNIXシステムにおけるsetuidプログラムのバグを利用したroot権限の不正取得に対処するために，setuidプログラム中のroot権限で動作するコードを最小化する手法について述べる．この手法では，我々が提案している細粒度保護ドメインを利用することでsetuidプログラム中の最小限必要なコードのみをroot権限で動作させ，root権限が不要なコードに含まれるバグによるroot権限の不正取得を防止することができる．

抄録全体を表示

PDF形式でダウンロード (85K)
コンポーネントフレームワーク振舞い解析への多値遷移システムの応用

中島震

2004 年 21 巻 2 号 p. 114-118
発行日: 2004/03/25
公開日: 2010/01/04

DOIhttps://doi.org/10.11309/jssst.21.114

ジャーナルフリー

抄録を表示する抄録を非表示にする

ソフトウェアのデザインを確認する方法としてモデル検査検証技術が有効である．実用的な対象では，通常処理に加えて多くの例外事象がある．場合分けが増え，対象の仕様記述だけではなく検証性質の表現も複雑になる．また，状態空間が大きくなり実行効率にも影響する．本稿では，多値遷移システムに基づくモデル検査技法を用いて，系統的に複雑さを軽減する方法を報告する．EJBコンポーネントフレームワークの振舞い解析を対象とし定量的な観点を含めて議論する．

抄録全体を表示

PDF形式でダウンロード (141K)
オブジェクト指向クラス間依存解析に基づくコンポーネント抽出

鷲崎弘宜, 深澤良彰

2004 年 21 巻 2 号 p. 119-125
発行日: 2004/03/25
公開日: 2010/01/04

DOIhttps://doi.org/10.11309/jssst.21.119

ジャーナルフリー

抄録を表示する抄録を非表示にする

本稿では，オブジェクト指向プログラムのソースコードを，クラス間の継承関係や参照関係，および生成関係について静的に解析し，独立して再利用可能なクラス群を特定し，単体で生成可能なコンポーネントにまとめる手法を提案する．同時にプログラム中で，抽出するコンポーネントに対応するクラス群を利用している部分を修正して，抽出するコンポーネントを生成し利用する例を得る手法を提案する．

抄録全体を表示

PDF形式でダウンロード (145K)
言語モデルLMNtal

上田和紀, 加藤紀夫

2004 年 21 巻 2 号 p. 126-142
発行日: 2004/03/25
公開日: 2010/01/04

DOIhttps://doi.org/10.11309/jssst.21.126

ジャーナルフリー

抄録を表示する抄録を非表示にする

階層的グラフの書換えを基本原理とするプログラミング言語モデルLMNtalについて，設計の背景および関連研究を交えながら解説する．LMNtal(elementalと発音)は，並行計算や多重集合書換えをはじめとするさまざまな計算に関する概念の統合を目指して設計した言語モデルであり，(1)計算モデルとして簡明であることと，(2)多様なプラットフォームで利用可能な実用プログラミング言語のベースとなること，の両立を目指している．処理系も稼働を始めている．本解説ではなるべく多くのプログラム例を交えながら，LMNtalの言語機能について解説するとともに，他の言語や計算モデルに見られる言語機能との関連付けを行なう．関連計算モデルに言及する部分は，並行計算および論理プログラミングに関する初歩的な知識があるとよりよく理解できるあろう．しかし，LMNtal自体の言語機能やプログラム例は予備知識なしで十分理解できるように解説したい．

抄録全体を表示

PDF形式でダウンロード (352K)
The SPIN Model Checker, G. J. Holzmann著

中島震

2004 年 21 巻 2 号 p. 143-151
発行日: 2004/03/25
公開日: 2010/01/04

DOIhttps://doi.org/10.11309/jssst.21.143

ジャーナルフリー

抄録を表示する抄録を非表示にする

システムの信頼性向上を目的とする技術としてモデル検査検証が注目を集めている. 理論を中心とした研究段階から一歩踏み出して, 実用的な検証ツールが開発・公開される状況になってきた. 代表的なモデル検査検証ツールのひとつにSPINがあり, 開発者自らの手によって書かれた教科書[3]が刊行された. これを紹介する.

抄録全体を表示

PDF形式でダウンロード (144K)

J-STAGEへの登録はこちら（無料）