哲学者の食事問題のLOTOSによる記述実験

• Item type: SIG Technical Reports(1)
• 公開日: 1989-06-27
• タイトル: 哲学者の食事問題のLOTOSによる記述実験
• タイトル / 言語: en
• タイトル: Experimetal Descriptions of Dining Philosopher's Problem in LOTOS and Its Experience
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 電子技術総合研究所情報アーキテクチャ部
• 著者所属: 沖電気工業（株）コンピュータシステム開発本部
• 著者所属: 沖電気工業（株）コンピュータシステム開発本部
• 著者所属: 沖電気工業（株）コンピュータシステム開発本部
• 著者所属: 日本電気（株）基本ソフトウェア開発本部
• 著者所属: 日本電気（株）基本ソフトウェア開発本部
• 著者所属: 三菱電機（株）情報電子研究所
• 著者所属: 日本電信電話（株）NTTソフトウェア研究所
• 著者所属: 富士通（株）情報システム事業本部
• 著者所属: （株）東芝情報通信システム技術研究所
• 著者所属: シャープ（株）技術本部
• 著者所属(英): en
• 著者所属(英): Electrotechnical Laboratory
• 著者所属(英): en
• 著者所属(英): Oki Electronic Industry Co., Ltd.
• 著者所属(英): en
• 著者所属(英): Oki Electronic Industry Co., Ltd.
• 著者所属(英): en
• 著者所属(英): Oki Electronic Industry Co., Ltd.
• 著者所属(英): en
• 著者所属(英): NEC Corporation
• 著者所属(英): en
• 著者所属(英): NEC Corporation
• 著者所属(英): en
• 著者所属(英): Mitsubishi Electric Corporation
• 著者所属(英): en
• 著者所属(英): Nippon Telegraph and Telephone Corporation
• 著者所属(英): en
• 著者所属(英): Fujitsu Limited
• 著者所属(英): en
• 著者所属(英): Toshiba Corporation
• 著者所属(英): en
• 著者所属(英): Sharp Corporation
• 著者名: 大蒔和仁; 五反田, 隆広; 小野, 昌秀; 佐藤嘉一; 藤田, 朋生; 新田, 徹; 田中, 功一; 堀田, 英一; 五ノ井敏行; 内山, 光一; 島田, 明宏
• 著者名(英): K., Ohmaki; T., Gotanda; M., Ono; Y., Sato; T., Fujita; T., Nitta; K., Tanaka; E., Horita; T., Gonoi; M., Uchiyama; A., Shimada
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 通信プロトコルOSIのための形式的仕様記述言語LOTOSがISO8807として制定された。我々はLOTOSの妥当性を探ることを目的としてLOTOS研究会を行なっている。そこではLOTOSの記述のためのGuidelineの調査、LOTOSによる実際のプロトコルの記述実験、LOTOSに関係する文献調査、等を行なっている。研究会の構成メンバは、(1)実際にOSIのプロトコル開発に携わっている人、(2)プロセス記述の理論的な研究をしている人、(3)LOTOS以外の形式記述言語に詳しい人、(4)C等の言語プロセッサ開発に携わっている人、(5)LOTOSが提案され出したころから勉強している人、等から成っている。研究会ではLOTOSとはどんな言語であるかを知るための練習問題として「哲学者の食事問題」を取り上げ、幾つかの記述実験を行なった。本稿はこの記述実験をとおして我々が得たLOTOSの仕様記述言語としての感想を述べる。LOTOSによる「哲学者の食事問題」の解法についてはすでに文献に現れているが、本稿の目的は初めてLOTOSに触れた人がこの有名な問題に対してどのように取り組んだかを示し、LOTOSに対して抱いた率直な感想や意見を述べることにある。
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: LOTOS is a language to specify OSI protocols formally. LOTOS has become ISO 8807 this February. We are organizing a research group for the language LOTOS, and studying its feasibility. Up to now, we are surveying the Guideline for LOTOS specification, writing a real OSI protocol in LOTOS, and reading papers related to LOTOS. The members of the group are (1) actually developing OSI protocols, (2) doing theoretical works on process description, (3) familiar with other formal description languages, (4) developing language processors like C compiler, or (5) studying the language specification of LOTOS at the early stages. To know what LOTOS is, we have described the dining philosphers problem by several approaches. In this paper, we present our impressions on LOTOS through these experiences. Although the dining philosoper's problem has already been written in literature, the main purpose of this paper is to show how we approach the specifications for the first time as LOTOS users. We also give the controversial comments on LOTOS.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1989, 号 52(1989-SE-066), p. 1-8, 発行日 1989-06-27
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会