8、使用CPN与工具支持移动终端及工作流网补偿机制

使用CPN与工具支持移动终端及工作流网补偿机制

1. CPN在移动终端相关研究中的应用

在移动终端相关的研究中，CPN（Colored Petri Nets，有色Petri网）发挥了重要作用，下面从几个具体的项目来介绍其应用情况。

1.1 手机UI功能交互分析

在对手机UI功能交互的研究中，利用CPN模型检测可能的功能交互和死锁情况。具体操作是在生成的状态空间上，使用时态逻辑表达的两个属性查询，不过这里仅针对功能组合，而非完整的CPN模型。虽然CPN模型适合自动分析，但完整模型的状态空间过大，当前工具难以处理。该项目提升了对手机UI功能及交互的认识，其功能交互模式和分类已被用于诺基亚手机UI规范。

1.2 系统性能和可靠性评估

在评估诺基亚DX200交换系统的通话记录管理子系统的软件架构关键属性时，使用CPN模型聚焦于子系统的可靠性和性能属性。操作步骤如下：
1. 创建涵盖系统关键功能和容错机制细节的架构行为模型。
2. 分析该模型在各种软硬件故障情况下的容错机制。
3. 扩展模型加入性能因素，通过仿真检查容错机制对系统性能的影响。
4. 对提出的改进架构方案同样建模分析，使用Design/CPN的仿真工具对两个模型进行大量仿真，分析比较性能和可靠性属性。

仿真结果揭示了通过其他方法未发现的系统属性，为高速交换新产品设计提供反馈，有助于找到高性能、低成本、合理可靠性且符合行业标准的理想方案。但由于CPN模型规模、仿真数据量和计算机处理能力限制，只能对部分重要子模型进行形式化分析，仅验证了一些局部属性。

1.3 手机应用软件开发内存使用估计