WEKO3
-
RootNode
アイテム
時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述
https://ipsj.ixsq.nii.ac.jp/records/10866
https://ipsj.ixsq.nii.ac.jp/records/10866f297a72e-efc0-45a6-9dcc-a7d67dfb34d7
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-JNL4506002.pdf (261.4 kB)
|
Copyright (c) 2004 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Journal(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2004-06-15 | |||||||
| タイトル | ||||||||
| タイトル | 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Formal Description of a Real-Time Object-Oriented Language by the π-Calculus with Time | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 特集「オブジェクト指向とWeb 技術」 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | journal article | |||||||
| 著者所属 | ||||||||
| 名古屋大学大学院情報科学研究科情報システム学専攻 | ||||||||
| 著者所属 | ||||||||
| 名古屋大学大学院情報科学研究科情報システム学専攻／科学技術振興機構さきがけ研究21 | ||||||||
| 著者所属 | ||||||||
| 名古屋大学大学院情報科学研究科情報システム学専攻 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Engineering, Graduate School of Information Science, Nagoya University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Engineering, Graduate School of Information Science, Nagoya University/PRESTO/JST | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information Engineering, Graduate School of Information Science, Nagoya University | ||||||||
| 著者名 |
桑原, 寛明
結縁祥治
阿草, 清滋
× 桑原, 寛明 結縁祥治 阿草, 清滋
|
|||||||
| 著者名(英) |
Hiroaki, Kuwabara
Shoji, Yuen
Kiyoshi, Agusa
× Hiroaki, Kuwabara Shoji, Yuen Kiyoshi, Agusa
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 本論文では実時間システム開発にオブジェクト指向開発技術を適用する基礎とするために，形式計算モデルであるπ計算に基づきリアルタイムオブジェクト指向言語の振舞いを定式化する．π計算に離散時間の振舞いを拡張し，単純なリアルタイムオブジェクト指向言語OOLRTの振舞いを記述する．実時間システムは一般に時間制約を持つ複数のオブジェクトの並行動作によって実現される．OOLRTによって実時間システムの特性を直接的に記述し，時間拡張されたπ計算によってその振舞いを厳密に定義することで，システムの動作の解析や検証を形式的に行うための枠組みを与える． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | In this paper, we aim at providing a foundational framework of the object-oriented technique for system development with timing constraints. We formalize timed behavior of objects via the behavior of π-calculus extended with time. It is common to model a real-time system by composing concurrent objects with timing constraints. To capture the features of real-time objects, we define a simple programming language OOLRT to give the operational semantics by translating a program of OOLRT into a term of our timed π-calculus. By this translation, we obtain an abstract behavioral model for real-time objects to analyze and verify the behavioral properties of real-time systems. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 45, 号 6, p. 1498-1507, 発行日 2004-06-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||
