登录    注册    忘记密码

期刊文章详细信息

基于π演算的智能流程建模    

Intelligent Process Modeling Based on π-calculus

  

文献类型:期刊文章

作  者:冯立元[1] 李德生[2] 李维翠[1]

机构地区:[1]山东财经大学计算机科学与技术学院,山东济南250014 [2]山东财经大学网络信息中心,山东济南250014

出  处:《计算机技术与发展》

基  金:山东省自然科学基金(2009ZRB019PF)

年  份:2012

卷  号:22

期  号:9

起止页码:111-115

语  种:中文

收录情况:JST、RCCSE、ZGKJHX、普通刊

摘  要:为适应当前云计算环境下客户的个性化要求,一种新的智能流程的概念应运而生。首先提出了智能流程平台架构,描述了智能流程生成模块、社区云服务管理模块、智能流程执行模块三大模块。π演算能够描述通信拓扑结构的动态改变,具有强大的表达能力,随后运用π演算对智能流程进行建模描述。为了适应用户需求的不断变化,介绍了用户需求变更描述模型,并给出了形式化表示方法。依据互模拟理论验证建模正确性表明π演算建模较好地描述了智能流程下用户多变的个性化需求。

关 键 词:Π演算 智能流程  个性化流程  流程建模  

分 类 号:TP311.52]

参考文献:

正在载入数据...

二级参考文献:

正在载入数据...

耦合文献:

正在载入数据...

引证文献:

正在载入数据...

二级引证文献:

正在载入数据...

同被引文献:

正在载入数据...

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
 渝公网安备 50019002500408号 违法和不良信息举报中心