命題論理に基づいた並行システムの仕様記述

• Item type: SIG Technical Reports(1)
• 公開日: 1998-03-23
• タイトル: 命題論理に基づいた並行システムの仕様記述
• タイトル / 言語: en
• タイトル: Specification of a Concurrent System Based on Propositional Logic
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 仙台電波工業高等専門学校
• 著者所属: 仙台電波工業高等専門学校
• 著者所属(英): en
• 著者所属(英): Sendai National College of Technology
• 著者所属(英): en
• 著者所属(英): Sendai National College of Technology
• 著者名: 菅原, 佳菜; 高橋, 薫
• 著者名(英): Kana, Sugawara; Kaoru, Takahashi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 情報処理システムの大規模化・複雑化に伴い，信頼性の高いシステムを効率よく設計するための形式的仕様記述法の必要性が高まっている．そのような記述法の一つとして，情報処理システムがその果たす機能によって記述できること，また個々の機能がその機能を実行するための前提条件，入力，出力，事後条件によって記述できることに着目した，命題論理に基づいた要求記述法と状態遷移システムによるその意味記述法が提案されている．本論文では，従来単一システムを対象としていた上記の要求記述法を，いくつかのサブシステムから成る並行システムに拡張する．そのために，サブシステム毎の機能要求記述，およびその集まりとしての並行システム機能要求記述を提案する．更に，これら機能要求記述から形式仕様としての状態遷移システムを合成する方法についても述べる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: As information processing systems become large and complex, formal description methods are needed for specification of systems and their efficient and reliable designs. Since information processing systems can be described by some executed functions and each function for execution can be described by a pre-condition to be satisfied before execution, input, output and a post-condition to be satisfied after execution, a description method based on propositional logic and its semantic description method by a state transition system have been proposed. In this paper, we extend the above mentioned description method whose target is a dingle system so that a concurrent system consisting of some subsystems can be handled. For this purpose, we give a functional requirement description method of each subsystem and a concurrent system as a collection of subsystems. We also propose a method to synthesize a state transition system as a formal specification from a functional requirement description.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1998, 号 30(1997-PRO-018), p. 81-88, 発行日 1998-03-23
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会