38、车辆调试流程的用户友好型属性规范与流程验证

车辆调试流程的用户友好型属性规范与流程验证

1. 引言

在生产过程中，对复杂产品（如车辆）进行系统测试和配置是至关重要的环节。调试任务用于测试组件或使其投入使用，而调试流程则描述了这些任务的安排。我们的目标是验证给定的调试流程是否正确，这涉及到指定流程必须满足的属性。

1.1 验证流程的挑战

设计一个支持用户完成整个验证过程的框架面临诸多挑战：
- 知识分散 ：关于流程应满足的特性的知识通常分散在不同部门的员工中，且往往缺乏文档记录，这些知识仅存在于流程建模者的脑海中。
- 上下文敏感 ：属性通常具有上下文敏感性，仅在特定的调试流程上下文中成立。这导致属性数量众多且存在许多细微差异的变体，给维护带来了问题。
- 形式化困难 ：为了应用自动验证技术，需要用形式化语言（如时态逻辑）指定属性，但对于领域专家来说，这样做容易出错且通常不可行。
- 评估困难 ：评估验证方法具有挑战性，需要明确评估标准。

1.2 解决方案概述

我们基于车辆调试流程的实际用例解决了这些挑战，具体贡献如下：
- 分析了车辆调试流程中出现的属性以及相应的上下文信息，发现这些属性遵循少数模式，并提议明确表示这些模式。
- 开发了一个关于车辆调试流程的上下文知识模型，使用关系数据库管理上下文信息。
- 框架利用这些信息生成特定于流程的属性模式实例，将流程转换为 Petri 网，并根据这些属性对其进行验证。

2. 场景与需求