(北京航空航天大學100191)
摘 要：在研究現有工作流模型的基礎之上，提出了一種基于構件技術的適用于分布式環境的工作流模型。該模型克服了現有工作流模型如基于有向圖工作流模型對系統變化適應性不足的問題。采用構件技術，使得工作流模型更具模塊化，易于排錯與修改；簡化工作流定義工具的設計與實現；支持運行時構件的切換。更進一步，利用Pi演算對新模型進行形式化描述，通過Pi演算推導，模擬模型的執行過程，并給出一個新模型的應用實例。
關鍵詞：構件通信；工作流；工作流模型；構件技術；模型驗證；pi演算；
component-based distributed workflow modeling and verification
Liu Xupeng
(Beijing University of Aeronautics and Astronautics 100191)
Abstract：After analysing and summarizing the existing workflow model, an improved and component-based distributed workflow model is introduced by adding more flexibility. The model enhances the adaption of the existing workflow model based on directed graph as the system changes. The use of component technology makes the workflow model is more modular and easy to debug and modify; streamlines the design and implementation of the workflow definition tool; supports run-time switch of the components. Furthermore, the use of PI calculus formal description of the new model, derived by Pi-calculus, simulates the model execution, and gives examples of a new model to prove the correctness and validity of the model.
Key words：component communication, workflow, workflow model, component technology, pi calculus, model verification
參考文獻
[1] 吳紅莉.工作流數據的描述及訪問機制[A]. 小型微型計算機系統,2009,30卷(2期) :259-265.
[2] 薛崗.基于Pi演算的工作流模式描述[A].計算機科學,2008,5卷:191-194.
[3] 廖軍.基于Pi演算的Web服務組合的描述與驗證[A].計算機學報,2005,28卷(4期):635-643.
[4] 王金朋.基于Pi-演算的擴展有向圖工作流模型及驗證[A].計算機工程與設計,2010,31(10).2399-2403.
[5] 何鋒.一種基于UML活動圖的工作流模式描述與驗證方式[A].科技信息,2009,33期:789-791.
[6] 李占峻.應用Pi演算描述工作流高級模式[A].信息工程大學學報,2009,10卷:537-547.
[7] Kim K.A Model-driven Workflow Fragmentation Framework for Collaborative Workflow Architectures and Systems. J Network Computer Appl (2011),doi:10.1016/j.jnca.2011.03.029.
[8] Workflow Management Coalition, The Workflow Reference Model, WfMC TC00-1003, 1994.
[9] Shiyong Lu. Automatic Workflow Verification and Generation. Theoretical Computer Science(2005), doi:10.1016/j.tcs.2005.10.035.
[10] Hai Zhuge. Component-based Workflow systems development.Decision Support Systems(2002), doi:10.1016/S0167-9236(02)00127-6.
[11] Margin Strecker.Modeling and Verifying Graph Transformations in Proff Assistants.Electronic Notes in Theoretical Computer Science(2008), doi:10.1016/j.entcs.2008.03.039.
[12] A.H.M. ter Hofstede. Verification Problems in conceptual workflow specifications. Data & Knowledge Engineering 362 (1998):239-256.
作者簡介：
劉旭鵬（1987-），男，河北邢臺人，北京航空航天大學計算機學院碩士二年級學生，主要研究方向為面向模型的工作流分析與驗證。
