计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2010年
17期
3831-3834
,共4页
跨组织工作流%EECA规则%Pi演算%本地工作流%柔性
跨組織工作流%EECA規則%Pi縯算%本地工作流%柔性
과조직공작류%EECA규칙%Pi연산%본지공작류%유성
针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法.将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题.利用Pi演算技术,对跨组织的本地工作流的协同方式进行了形式化描述.分析了协同模型及其执行过程,并给出了一个应用实例验证了提出的模型具有较好的柔性,可以有效用于本地工作流间的协同工作,并且适合于对分布式协同环境下的工作流进行建模.
針對跨組織環境下的工作流形式化建模技術的不足問題,提齣瞭一種基于Pi縯算和EECA(Extended-ECA)規則的跨組織工作流建模方法.將ECA規則在時間上進行擴展,解決瞭ECA規則在描述與時間相關的複雜過程時能力不足問題.利用Pi縯算技術,對跨組織的本地工作流的協同方式進行瞭形式化描述.分析瞭協同模型及其執行過程,併給齣瞭一箇應用實例驗證瞭提齣的模型具有較好的柔性,可以有效用于本地工作流間的協同工作,併且適閤于對分佈式協同環境下的工作流進行建模.
침대과조직배경하적공작류형식화건모기술적불족문제,제출료일충기우Pi연산화EECA(Extended-ECA)규칙적과조직공작류건모방법.장ECA규칙재시간상진행확전,해결료ECA규칙재묘술여시간상관적복잡과정시능력불족문제.이용Pi연산기술,대과조직적본지공작류적협동방식진행료형식화묘술.분석료협동모형급기집행과정,병급출료일개응용실례험증료제출적모형구유교호적유성,가이유효용우본지공작류간적협동공작,병차괄합우대분포식협동배경하적공작류진행건모.