Expert System for Evaluating the Behavior of Concurrent System Prototy

评估并发系统原型行为的专家系统

• 批准号: 01580034
• 负责人: ITOH K
• 金额: $ 0.7万
• 依托单位: Sophia University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for General Scientific Research (C)
• 财政年份: 1989
• 资助国家: 日本
• 起止时间: 1989 至 1990
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-01580034/
• 关键词: Concurrent Software; Behavior Evaluation; Expert System; Dead lock; Bottleneck; Performance Evaluation; Functional Evaluation; Prototype; プロトタイピング; プロトタイプの評価; 診断型エキスパ-トシステム

In software prototyping, there exists a cycle named prototyping cycle, which has 3 phases, i. e., prototype building, execution and evaluation phases. Software designers should perform prototyping activity around the cycle as fast as possible in order to validate, modify and refine requirements and design. In complex concurrent software, the visual inspection is not enough to examine the behavior of the prototype. In order to prompt the rapidness of prototyping, more effective tools should be provided at the prototype evaluation phase for the examination of the prototype behavior. This research studies the effective tools on the basis on diagnosis type of expert systems. These tools can detects the bottleneck and the deadlock and provide improvement plans for avoiding their sources. Deadlock is the fatal effect of function of concurrent software systems. Bottleneck is the fatal effect of performance of concurrent software systems. Expert system for deadlock is based on the linear integer programming for obtaining firing sequences by which the system falls into the deadlock state. Expert system for bottleneck is based on the qualitative reasoning for improving bottlenecks. This research also studies the complementary role of heuristic diagnosis method on the basis of expert system and the analytical diagnosis method on the basis of algorithm, and the complementary role of qualitative diagnosis and quantitative diagnosis.

在软件原型设计中，存在一个称为原型设计周期的周期，该周期包含三个阶段，即原型构建、执行和评估阶段。软件设计师应该围绕周期尽可能快地执行原型活动，以便验证、修改和细化需求和设计。在复杂的并发软件中，视觉检查不足以检查原型的行为。为了提高原型的快速性，应该在原型评估阶段提供更有效的工具来检查原型的行为。研究了基于专家系统诊断类型的有效工具。这些工具可以检测瓶颈和死锁，并提供改进计划以避免它们的来源。死锁是并发软件系统功能的致命影响。瓶颈是并发软件系统性能的致命影响。死锁专家系统是基于线性整数规划来获取系统陷入死锁状态的触发序列。瓶颈专家系统是基于改进瓶颈的定性推理。研究了基于专家系统的启发式诊断方法与基于算法的分析诊断方法的互补作用，以及定性诊断与定量诊断的互补作用。

项目成果

伊藤 潔,他: "定性推論のパラメ-タチュ-ニングへの応用" 情報処理. 32. 126-136 (1991)

Kiyoshi Ito 等人：“定性推理在参数调整中的应用”信息处理 32. 126-136 (1991)。

伊藤 潔 他: "定性推論のパラメ-タチュ-ニングへの応用" 情報処理. 32. 126-136 (1991)

Kiyoshi Ito 等人：“定性推理在参数调整中的应用”信息处理 32. 126-136 (1991)。

伊藤 潔,他: "シミュレ-ション手法に基づいた並行処理ソフトウェアのプロトタイピング手法" シミュレ-ション学会誌. 8.3. 181-190 (1989)

Kiyoshi Ito 等人：“基于仿真方法的并行处理软件的原型方法”，模拟学会杂志 8.3（1989）。

志田 圭介他: "同期型待ち行列ネットワ-クボトルネックに対する定性的なパラメ-タチュ-ニング" 人工知能学会誌. (1991)

Keisuke Shida 等人：“同步排队网络瓶颈的定性参数调整”人工智能学会杂志 (1991)。

Shida, K. et al.: "Qualitative parameter tuning for Synchronized queueing network bottleneck" Journal of JSAI. (1991)

Shida, K. 等人：“同步排队网络瓶颈的定性参数调整”JSAI 杂志。