時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述

• 桑原, 寛明

• Hiroaki, Kuwabara

• 結縁, 祥治

• Yuen, shoji

• 阿草, 清滋

• Agusa, Kiyoshi

書誌事項

タイトル別名

• ジカン ツキ パイ ケイサン ニ ヨル リアルタイムオブジェクト シコウ ゲンゴ ノ ケイシキテキ キジュツ
• A Formal Description of a Real-Time Object-Oriented Language by the π-Calculus with Time

抄録

本論文では実時間システム開発にオブジェクト指向開発技術を適用する基礎とするために,形式計算モデルであるπ計算に基づきリアルタイムオブジェクト指向言語の振舞いを定式化する.π計算に離散時間の振舞いを拡張し,単純なリアルタイムオブジェクト指向言語00LRTの振舞いを記述する.実時間システムは一般に時間制約を持つ複数のオブジェクトの並行動作によって実現される.00LRTによって実時間システムの特性を直接的に記述し,時間拡張されたπ計算によってその振舞いを厳密に定義することで,システムの動作の解析や検証を形式的に行うための枠組みを与える.

収録刊行物

• 情報処理学会論文誌

  情報処理学会論文誌 45 (6), 1498-1507, 2004

  情報処理学会

キーワード

• 特集「オブジェクト指向とWeb 技術」

詳細情報

• CRID: 1050282813774558080
• NII論文ID: 110002712200
• NII書誌ID: AN00116647
• ISSN: 18827764
• ISSN: 03875806
• HANDLE: 2237/10590
• NDL書誌ID: 6989548
• Web Site: https://nagoya.repo.nii.ac.jp/records/8836
• Web Site: http://id.nii.ac.jp/1001/00010866/
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I6989548
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • NDL
  • CiNii Articles
  • KAKEN