论文部分内容阅读
本文对基于同步网的工作流模型验证工具的设计与实现进行了研究。主要内容如下：
⑴分析了基于同步网的工作流模型验证关注的主要问题，讨论了基于同步网的工作流模型的规约规则，并分析了基于同步网的工作流模型的逻辑层验证关注的主要问题。
⑵讨论了基于同步网的工作流模型规约工具的解决方案，通过XMLSchema和独立算法相结合的方式来设计与实现模型规约工具。
⑶讨论了应用区间算术设计、实现基于同步网的工作流模型的语义层验证工具的解决方案。在语义层的验证中，借助于软件测试中自盒测试的思想，使用路径测试中测试数据自动生成的方法，验证每个同步器的后继变迁中的guard能否正确的消解冲突。
⑷讨论了基于同步网的工作流模型验证工具的设计与实现。该工具可以从模型规约、逻辑层和语义层三个方面对基于同步网的工作流模型进行验证。