通信サービス記述のための知識と動作に基づく様相不動点論理SSL

• Item type: SIG Technical Reports(1)
• 公開日: 1992-08-20
• タイトル: 通信サービス記述のための知識と動作に基づく様相不動点論理SSL
• タイトル / 言語: en
• タイトル: Modal Fixpoint Logic SSL Based on Knowledge and Action for Describing Communication Services
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: NTTソフトウェア研究所
• 著者所属: NTTソフトウェア研究所
• 著者所属(英): en
• 著者所属(英): NTT Software Laboratories
• 著者所属(英): en
• 著者所属(英): NTT Software Laboratories
• 著者名: 楢崎, 修二; 堀田, 英一
• 著者名(英): Shuji, Narazaki; Eiichi, Horita
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 様相不動点論理Service Specification Logic(）を提案する．これはプロセス論理と共通知識論理，不動点論理を融合したものである．その目的は通信サービスに対する利用者の要求の形式的な記述手段を与え，これによって利用者の視点からのサービスの検証・分類を実現することにある．本稿では，SSLの構文と意味論を紹介し，有限記憶の状態遷移機械上でSSL式の充足性が決定可能であることを示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper proposes a modal fixpoint logic 'Service Specification Logic' (SSL) which is an integration of process logic, logics of common knowledge, and fixpoin logics. The purpose of the logic is to provide a language in which the user can describe his requirement formally, and thereby classify communication services from his viewpoint. First, the syntax and semantics of SSL are introduced. Then it is shown to be decidable whether a given formula is satisfied by a given finite state transition machine with a finite memory for its history.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1992, 号 67(1992-PRO-008), p. 9-16, 発行日 1992-08-20
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会