巻号一覧
22 巻 (2005)
- 4 号 p. 4_1-
- 3 号 p. 3_1-
- 2 号 p. 2_1-
- 1 号 p. 1_1-
22 巻, 2 号
選択された号の論文の8件中1～8を表示しています
- |<
- <
- 1
- >
- >|
-
岩野 和生, 徳田 英幸, 松岡 聡, 村上 和彰, 西村 吉雄, 米崎 直樹2005 年 22 巻 2 号 p. 2_1-2_20
発行日: 2005/04/26
公開日: 2008/09/09
ジャーナル フリーPDF形式でダウンロード (849K) -
片山 卓也2005 年 22 巻 2 号 p. 2_21
発行日: 2005/04/26
公開日: 2008/09/09
ジャーナル フリーPDF形式でダウンロード (25K) -
結縁 祥治2005 年 22 巻 2 号 p. 2_22-2_43
発行日: 2005/04/26
公開日: 2008/09/09
ジャーナル フリー通信プロセスモデルは，同時に実行される複数のプログラムが互いに同期通信を行いながら計算が進行する計算のモデルである．通信プロセスモデルは一般的な表現能力を持ち，通信による観測という観点から柔軟な抽象化が可能である．本チュートリアルでは，通信プロセスモデルの代表的な操作的特徴付けである代数意味論を基本として，ソフトウェアに対するモデル化について述べる．抄録全体を表示PDF形式でダウンロード (413K) -
結縁 祥治, 加藤 敬史, 加藤 大樹, 阿草 清滋2005 年 22 巻 2 号 p. 2_44-2_57
発行日: 2005/04/26
公開日: 2008/09/09
ジャーナル フリーWe propose a behavioral model of web applications, called ‘Web Automata’, based on the MVC(Model View and Control) model architecture. The MVC model architecture separates design concerns to improve the overall software quality. Since the architecture only defines the abstract outline of the configurations, there is a broad gap between web application codes and their behavioral properties.
We model the behavior of a web application with dynamic contents as an extension of links-automata proposed by Stotts et al. with the constraint-logic feature of the Extended Finite Automata, EFA for short, by Sarna-Starosa and Ramakrishna. As extended in the model checking techniques, we view a web application as a data-independent system, where variables appearing in link parameters and form inputs are attached to each page.
We present a testing framework for web applications based on the behavioral model. We show it provides reasonable testing criteria for web applications when we focus on the loops in the Web automaton model. We apply our framework to the Jakarta Struts by presenting the extended configuration schema of Struts in order to describe the web automata directly.抄録全体を表示PDF形式でダウンロード (246K) -
岡崎 光隆, 青木 利晃, 片山 卓也2005 年 22 巻 2 号 p. 2_58-2_73
発行日: 2005/04/26
公開日: 2008/09/09
ジャーナル フリーソフトウェアの実時間性を解析・検証するためには，ソフトウェアの内部で「いつ，どんな処理列が並行に動作するか」という情報(並行処理列の情報)を明らかにすることが不可欠である．しかしオブジェクト指向のソフトウェアモデルを用いた開発では，モデルから直接並行処理列の情報を観測することは難しい．このことがオブジェクト指向による実時間ソフトウェア開発の妨げとなっている．そこで本稿では，並行処理列の情報抽出を目的として，オブジェクト指向のソフトウェアモデルを並行処理列モデルに変換する形式手法を提案する．並行処理列モデルは並行処理列の情報を明示的に表現したソフトウェアの振る舞いモデルであり，並行処理列の情報を容易に取得できる．抄録全体を表示PDF形式でダウンロード (187K) -
宮崎 邦彦, David BASIN, 來間 啓伸, 宝木 和夫, 手塚 悟2005 年 22 巻 2 号 p. 2_74-2_84
発行日: 2005/04/26
公開日: 2008/09/09
ジャーナル フリー本稿では，ディジタル署名システムのモデル化と検証に形式手法を用いたケーススタディについて述べる．われわれは，複数OS (operating system)を1台の計算機上に共存させるDARMAと呼ばれるソフトウェア上に実装されたディジタル署名システムの安全性を検証した．具体的には，対象システムをPROMELA (PROcess MEta LAnguage)を用いてモデル化し，さらに，SPINモデルチェッカを用いてデータの完全性について検証を行った．以下では，われわれのモデル化のアプローチとその安全性検証から得られたメリットについて述べる．抄録全体を表示PDF形式でダウンロード (157K) -
李 しん, 小川 瑞史2005 年 22 巻 2 号 p. 2_85-2_89
発行日: 2005/04/26
公開日: 2008/09/09
ジャーナル フリーThis paper proposes Proxy Certificate Trust List (PCTL) to efficiently record trusted delegation trace for grid computing. Our solution based on PCTL provides functions as follows: (1) On-demand inquiry service for real time delegation information of grid computing underway; (2) Lightweight mutual authentication that is beneficial for proxy nodes with short life span or limited computation power as wireless devices in mobile computing; (3) A kind of revocation mechanism for proxy certificates to improve the security and availability of grid computing.抄録全体を表示PDF形式でダウンロード (99K) -
古瀬 淳2005 年 22 巻 2 号 p. 2_90-2_94
発行日: 2005/04/26
公開日: 2008/09/09
ジャーナル フリーExtensional polymorphismは関数型言語ML上での非パラメトリック多相性を実現するための枠組の一つであり，generic valueという，純粋なパラメトリック多相性の下では不可能な機能を提供する．我々は型ディスパッチと型パターンマッチを利用したgeneric valueの既存のコンパイルにおける意味論と効率の問題を指摘し，新たに「フロー」と呼ばれる，型付け情報を整数グラフに変換した物をディスパッチする変換方法を提案する．フローを使うことで，より自然な意味論に沿った変換が可能になり，多重定義値の呼び出しの効率も改善される．抄録全体を表示PDF形式でダウンロード (106K)
- |<
- <
- 1
- >
- >|