@article{oai:ipsj.ixsq.nii.ac.jp:00013652, author = {来間啓伸 and 大須賀, 昭彦 and 本位田真一 and Hironobu, Kuruma and Akihiko, Ohsuga and Shinichi, Honiden}, issue = {6}, journal = {情報処理学会論文誌}, month = {Jun}, note = {計算機システムに対する要求の複雑化によって ソフトウェア・システムは大規模化する一方で 変化する要求に柔軟に対処することが求められている.このようなシステムには 要求の変化に合わせた部分的な拡張や変更の繰返しを可能とする構造が求められるが システムを一括してモデル化するソフトウェア開発形態では 要求の変化に対して柔軟に対処できる構造を持つシステムの開発には十分に対応できない.本稿ではシステムの部分的な拡張や変更を前提として 他のソフトウェア・モジュール(環境)の変化に対して自己を調整しつつ動作を継続するソフトウェア・モジュールの仕様を表現する枠組みを提供することを目的とした仕様記述モデルを提案する.この仕様記述モデルでは メッセージ授受を通じて相互にコミュニケートするエージェントを記述の基本単位とし 環境の変化への適応をエージェント間のコミュニケーションの動的な組替えによって行う. ここで エージェントの機能の記述に階層的なメタ構造を導入し 下位の記述に対する解釈を 上位の記述から環境に合わせて変化させることにより コミュニケーションの動的な組替えを表現する.各レベルについて1つあるいは複数のエージェントを1つのソフトウェア・モジュールと対応させることにより モジュールの機能を 一定の環境の下での機能と 環境の変化への適応に関する機能に階層化して規定する方法を与える., Connected to a network, a large number of computers can communicate each other and behave as one system. In such a system, since every subsystem may change at any time, it is not possible to understand the state of whole system at a time. Such a system is a continuously changing one, whose components are required to adapt the change of their environments autonomously. In this paper, we present a specification model for cooperating modules. In this model, each module is specified by communicating agents, and the adaptation of module to the change of environment is represented by dynamical change of communications between agents. Meta-level structures are used to describe flexible change of communications. Here, a meta-level description does not change the description of agent, but changes the interpretation of it, then the behaviour of the agent is statically understood. This model provides a way to describe independent modules and their adaptation to environments, and statical analysis of their behaviour.}, pages = {1171--1186}, title = {協調アーキテクチャに基づくソフトウェア・モジュールの仕様記述モデル}, volume = {37}, year = {1996} }