11、分布式系统的自诊断与组件自主化：基于模型与合约的方法

分布式系统的自诊断与组件自主化：基于模型与合约的方法

1. 复杂系统自诊断框架概述

在当今的技术环境中，复杂系统的自诊断是一项极具挑战性的任务，尤其是针对现有的遗留系统。为了解决这一问题，提出了一种基于模型的自诊断框架，该框架定义并关联了复杂系统的三个视图：功能视图、操作视图和实现视图。自诊断基于复杂系统的静态和动态模型，将这些视图映射到系统模型规范的不同层次。同时，传感器与这些层次明确关联，为每个层次定义了传感器类型，系统管理员可以依据此结构自动配置传感器。

1.1 操作作业与传感器规范

• OPayment 操作作业
  • 输入 ：无支付状态的交易（Trade）。
  • 输出 ：带有支付状态的交易（Trade）。
  • 任务 ：
    1. 通过 HTTP 请求发送支付命令。
    2. 接收 HTTP 请求。
    3. 通过 SOAP 向中介发送支付。
    4. 通过 MQSeries 向后端发送支付。
    5. 向中介发送支付状态。
    6. 向 Web 应用程序发送支付状态。
    7. 通过 JDBC 向数据库管理器发送交易状态更改。
    8. 发送交易确认。
    9. 通过 HTTP 向浏览器发送更新后的交易。