WEKO3
アイテム
代数的言語ASLで記述した在庫管理プログラムとその正しさの証明 （「並行・並列・分散処理」）
https://ipsj.ixsq.nii.ac.jp/records/30850
https://ipsj.ixsq.nii.ac.jp/records/30850a3139e6d-7aa6-41bb-9401-1baa6bf40d3c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-PRO90027023.pdf (1.5 MB)
|
Copyright (c) 1990 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1990-12-12 | |||||||
| タイトル | ||||||||
| タイトル | 代数的言語ASLで記述した在庫管理プログラムとその正しさの証明 （「並行・並列・分散処理」） | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A Stock Management Program written in Algebraic Language ASL and Its Correctness Proof | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 大阪大学基礎工学部情報工学科 | ||||||||
| 著者所属 | ||||||||
| 大阪大学基礎工学部情報工学科 | ||||||||
| 著者所属 | ||||||||
| 大阪大学基礎工学部情報工学科 | ||||||||
| 著者所属 | ||||||||
| 大阪大学基礎工学部情報工学科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Department of Information and Computer Sciences, Faculty of Engineering Science, Osaka University | ||||||||
| 著者名 |
岡野, 浩三
× 岡野, 浩三
|
|||||||
| 著者名(英) |
Kouzou, Okano
× Kouzou, Okano
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 情報処理学会誌においてプログラム作成法の比較研究のための共通問題として取り上げられた酒屋在庫管理プログラムを我々の研究グループが設計した代数的言語ASLを用いて記述した．そのプログラムはASLの部分言語である抽象的順序機械型言語ASL/ASMを用いて階層的に記述されており，ASLシステムのコンパイラを用いて翻訳・実行できる．また，出庫依頼書に対する処理について，満たすべき要求をASLで記述し，作成したプログラムがその要求を満たしていることをASLシステムの検証支援機能を用いて証明した．本報告では，そのプログラムおよび検証した性質，証明の仕方，証明に要した手間等について説明されている． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | A Stock Management Problem for a wholesale liquor dealer was introduced as a common problem for program design. In this paper, an ASL program for the stock management is presented. ASL is an algebraic language designed by our group. The program is described hierarchically in Abstract Sequential Machine (ASM) style and can be compiled to an executable one by ASL system. Requirements of a procedure which deals with a shipping request is described in ASL. We proved that the program satisfies the requirements by using a verification support system for ASL. The proof method and the working load the proof are also explained. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10485570 | |||||||
| 書誌情報 |
情報処理学会研究報告プログラミング（PRO） 巻 1990, 号 101(1990-PRO-027), p. 193-202, 発行日 1990-12-12 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
