工作流網的結構正確性驗證

摘要：本文利用工作流網作為形式化建模工具，然后在此基礎上研究了工作流網的結構正確性，其分析方法主要是利用了工作流網模型結構正確性與短回路網的活性和有界性的等價關系，然后結合Petri網的驗證技術對自由選擇網的活性和有界性進行分析，從而得到自由選擇網的正確性，從而驗證工作流網模型的結構正確性。

關鍵詞：工作流 驗證 模型

0 引言

工作流建模方法主要研究如何清晰、準確地表示實際應用中的過程，特別是研究如何以形式化的方法表示過程模型，目的是要建立一個表達能力強、容易理解且易于驗證和分析的理想的工作流模型。工作流模型的結構合理性驗證技術是目前工作流技術研究中的一個重點，保證工作流模型的設計正確性對于實際應用具有重要的意義。