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

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