意味モデルによる並行システムの表現形式

• Item type: SIG Technical Reports(1)
• 公開日: 1990-07-19
• タイトル: 意味モデルによる並行システムの表現形式
• タイトル / 言語: en
• タイトル: REPRESENTATION FORM OF CONCURRENT SYSTEMS BY THE SEMANTIC MODEL
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 電子技術総合研究所
• 著者所属(英): en
• 著者所属(英): ElectroTechnical Laboratory
• 著者名: 間野, 暢興
• 著者名(英): Nobuoki, Mano
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 実時間システムやオペレーテングシステムなどの並行システムの、要求、設計、仕様、プログラム、データ、知識などほとんど全ての情報を、対象物?関係指向の意味モデルによりモデル化して表現する形式を提案する．並行プロセス間の全ての交信は、それらの間の入出力事象としてとらえられる．各プロセスの各手続きについてそのデータ列を単一の入力木および出力木表現に統合した後で、それらの両方に対応する形のプログラムモデルを組み立てる．この二次元グラフ表現のモデルを用いることにより、抽象構文木、状態遷移図、およびプロセス交信図を統合した表現が可能となる．例題として単一ソースソート・エコーアルゴリズムおよびエレベータ問題を取り上げる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: I propose the representation formalism of S-model (Semantic model) for representing almost all information --- requirements, design, specifications, program, data and knowledge --- of concurrent systems such as real-time systems and operating systems. S-model is represented with object-relationship formalism. Each of the communication between concurrent processes is taken as the input-output data-sequence between them. After unifying these into a single input-tree and a single output-tree representation for each procedures of each process, we construct a graph-like program model of the procedure corresponding with both of them. The model is the unified form of abstract syntax, state-transition-diagram, and communication-diagram between processes. The single-source-sort-echo-algorithm for process networks and the elevator problem are used as the example problems.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 情報処理学会研究報告ソフトウェア工学（SE）; 巻 1990, 号 62(1990-SE-073), p. 11-18, 発行日 1990-07-19
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会