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

Intelligent Process Modeling Based on π-calculus

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

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

出　　处：《计算机技术与发展》2012年第9期111-115,共5页Computer Technology and Development

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

摘　　要：为适应当前云计算环境下客户的个性化要求,一种新的智能流程的概念应运而生。首先提出了智能流程平台架构,描述了智能流程生成模块、社区云服务管理模块、智能流程执行模块三大模块。π演算能够描述通信拓扑结构的动态改变,具有强大的表达能力,随后运用π演算对智能流程进行建模描述。为了适应用户需求的不断变化,介绍了用户需求变更描述模型,并给出了形式化表示方法。依据互模拟理论验证建模正确性表明π演算建模较好地描述了智能流程下用户多变的个性化需求。In order to meet the customer＇s individual requirements under the current cloud computing environment, a new concept called intelligent processes is proposed. In this paper,intelligent process platform architecture was proposed, the intelligent process generation module, the community cloud service management module and intelligent process execution module of the platform were described. π- calculus can describe the dynamic changes in communication topology with strong expression skills. Then used π-calculus to describe the intelligence process. Described the user requirements change description model to meet the changeable requirements, and introduced the formal expression. Verification based on bisimulation showed that π-calculus described customer＇s changeable individual requirements perfectly.

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

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]