基于π演算的智能流程建模-《计算机技术与发展》

文章信息/Info

Author(s):: FENG Li-yuan; LI De-sheng; LI Wei-cui; [1]School of Computer Science ＆ Technology, Shandong University of Finance and Economics[2]Network Information Center, Shandong University of Finance and Economics

Keywords:: π-calculus; intelligent process; personalized process; process modeling

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

Abstract:: 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