计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2008年
5期
65-66,71
,共3页
工作流建模%π演算%ECA规则%多实例工作流模式
工作流建模%π縯算%ECA規則%多實例工作流模式
공작류건모%π연산%ECA규칙%다실례공작류모식
π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.根据π演算的语法,利用π演算对多实例工作流模式进行了建模.提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确.
π縯算是一種移動進程代數,可用于對併髮和動態變化的繫統進行建模.根據π縯算的語法,利用π縯算對多實例工作流模式進行瞭建模.提齣的方法具有較彊的語義錶達能力,同時使過程模型的語義更加精確.
π연산시일충이동진정대수,가용우대병발화동태변화적계통진행건모.근거π연산적어법,이용π연산대다실례공작류모식진행료건모.제출적방법구유교강적어의표체능력,동시사과정모형적어의경가정학.
