@techreport{oai:ipsj.ixsq.nii.ac.jp:00022302,
 author = {間野, 暢興 and Nobuoki, Mano},
 issue = {62(1990-SE-073)},
 month = {Jul},
 note = {実時間システムやオペレーテングシステムなどの並行システムの、要求、設計、仕様、プログラム、データ、知識などほとんど全ての情報を、対象物?関係指向の意味モデルによりモデル化して表現する形式を提案する．並行プロセス間の全ての交信は、それらの間の入出力事象としてとらえられる．各プロセスの各手続きについてそのデータ列を単一の入力木および出力木表現に統合した後で、それらの両方に対応する形のプログラムモデルを組み立てる．この二次元グラフ表現のモデルを用いることにより、抽象構文木、状態遷移図、およびプロセス交信図を統合した表現が可能となる．例題として単一ソースソート・エコーアルゴリズムおよびエレベータ問題を取り上げる．, 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.},
 title = {意味モデルによる並行システムの表現形式},
 year = {1990}
}