基于全局流程集成平臺的約束機制研究與應用.pdf

1、實際業(yè)務流程的多變性導致業(yè)務系統(tǒng)的開發(fā)、維護過程異常復雜。采用具柔性的開發(fā)框架，通過配置集成系統(tǒng)是解決該問題的有效手段之一。基于有限狀態(tài)自動機的開發(fā)框架FSMDF可以通過配置快速搭建業(yè)務系統(tǒng)。FSMDF的核心模型采用有限狀態(tài)自動機描述單個流程。業(yè)務流程可配置性，使得開發(fā)出的目標系統(tǒng)能夠迅速地適應流程的變化。 在開發(fā)實踐中，發(fā)現(xiàn)原有模型在描述復雜流程以及對多流程間交互方面存在不足。通過對其核心模型的分析，結合使用FSMDF的開發(fā)實

2、踐，本文提出一種改進的流程表示模型流程自動機(Processautomaton)。該模型在邊上施加了約束，用于控制狀態(tài)的轉換。從而提高了模型的描述能力。約束使用一種基于一階謂詞邏輯的約束描述語言(PCL)描述。新模型應用于GBPIP中。約束機制在此模型的基礎上，實現(xiàn)對各種約束的求值；用于指導框架其他模塊進行對應動作。 本文著重分析研究了幾種具有代表性的流程模式在GBPIP中的描述、解釋方法。通過擴展PCL的謂語，使得模型能夠表示