WEKO3
アイテム
知識ベースを用いたシステム設計における仕様の検証と直接実行
https://ipsj.ixsq.nii.ac.jp/records/21256
https://ipsj.ixsq.nii.ac.jp/records/2125679102ab2-89d4-4b83-b997-4d0bd5d37180
名前 / ファイル | ライセンス | アクション |
---|---|---|
![]() |
Copyright (c) 2005 by the Information Processing Society of Japan
|
|
オープンアクセス |
Item type | SIG Technical Reports(1) | |||||||
---|---|---|---|---|---|---|---|---|
公開日 | 2005-05-31 | |||||||
タイトル | ||||||||
タイトル | 知識ベースを用いたシステム設計における仕様の検証と直接実行 | |||||||
タイトル | ||||||||
言語 | en | |||||||
タイトル | Verification and Direct Execution of System Design Using a Knowledge-Based Modeling Approach | |||||||
言語 | ||||||||
言語 | jpn | |||||||
資源タイプ | ||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
資源タイプ | technical report | |||||||
著者所属 | ||||||||
明星大学大学院 情報学研究科 | ||||||||
著者所属 | ||||||||
明星大学大学院 情報学研究科 | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Graduate School of Informatics,Meisei University | ||||||||
著者所属(英) | ||||||||
en | ||||||||
Graduate School of Informatics,Meisei University | ||||||||
著者名 |
金子, 誉万
間野, 暢興
× 金子, 誉万 間野, 暢興
|
|||||||
著者名(英) |
Takakazu, Kaneko
Nobuoki, Mano
× Takakazu, Kaneko Nobuoki, Mano
|
|||||||
論文抄録 | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | 実時間・分散システムを対象とした、知識ベースを用いたシステム設計方式を本論分で提案する。本研究のアプローチは論理的なアプローチに属し、本方式のモデルは状態記述を基としている。知識ベースにおけるモデルは、本方式独自の仕様記述言語の記述から組み立てられる。これらの知識ベースにおけるモデルは、ソフトウェア開発の上流工程におけるシステム設計の(半)自動化(本研究では、検証によるデッドロックの検出、仕様の直接実行システムによる仕様の確認を扱った)に大いに貢献する。本論分ではATMシステムを玲に本方式の利用形態について説明する。 | |||||||
論文抄録(英) | ||||||||
内容記述タイプ | Other | |||||||
内容記述 | We propose an approach using models in the knowledge-base for the system design of real-time distributed systems. Our approach belongs to a logical one and uses models based on state descriptions.Models in the knowledge-base are constructed from the specification descriptions in our specification description language.These models greatly contribute to the semi-automation of various activities in the course of system design, such as design verification with deadlock and specification validation by direct execution of specifications. We explain these processes, using ATM system design as an example. | |||||||
書誌レコードID | ||||||||
収録物識別子タイプ | NCID | |||||||
収録物識別子 | AN10112981 | |||||||
書誌情報 |
情報処理学会研究報告ソフトウェア工学(SE) 巻 2005, 号 55(2005-SE-148), p. 1-8, 発行日 2005-05-31 |
|||||||
Notice | ||||||||
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
出版者 | ||||||||
言語 | ja | |||||||
出版者 | 情報処理学会 |