著者

丹羽 智史 土肥 拓生 本位田真一

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.47, no.5, pp.1382-1392, 2006-05-15

参考文献数

9

被引用文献数

26

---

協調フィルタリングを用いた商品推薦システムを応用してWeb ページ推薦システムを構築しようとする試みは従来から行われてきたが,十分な量のデータソースを確保することが困難なことや推薦対象であるWeb ページの数が大きすぎることなどから,その用途は非常に限定されたものだった.本論文では近年急速に普及し始めたソーシャルブックマークとFolksonomy を利用して,インターネット上のWeb ページ全体を対象としたWeb ページ推薦システムの構築手法を提案する.There have been many attempts to construct web page recommender systems using collaborative filtering, but the domains these systems can cover are very restricted, because it is very difficult to assemble data of user preference about web pages, and the number of web pages on the Internet is too large. In this paper, we propose the way to construct new type of web page recommender system covering all over the Internet, by using folksonomy and social bookmarks which are getting very popular in these days.

著者

中川 博之 吉岡 信和 本位田真一

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.48, no.8, pp.2551-2565, 2007-08-15

参考文献数

27

---

近年,高度で複雑化するソフトウェアを実現する手段としてマルチエージェントシステムが注目されている.マルチエージェントシステムは複数のエージェントを構成要素として持つことから,一般のソフトウェアと比較してシステム分析・設計も難しく,多くのモデル構築方法論が提案されている.しかしながら,いずれの既存方法論も要求モデルとの乖離が大きいために分析モデルの構築が困難であり,結果,システム構築の大きな障壁となっている.そこで本論文では,要求工学の分野で成果をあげているゴール指向要求分析法KAOS を拡張利用した分析モデル構築法IMPULSE を提案する.IMPULSE を用いることで,要求モデルを利用した分析モデル構築プロセスが明確化され,分析モデル構築の難しさが解消される.Agent technology offers a solution for producing complex software systems characterized by autonomous behavior and a high degree of distribution, however, development of multi-agent systems (MAS) needs a more feasible methodology for requirements analysis because of the difficulty in generating an analysis model. The purpose of this study is to reduce the gap between the requirement analysis and analysis phases of developing multi-agent systems. This paper describes the IMPULSE methodology, which utilizes the KAOS, goal-oriented analysis method as a requirement analysis method, and provides developers with a tool for model translation into an analysis model of multi-agent systems. This paper also shows the result of evaluating IMPULSE through analysis experiments. IMPULSE enables simple and effective development of multi-agent systems.

著者

長 健太 大須賀 昭彦 本位田真一

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.47, no.12, pp.3165-3178, 2006-12-15

参考文献数

31

被引用文献数

1

---

多数の小型センサから構成されるワイヤレスセンサネットワーク(WSN)を用いたビルオートメーションシステム,環境モニタリングシステム,サプライチェーンモニタリングシステムなどが実現されつつある.WSN 内の大量のセンサ群は環境に広範に分散配置され,かつそれらに搭載されているバッテリはきわめて限られているため,WSN アプリケーションにおいては電力消費量を抑えることが重要になる.WSN アプリケーションを実現するためのフレームワークは,消費電力と応答性能の間で発生するトレードオフを正しく扱える必要がある.我々は,複数の知的移動エージェントを用いてマルチパーパスなWSN アプリケーションを構築するというアプローチをとった.我々のフレームワークはエージェント群の動作方式を変化させることで,アプリケーションごとに異なる応答性能の要求に適応することができる.また,ビルディングオートメーションにおける移動エージェント群の動作をシミュレートすることで,消費電力と応答性能に関する評価を行った.A wireless sensor network (WSN) that is a network of many small sensors is being used for many applications such as structure and equipment monitoring, environmental monitoring and supply chain monitoring. Since these many sensors are widely spread in the environment and a battery of sensors is very limited, main concern for WSN applications is reducing battery consumption. Framework for these WSN applications should handle the trade-o. between battery consumption and response time. Our approach for this problem is using a multi intelligent mobile agent framework to implement multi-purpose WSN applications. By changing the movement pattern of agents, our framework can adapt to the requirements of response time that di.er from each application. We evaluate battery consumption and response time with simulating mobile agents for the building automation WSN application.

著者

長 健太 大須賀 昭彦 本位田真一

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.47, no.12, pp.3165-3178, 2006-12-15

---

多数の小型センサから構成されるワイヤレスセンサネットワーク(WSN)を用いたビルオートメーションシステム,環境モニタリングシステム,サプライチェーンモニタリングシステムなどが実現されつつある.WSN 内の大量のセンサ群は環境に広範に分散配置され,かつそれらに搭載されているバッテリはきわめて限られているため,WSN アプリケーションにおいては電力消費量を抑えることが重要になる.WSN アプリケーションを実現するためのフレームワークは,消費電力と応答性能の間で発生するトレードオフを正しく扱える必要がある.我々は,複数の知的移動エージェントを用いてマルチパーパスなWSN アプリケーションを構築するというアプローチをとった.我々のフレームワークはエージェント群の動作方式を変化させることで,アプリケーションごとに異なる応答性能の要求に適応することができる.また,ビルディングオートメーションにおける移動エージェント群の動作をシミュレートすることで,消費電力と応答性能に関する評価を行った.

著者

来間啓伸 本位田真一

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.45, no.6, pp.1593-1602, 2004-06-15

参考文献数

10

---

Webサービスを仲介するシステムをクローズドな仲介システムの緩やかな連合によって実装する際には,次の3点が課題となる.(1)連合によって個々の要素が受ける影響の局所化,(2)連合関係の変化への柔軟な適応,(3)連合によって不具合が起こらないことの検証.本稿では仲介システムを介して結ばれる要素の集まりをコミュニティと考え,要素間の静的なアクセス関係をポリシとして,コミュニティの連合を規定するためのポリシの枠組みを導入した.この枠組みに基づいて,連合によって組み合わされたポリシを実現するためのコミュニティ・モデルを示した.コミュニティ・モデル上では,コミュニティ間の協調のためのインタラクションとコミュニティ内のインタラクションを階層的に表現することで(1)と(2)が,ポリシとインタラクションが形式的に対応することで(3)が解決される.一方,コミュニティ・モデル記述にメタ階層に基づく言語を用いているため,実装との対応は明確ではない.ポリシとして表現する対象の拡大と,コミュニティ・モデルから実装への過程の明確化が,今後の課題である.The service mediation system on the Web could be constructed as a federation of service communities, in which each community provides and mediates limited number of services. In implementing the federation, (1) scalability of each community, (2) flexibility to the change of federation relation, and (3) verifiability of policy compliance should be considered. In this paper, we introduce a notion of policy of community based on access control among players and show a community model that is aimed at representing communications between players compliant with policy. The community model represents communications for the cooperation of communities separately from the communications for service request, mediation, and provision. As the result, it (1) represents communications between players in a modular way, (2) encapsulates the dependencies on partner communities, and (3) provides a basis for verification of policy compliance. The future work is to extend our notion of policy and to establish the implementation method based on the community model.

著者

丹羽 智史 土肥 拓生 本位田真一

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.47, no.5, pp.1382-1392, 2006-05-15

---

協調フィルタリングを用いた商品推薦システムを応用してWeb ページ推薦システムを構築しようとする試みは従来から行われてきたが,十分な量のデータソースを確保することが困難なことや推薦対象であるWeb ページの数が大きすぎることなどから,その用途は非常に限定されたものだった.本論文では近年急速に普及し始めたソーシャルブックマークとFolksonomy を利用して,インターネット上のWeb ページ全体を対象としたWeb ページ推薦システムの構築手法を提案する.

著者

松浦 佐江子 本位田真一

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.36, no.11, pp.2666-2680, 1995-11-15

被引用文献数

2

---

われわれの研究目的は仕様が変更された場合に、プログラムの作成プロセスを利用して既知のプログラムを修正し、変更要求を満たすプログラムを作成する方法を確立することである。われわれは広範囲言語Extended MLを用いた仕様・プログラム・プロセスを統一的に扱う枠組の上で仕様変更プロセスを形式化し、系統的な再利用方法を提案してきた。仕様変更プロセスは既知のモジュールから仕様変更の要求を満たす新しいモジュールを作成する仕様の差分定義プロセスと、プログラムを作成した過程である合成プロセスをまねるプロセスから成る。しかし、仕様変更は各々が独立に行われた複数の経験によって達成されることが多いので、一つのプログラム作成のプロセスをその都度利用するだけでは再利用の効率が良くない。また、過去に行った仕様変更と同様な仕様変更を行ってプログラムを得たい場合もある。本稿ではわれわれの提案した再利用方法を拡張し、複数の仕様変更プロセスを効果的に利用した仕様変更の実現方法を提案する。このような知識の積み重ねを支援するソフトウェァ開発環境を構築することによって、仕様変更に追従するプログラムの自動合成への道が開けると考える。

著者

石川 冬樹 田原 康之 吉岡 信和 本位田真一

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.45, no.6, pp.1614-1629, 2004-06-15

---

連携プロセスを手軽に,プラットフォームに依存しない形で記述するBPEL(Business Process Execution Language for Web Services)のように,分散コンポーネントの動的な連携のためのWebサービス技術への取り組みがさかんに行われている.Webサービス連携は今後,無線接続されたモバイルデバイスで構成されるようなパーベイシブネットワーク等様々な環境に適用されていくと考えられる.しかしそのような環境においては,比較的低速で不安定な無線通信路等の資源制約の問題に対処する必要がある.本研究ではこの問題に対しモバイルエージェント技術を適用し,Webサービス連携を行うモバイルエージェントの動作記述のための枠組みを提案する.この枠組みでは,連携ロジックをBPELを用いて記述し,それに対し移動およびクローニングというモバイルエージェントの物理的なビヘイビアをルール記述として付加する.この分離により,BPEL記述を変更することなしに環境条件に応じて物理的な振舞いを追加したり変更したりすることができる.本論文では特に,形式言語Mobile Ambientsを用いてこの枠組みの意味定義を行い,またBPELの意味論が保存されていることを示す.Research on the Web Service technologies for dynamic integration of distributed components has recently commenced, including BPEL (Business Process Execution Language for Web Services) for specifying an integration process easily and platform-independently. Web Services integration is to be applied in various environments, for example, pervasive networks with wireless mobile devices. However, in such environments it is necessary to deal with constraints in resources, such as the relative narrowness and instability of wireless connections. This work adopts the mobile agent technology in response to this problem and presents a framework for description of agents' behaviors for integration. In this framework, the integration logic is described using BPEL, and physical behaviors of mobile agents, including migration and cloning, are added to the BPEL description as simple rules. This separation makes it possible to add or change physical behaviors according to environmental conditions without modification of the BPEL description. This paper especially concentrates on formal definition of the semantics of our framework using a formal language, Mobile Ambients, and proves preservation of the BPEL semantics.

著者

名取 万里 加賀谷 聡 本位田真一

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.38, no.3, pp.634-656, 1997-03-15

被引用文献数

8

---

本稿では,オブジェクト指向フレームワークを構築するための手法を提案する.本手法は,現行のアプリケーションシステム群の分析とドメインの静的な特徴を抽出するためにデータ中心アプローチを取り入れる.また,ドメインのあるべき姿の分析と動的な特徴を抽出し,静的な特徴と合わせて一般化するために,ユースケースとそれに基づくオブジェクト間のインタラクションに着目する.さらに,これらの2つの観点を統合し,オブジェクト指向フレームワークを構築するプロセスを明らかにする.This paper presents a method for developing Object-oriented frameworks.Our framework development method includes three major ideas.The first is to extract static features of a domain by Data-oriented Approach.The second is to extract dynamic ones based on use cases and interactions among objects.The last is to integrate the above two ideas in order to cross-check features of the domain and to construct Object-oriented frameworks.