WEKO3
アイテム
実世界モデルに基づく言語NAIVEの論理体系
https://ipsj.ixsq.nii.ac.jp/records/22170
https://ipsj.ixsq.nii.ac.jp/records/22170c9532734-257b-44fd-87f5-0ee4b92d9ab3
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE92086004.pdf (1.1 MB)
|
Copyright (c) 1992 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1992-07-20 | |||||||
| タイトル | ||||||||
| タイトル | 実世界モデルに基づく言語NAIVEの論理体系 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | The Logical System or The Language NAIVE that is based on Real World Model | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 富士通（株） | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| FUJITSU Ltd. | ||||||||
| 著者名 |
日野, 克重
× 日野, 克重
|
|||||||
| 著者名(英) |
Katsushige, Hino
× Katsushige, Hino
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 言語NAIVEは，実体，関係，行為，主体，および場などの基本要素から構成される実世界モデルに基づいて対象を記述する実行可能な仕様記述言語である．本稿では，その論理体系を提示する．当論理体系は，上に述べた実世界モデルを形式化した体系であり，オブジェクト論理，時区間論理，並行論理，および開放型論理などの側面をあわせもった総合的論理体系になっている． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | NAIVE is an executable specification language that is based on a real world model. In this paper, the logical system of the language NAIVE is proposed. The logical system is the one formalizing the real world model which is composed of concepts such as entity, relation, action, agent, field, and so on. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
情報処理学会研究報告ソフトウェア工学（SE） 巻 1992, 号 59(1992-SE-086), p. 95-102, 発行日 1992-07-20 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
