並列システムの仕様記述、デザインのためのGPAMソフトウェア・ツール

用于并行系统规范和设计的 GPAM 软件工具

• 批准号: 09780270
• 负责人: I UlidoWSKi
• 金额: $ 1.34万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 1998
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09780270/
• 关键词: プロセス代数; 構造的操作意味定義; 実時間性; 通信プロセスモデル; 並行分散システム; 形式意味論

本研究では、プロセス代数の動作的定義に一般的に用いられる構造的操作意味定義(Structural Operational Somantics)を拡張し、SOS定義の構文に対してSOS定義が導くラベル付遷移システムの動作の代数的性質を保証する条件を提案する。この条件を検証することで、妥当な動作的性質を持つプロセス代数の系統的な設計手法を示し、実際の言語設計ツール構築を目的とする。前年度までに導入した順序付きSOS定義に対して、本年度は時間の概念を導入することで、より実際的なモデル化を可能とした。本年度は以下の項目について研究を行った。・順序付SOS定義に対してEager Rooted双模倣意味論による合同性条件を与えた。・SOS定義に対して、離散時間単位を表わす特別なラベルσを導入し、Eager Rooted双模倣意味論を時間に対して拡張した。・SOS定義に対して、σによる遷移が離散時間のモデルとして良定義であるための条件を提案した。・国内の他の研究者と共同して、時間拡張の条件をチェックするツールの基本的な設計を行った。これらの成果により、実際のGPAMソフトウェア・ツールの設計のためのノウハウが蓄積できたと考えている。今後は、さらに時間を導入したTest前順序意味論に対しても検討を加えることにより、統一的な設計手法が提案できるようになり、ツールの作成が可能となる。

In this paper, we propose some conditions for the Structural Operational somatics definition and SOS definition to guarantee the algebraic properties of SOS algebra. This condition is verified by the nature of the appropriate action, the design method of the algebra system, and the actual speech design. In the previous year, the introduction of the concept of SOS was carried out in the order in which SOS was defined. In the current year, the concept of SOS was introduced in the order in which SOS was introduced. This year, the following research projects were carried out.·Order of payment SOS definition Eager Rooted double imitation theory Contractual conditions SOS definition, discrete time unit table, special time unit table, Eager Rooted double imitation theory, time unit table SOS definition, σOther researchers in China have worked together to develop basic designs for time and space. This is the result of the actual design of the GPAM software. In the future, the introduction of time before the Test means that the design method of unification is possible.

项目成果

ウリドフスキー,I.: "Extending Processes with Time" Lecture Notes in Computer Science. 1349. 524-538 (1997)

Ulidovsky, I.：“随着时间的推移扩展过程”计算机科学讲义 1349. 524-538 (1997)。