电子学报
電子學報
전자학보
ACTA ELECTRONICA SINICA
2002年
11期
1624-1628
,共5页
进程代数%可适应工作流%一致性%有效性
進程代數%可適應工作流%一緻性%有效性
진정대수%가괄응공작류%일치성%유효성
工作流模型技术是当前的一个研究热点,工作流模型必须支持动态可适应性并且能够模型大规模的复杂系统才能被广泛应用.作者首次提出用进程代数--通信顺序进程(Communication Sequential Process,CSP)描述工作流的方法,并给出了模型可适应问题的解决方法.进程代数的合并(composition)特点可以将简单的工作流模型组合成复杂的工作流模型,从而解决复杂系统的模型问题,并为工作流模型的可重用性提供有力的支持.
工作流模型技術是噹前的一箇研究熱點,工作流模型必鬚支持動態可適應性併且能夠模型大規模的複雜繫統纔能被廣汎應用.作者首次提齣用進程代數--通信順序進程(Communication Sequential Process,CSP)描述工作流的方法,併給齣瞭模型可適應問題的解決方法.進程代數的閤併(composition)特點可以將簡單的工作流模型組閤成複雜的工作流模型,從而解決複雜繫統的模型問題,併為工作流模型的可重用性提供有力的支持.
공작류모형기술시당전적일개연구열점,공작류모형필수지지동태가괄응성병차능구모형대규모적복잡계통재능피엄범응용.작자수차제출용진정대수--통신순서진정(Communication Sequential Process,CSP)묘술공작류적방법,병급출료모형가괄응문제적해결방법.진정대수적합병(composition)특점가이장간단적공작류모형조합성복잡적공작류모형,종이해결복잡계통적모형문제,병위공작류모형적가중용성제공유력적지지.
