锘??xml version="1.0" encoding="utf-8" standalone="yes"?>
鍦ㄥ疄闄呯殑嫻佺▼鍙戦佸姩浣滀腑錛岃繕鏈夋洿涓哄鏉傜殑鎯呭喌錛岃薄鎶勯併佷紶闃呭姙鐞嗐佽煩杞佷細絳劇瓑榪欎簺鐗規畩綾誨瀷鐨勫彂閫佸姩浣滐紝瀹炵幇璧鋒潵灝辨瘮涓婅堪鐨勫彂閫佸姩浣滄洿涓哄鏉傦紝浣嗗叾瀹炵幇鍘熺悊浠嶇劧綾諱技涓婇潰鎵榪般?nbsp; 闃呰鍏ㄦ枃
]]>
]]>
浼佷笟鍦ㄨ繘琛屼笟鍔″鐞嗘椂錛屾斂搴滃湪榪涜鍏枃瀹℃壒鏃訛紝閮芥槸浠ユ祦紼嬪艦寮忚岃繘琛岀殑錛屽湪淇℃伅鍖栫殑榪囩▼涓紝浼佷笟銆佹斂搴滀篃灝嗚繖浜涗笟鍔″鐞嗐佸叕鏂囧鎵圭殑榪囩▼淇℃伅鍖栦簡錛屾棭鏈熼氬父鏄氳繃紼嬪簭紜紪鐮佺殑鏂瑰紡鏉ュ鐞嗚繖浜涗笟鍔°佸叕鏂囩殑嫻佽漿錛岄殢鐫涓氬姟銆佸叕鏂囩殑澶嶆潅鐨勫鐞嗘儏鍐典笉鏂嚭鐜頒互鍙婇渶姹傜殑涓嶆柇鍙樻洿錛岃繖縐嶇‖緙栫爜鐨勬柟寮忔樉鐒跺凡鏃犳硶搴斿錛岃繖涓椂鍊欏伐浣滄祦綆$悊緋葷粺搴旇繍鑰岀敓錛屾巰璧蜂簡涓鑲″伐浣滄祦綆$悊緋葷粺鐨勭儹娼?/SPAN>
閭d箞鍒板簳宸ヤ綔嫻佺鐞嗙郴緇熻兘澶熷甫鏉ヤ粈涔堝ソ澶勶紵宸ヤ綔嫻佺鐞嗙郴緇熼氳繃瀵逛笟鍔°佸叕鏂囨祦杞繘琛屽垎鏋愪互鍙婃娊璞★紝灝嗕笉鍙樺拰鍙樺寲鐨勯儴鍒嗚繘琛屽垝鍒嗭紝鐢ㄦ埛鍙交鏉劇殑閫氳繃鍙鍖栫殑宸ュ叿瀵逛簨欏圭殑嫻佺▼銆佹祦紼嬬幆鑺傛秹鍙婄殑浜哄憳(瑙掕壊)銆佹祦紼嬬幆鑺傜殑琛ㄥ崟銆佹祦紼嬬幆鑺傜殑鎿嶄綔榪涜淇敼錛屼粠鑰屽埌杈句簡搴斿涓嶆柇鍙樺寲鐨勯渶姹傜殑鐩殑錛岃屽伐浣滄祦綆$悊緋葷粺閫氬父鎻愪緵鐨勬祦紼嬬洃鎺с佹煡璇㈢粺璁℃ā鍧楁洿鏄瀬澶х▼搴︾殑涓虹敤鎴蜂紭鍖栨祦紼嬫彁渚涙敮鎸侊紝浠ユ彁楂樹紒涓氥佹斂搴滅殑宸ヤ綔鏁堢巼銆?/SPAN>
鏈枃涓昏鎻忚堪宸ヤ綔嫻佺鐞嗙郴緇熼氬父鐨勭粨鏋勩佸弬鑰冩ā鍨嬩互鍙婇氬父浣跨敤鐨勮皟搴︾畻娉曘?/SPAN>
浜? 鏋勬垚
宸ヤ綔嫻佺鐞嗙郴緇燂紝綆縐?/SPAN>WFMS錛岀粡榪囧涓氬姟銆佸叕鏂囨祦杞繃紼嬬殑鍒嗘瀽浠ュ強鎶借薄錛屽伐浣滄祦綆$悊緋葷粺鍥寸粫涓氬姟浜や簰閫昏緫銆佷笟鍔″鐞嗛昏緫浠ュ強鍙備笌鑰呬笁涓棶棰樿繘琛岃В鍐籌紝涓氬姟浜や簰閫昏緫瀵瑰簲鐨勪負涓氬姟鐨勬祦杞繃紼嬶紝鍦ㄥ伐浣滄祦綆$悊緋葷粺涓搴旂殑鎻愬嚭浜嗗伐浣滄祦寮曟搸銆佸伐浣滄祦璁捐鍣ㄣ佹祦紼嬫搷浣滄潵瑙e喅涓氬姟浜や簰閫昏緫鐨勯棶棰橈紝涓氬姟澶勭悊閫昏緫瀵瑰簲涓氬姟嫻佽漿榪囩▼涓殑琛ㄥ崟銆佹枃妗g瓑鐨勫鐞嗭紝鍦ㄥ伐浣滄祦綆$悊緋葷粺涓搴旂殑鎻愬嚭浜嗚〃鍗曡璁″櫒銆佷笌琛ㄥ崟鐨勯泦鎴愭潵瑙e喅涓氬姟澶勭悊閫昏緫鐨勯棶棰橈紝鍙備笌鑰呭搴斿埌鐨勪負嫻佽漿榪囩▼涓幆鑺傚搴旂殑浜烘垨紼嬪簭錛屽湪宸ヤ綔嫻佺鐞嗙郴緇熶腑閫氳繃涓庡簲鐢ㄧ▼搴忕殑闆嗘垚鏉ヨВ鍐沖弬涓庤呯殑闂銆?/SPAN>
宸ヤ綔嫻佺鐞嗙郴緇熶負鏂逛究涓氬姟浜や簰閫昏緫銆佷笟鍔″鐞嗛昏緫浠ュ強鍙備笌鑰呯殑淇敼錛屽鏁伴氳繃鎻愪緵鍙鍖栫殑嫻佺▼璁捐鍣ㄤ互鍙婅〃鍗曡璁″櫒鏉ュ疄鐜幫紝涓哄疄鐜板伐浣滄祦綆$悊緋葷粺鐨勬墿灞曟э紝澶氭暟鎻愪緵浜嗕竴緋誨垪鐨?/SPAN>API銆?/SPAN>
涓涓畬鏁寸殑宸ヤ綔嫻佺鐞嗙郴緇熼氬父鐢卞伐浣滄祦寮曟搸銆佸伐浣滄祦璁捐鍣ㄣ佹祦紼嬫搷浣溿佸伐浣滄祦瀹㈡埛绔▼搴忋佹祦紼嬬洃鎺с佽〃鍗曡璁″櫒銆佷笌琛ㄥ崟鐨勯泦鎴愪互鍙婁笌搴旂敤紼嬪簭鐨勯泦鎴愬叓涓儴鍒嗙粍鎴愩?/SPAN>
2.1. 宸ヤ綔嫻佸紩鎿?/SPAN>
宸ヤ綔嫻佸紩鎿庝綔涓哄伐浣滄祦綆$悊緋葷粺鐨勬牳蹇冮儴鍒嗭紝涓昏鎻愪緵浜嗗浜庡伐浣滄祦瀹氫箟鐨勮В鏋愪互鍙婃祦紼嬫祦杞殑鏀寔銆傚伐浣滄祦瀹氫箟鏂囦歡鎻忚堪浜嗕笟鍔$殑浜や簰閫昏緫錛屽伐浣滄祦寮曟搸閫氳繃瑙f瀽姝ゅ伐浣滄祦瀹氫箟鏂囦歡鎸夌収涓氬姟鐨勪氦浜掗昏緫榪涜涓氬姟鐨勬祦杞紝宸ヤ綔嫻佸紩鎿庨氬父閫氳繃鍙傝冩煇縐嶆ā鍨嬫潵榪涜璁捐錛岄氳繃璋冨害綆楁硶鏉ヨ繘琛屾祦紼嬬殑嫻佽漿(嫻佺▼鐨勫惎鍔ㄣ佺粓姝€佹寕璧楓佹仮澶嶇瓑)錛岄氳繃鍚勭鐜妭璋冨害綆楁硶(SPLIT銆?/SPAN>AND銆?/SPAN>OR絳?/SPAN>)鏉ュ疄鐜板浜庣幆鑺傜殑嫻佽漿(鐜妭鐨勫悎騫躲佸垎鍙夈侀夋嫨銆佹潯浠舵х殑閫夋嫨絳?/SPAN>)銆?/SPAN>
2.2. 宸ヤ綔嫻佽璁″櫒
宸ヤ綔嫻佽璁″櫒涓哄彲瑙嗗寲鐨勬祦紼嬭璁″伐鍏鳳紝鐢ㄦ埛閫氳繃鎷栨斁絳夋柟寮忔潵緇樺埗嫻佺▼錛屽茍閫氳繃瀵逛簬鐜妭鐨勯厤緗潵瀹炵幇鐜妭鎿嶄綔銆佺幆鑺傝〃鍗曘佺幆鑺傚弬涓庤呯殑閰嶇疆銆?/SPAN>
宸ヤ綔嫻佽璁″櫒涓虹敤鎴蜂互鍙婂紑鍙戝晢鎻愪緵浜嗗揩閫熺粯鍒躲佷慨鏀規祦紼嬬殑鏂瑰紡錛屽伐浣滄祦璁捐鍣ㄧ殑濂藉潖鍐沖畾鍒板伐浣滄祦綆$悊緋葷粺鐨勬槗鐢ㄦс?/SPAN>
2.3. 嫻佺▼鎿嶄綔
嫻佺▼鎿嶄綔鎸囨墍鏀寔鐨勫浜庢祦紼嬬幆鑺傜殑鎿嶄綔錛屽鍚姩嫻佺▼銆佺粓姝㈡祦紼嬨佹寕璧鋒祦紼嬨佺洿嫻併佸垎嫻?/SPAN>(鍗曚漢鍔炵悊)銆佸茍嫻?/SPAN>(澶氫漢鍚屾椂鍔炵悊)銆佽仈瀹$瓑錛岃薄榪欎簺嫻佺▼鎿嶄綔閮芥槸鍙洿鎺ュ熀浜庡紩鎿庢墍鎻愪緵鐨勭幆鑺傝皟搴︾畻娉曟潵鐩存帴鏀寔鐨勶紝鑰屽湪瀹為檯鐨勯渶姹備腑錛岄氬父闇瑕佽嚜鐢辯殑瀵逛簬嫻佺▼榪涜騫叉秹錛屽鍙栧洖銆佸洖閫銆佽煩杞佽拷鍔犮佷紶闃呫佷紶闃呭姙鐞嗙瓑錛岃岃繖浜涙祦紼嬫搷浣滃浜庡伐浣滄祦寮曟搸鏉ヨ鏄笉鍚堢悊鐨勶紝鍥犳蹇呴』鍗曠嫭鐨勫幓瀹炵幇銆?/SPAN>
嫻佺▼鎿嶄綔鏀寔鐨勫ソ鍧忕洿鎺ュ喅瀹氬埌涓涓伐浣滄祦綆$悊緋葷粺鐨勫疄鐢ㄦс?/SPAN>
2.4. 宸ヤ綔嫻佸鎴風紼嬪簭
宸ヤ綔嫻佸鎴風紼嬪簭涓哄伐浣滄祦緋葷粺鐨勮〃鐜板艦寮忥紝閫氬父浣跨敤Web鏂瑰紡榪涜灞曠幇錛岄氳繃鎻愪緵寰呭姙鍒楄〃銆佸凡鍔炲垪琛ㄣ佹墽琛屾祦紼嬫搷浣溿佹煡鐪嬫祦紼嬪巻鍙蹭俊鎭瓑鏉ュ睍鐜板伐浣滄祦緋葷粺鐨勫姛鑳姐?/SPAN>
2.5. 嫻佺▼鐩戞帶
嫻佺▼鐩戞帶閫氳繃鎻愪緵鍥懼艦鍖栫殑鏂瑰紡鏉ュ嫻佺▼鎵ц榪囩▼榪涜鐩戞帶錛屽寘鎷祦紼嬭繍杞姸鍐碉紝姣忎釜鐜妭鎵鑰楄垂鐨勬椂闂寸瓑絳夛紝鑰岄氳繃榪欎簺鍙浉搴旂殑榪涜嫻佺▼鐨勪紭鍖栵紝浠ユ彁楂樺伐浣滄晥鐜囥?/SPAN>
2.6. 琛ㄥ崟璁捐鍣?/SPAN>
琛ㄥ崟璁捐鍣ㄤ負鍙鍖栫殑琛ㄥ崟璁捐宸ュ叿錛岀敤鎴烽氳繃鎷栨斁鐨勬柟寮忔潵緇樺埗涓氬姟鎵闇鐨勮〃鍗曪紝騫跺彲鐩稿簲鐨勮繘琛岃〃鍗曟暟鎹殑緇戝畾銆?/SPAN>
琛ㄥ崟璁捐鍣ㄤ負瀹㈡埛浠ュ強寮鍙戝晢鎻愪緵浜嗗揩閫熶慨鏀硅〃鍗曠殑鏂規硶錛岃〃鍗曡璁″櫒鐨勬槗鐢ㄤ笌鍚︿互鍙婂姛鑳界殑瀹屽杽涓庡惁褰卞搷鍒板伐浣滄祦綆$悊緋葷粺鐨勬槗鐢ㄦс?/SPAN>
2.7. 涓庤〃鍗曠殑闆嗘垚
閫氬父涓氬姟嫻佽漿闇瑕佽〃鍗曟潵琛ㄨ揪瀹為檯鐨勪笟鍔★紝鍥犳闇瑕佷笌琛ㄥ崟榪涜闆嗘垚鏉ュ疄鐜頒笟鍔℃剰涔夛紝涓庤〃鍗曠殑闆嗘垚閫氬父鍖呮嫭琛ㄥ崟鏁版嵁鐨勮嚜鍔ㄨ幏鍙栥佸瓨鍌ㄣ佷慨鏀癸紝琛ㄥ崟鍩熺殑鏉冮檺鎺у埗銆佹祦紼嬬浉鍏蟲暟鎹殑緇存姢浠ュ強嫻佺▼鐜妭琛ㄥ崟鐨勭粦瀹氥?/SPAN>
涓庤〃鍗曠殑闆嗘垚鐨勫ソ鍧忓獎鍝嶅埌宸ヤ綔嫻佺鐞嗙郴緇熸槸鍚﹁兘鎻愰珮寮鍙戞晥鐜囥?/SPAN>
2.8. 涓庡簲鐢ㄧ▼搴忕殑闆嗘垚
閫氳繃涓庡簲鐢ㄧ▼搴忕殑闆嗘垚鏉ュ畬鍠勫伐浣滄祦綆$悊緋葷粺鐨勪笟鍔℃剰涔夛紝涓昏娑夊強鍒扮殑鏄笌鏉冮檺緋葷粺浠ュ強緇勭粐鏈烘瀯鐨勯泦鎴愩傛祦紼嬬幆鑺傞渶瑕佺浉搴旂殑緇戝畾涓嶅悓鐨勬墽琛岃鑹詫紝鑰屾祦紼嬫搷浣滈氬父闇瑕佷笌鏉冮檺緋葷粺銆佺粍緇囨満鏋勮繘琛屽叧鑱斻?/SPAN>
涓? 鍙傝冩ā鍨?/SPAN>
宸ヤ綔嫻佺郴緇熼氬父閫氳繃鍙傝冧竴浜涙爣鍑嗙殑妯″瀷鏉ヨ繘琛岃璁★紝涓昏鐨勬湁WFMC鍜?/SPAN>OMG錛屽湪榪欓噷涓昏浠嬬粛涓涓?/SPAN>WFMC銆?/SPAN>
3.1. WFMC
WFMC鏄浗闄呭伐浣滄祦綆$悊鑱旂洘錛屽畠浜?/SPAN>1993騫存垚绔嬶紝鍙戝竷浜嗕竴緋誨垪鐨勫伐浣滄祦瀹氫箟銆佽蔣浠舵帴鍙g殑鑽夋鏂囨湰錛屾槸鐩墠涓栫晫涓婂叕璁ょ殑鏈鍏鋒潈濞佹х殑宸ヤ綔嫻佹爣鍑嗗埗瀹氭満鏋勶紝寰楀埌浜嗗箍娉涚殑鏀寔鍜屽簲鐢ㄣ?/SPAN>
涓轟簡瀹炵幇涓嶅悓宸ヤ綔嫻佷駭鍝佷箣闂寸殑浜掓搷浣滐紝WfMC鍦ㄥ伐浣滄祦綆$悊緋葷粺鐨勭浉鍏蟲湳璇佷綋緋葷粨鏋勫強搴旂敤緙栫▼鎺ュ彛絳夋柟闈㈠埗瀹氫簡涓緋誨垪鏍囧噯銆傚伐浣滄祦綆$悊鑱旂洘緇欏嚭鐨勫伐浣滄祦瀹氫箟鏄細宸ヤ綔嫻佹槸鎸囨暣涓垨閮ㄥ垎緇忚惀榪囩▼鍦ㄨ綆楁満鏀寔涓嬬殑鍏ㄨ嚜鍔ㄦ垨鍗婅嚜鍔ㄥ寲銆傚湪瀹為檯鎯呭喌涓彲浠ユ洿騫挎硾鍦版妸鍑℃槸鐢辮綆楁満杞歡緋葷粺錛堝伐浣滄祦綆$悊緋葷粺錛夋帶鍒跺叾鎵ц鐨勮繃紼嬮兘縐頒負宸ヤ綔嫻併?/SPAN>
涓涓伐浣滄祦鍖呮嫭涓緇勬椿鍔ㄥ強瀹冧滑鐨勭浉浜掗『搴忓叧緋伙紝榪樺寘鎷繃紼嬪強媧誨姩鐨勫惎鍔ㄥ拰緇堟鏉′歡錛屼互鍙婂姣忎釜媧誨姩鐨勬弿榪般傚伐浣滄祦綆$悊緋葷粺鎸囪繍琛屽湪涓涓垨澶氫釜宸ヤ綔嫻佸紩鎿庝笂鐢ㄤ簬瀹氫箟銆佸疄鐜板拰綆$悊宸ヤ綔嫻佽繍琛岀殑涓濂楄蔣浠剁郴緇燂紝瀹冧笌宸ヤ綔嫻佹墽琛岃咃紙浜恒佸簲鐢級浜や簰錛屾帹榪涘伐浣滄祦瀹炰緥鐨勬墽琛岋紝騫剁洃鎺у伐浣滄祦鐨勮繍琛岀姸鎬併?/SPAN>
WFMC涓昏鎻愬嚭浜嗕簲涓帴鍙d笌宸ヤ綔嫻佹墽琛屾湇鍔′竴璧峰叡鍚岀粍鎴愪簡宸ヤ綔嫻佺郴緇燂細
l 鎺ュ彛涓(宸ヤ綔嫻佸畾涔変氦鎹?/SPAN>)錛岀敤浜庡湪寤烘ā鍜屽畾涔夊伐鍏蜂笌鎵ц鏈嶅姟涔嬮棿浜ゆ崲宸ヤ綔嫻佸畾涔夈備富瑕佹槸鏁版嵁浜ゆ崲鏍煎紡鍜?/SPAN>API銆傛暟鎹氦鎹㈤氳繃XPDL錛?/SPAN>API閫氳繃WAPI銆?/SPAN>
l 鎺ュ彛浜?/SPAN>(宸ヤ綔嫻佸鎴風搴旂敤鎺ュ彛)錛岀敤浜庡伐浣滄祦瀹㈡埛绔簲鐢ㄨ闂伐浣滄祦寮曟搸鍜屽伐浣滃垪琛紝閫氳繃WAPI瀹屾垚銆?/SPAN>
l 鎺ュ彛涓?/SPAN>(琚皟鐢ㄧ殑搴旂敤鎺ュ彛)錛岀敤浜庤皟鐢ㄤ笉鍚岀殑搴旂敤緋葷粺銆?/SPAN>
l 鎺ュ彛鍥?/SPAN>(宸ヤ綔嫻佺郴緇熶簰鎿嶄綔鎺ュ彛)錛岀敤浜庝笉鍚屽伐浣滄祦緋葷粺涔嬮棿鐨勪簰鎿嶄綔銆?/SPAN>
l 鎺ュ彛浜?/SPAN>(緋葷粺綆$悊鍜岀洃鎺?/SPAN>)錛岀敤浜庣郴緇熺鐞嗗簲鐢ㄨ闂伐浣滄祦鎵ц鏈嶅姟銆?/SPAN>
鍥? 鏍稿績璋冨害綆楁硶
閫氬父嫻佺▼寮曟搸閲囩敤鐨勬牳蹇冭皟搴︾畻娉曚富瑕佹湁FSM浠ュ強PetriNet涓ょ錛屽熀浜庤皟搴︾畻娉曟潵瀹屾垚嫻佺▼鐨勬祦杞?/SPAN>
4.1. FSM(鏈夐檺鐘舵佹満)
FSM鐨勫畾涔変負鍖呭惈涓緇勭姸鎬侀泦錛?/SPAN>states錛夈佷竴涓搗濮嬬姸鎬侊紙start state錛夈佷竴緇勮緭鍏ョ鍙烽泦錛?/SPAN>alphabet錛夈佷竴涓槧灝勮緭鍏ョ鍙峰拰褰撳墠鐘舵佸埌涓嬩竴鐘舵佺殑杞崲鍑芥暟錛?/SPAN>transition function錛夌殑璁$畻妯″瀷銆傚綋杈撳叆絎﹀彿涓詫紝妯″瀷闅忓嵆榪涘叆璧峰鐘舵併傚畠瑕佹敼鍙樺埌鏂扮殑鐘舵侊紝渚濊禆浜庤漿鎹㈠嚱鏁般傚湪鏈夐檺鐘舵佹満涓紝浼氭湁鏈夎澶氬彉閲忥紝渚嬪錛岀姸鎬佹満鏈夊緢澶氫笌鍔ㄤ綔錛?/SPAN>actions錛夎漿鎹?/SPAN>(Mealy鏈?/SPAN>)鎴栫姸鎬侊紙鎽╁皵鏈猴級鍏寵仈鐨勫姩浣滐紝澶氶噸璧峰鐘舵侊紝鍩轟簬娌℃湁杈撳叆絎﹀彿鐨勮漿鎹紝鎴栬呮寚瀹氱鍙峰拰鐘舵侊紙闈炲畾鏈夐檺鐘舵佹満錛夌殑澶氫釜杞崲錛屾寚媧劇粰鎺ユ敹鐘舵侊紙璇嗗埆鑰咃級鐨勪竴涓垨澶氫釜鐘舵侊紝絳夌瓑銆?/SPAN>
閬靛驚FSM嫻佺▼寮曟搸閫氳繃鐘舵佺殑鍒囨崲鏉ュ畬鎴愭祦紼嬬殑嫻佽漿銆?/SPAN>
4.2. PetriNet
淇℃伅嫻佺殑涓涓娊璞$殑銆佸艦寮忕殑妯″瀷銆傛寚鍑轟竴緋葷粺鐨勯潤鎬佸拰鍔ㄦ佹ц川銆?/SPAN>petrinet閫氬父琛ㄧず鎴愬浘銆傚浘涓湁涓ょ被鐢ㄥ姬褰兼鐩歌繛鐨勭粨鐐癸紙縐頒負鍦扮偣鍜屽彉鎹級鍜屾寚紺哄叾鍔ㄦ佹ц兘鐨勬爣璁幫紙縐頒負璁板彿錛夈?/SPAN>
閬靛驚PetriNet嫻佺▼寮曟搸閫氳繃浠ょ墝鏉ュ喅瀹氭祦紼嬬殑嫻佽漿銆?/SPAN>