| 基于π演算的智能流程建模 |
| |
| 引用本文： | 冯立元,李德生,李维翠.基于π演算的智能流程建模[J].计算机技术与发展,2012(9):111-115. |
| |
| 作者姓名： | 冯立元 李德生 李维翠 |
| |
| 作者单位： | 1. 山东财经大学 计算机科学与技术学院,山东 济南 250014
2. 山东财经大学 网络信息中心,山东 济南 250014 |
| |
| 基金项目： | 山东省自然科学基金（2009ZRB019PF） |
| |
| 摘 要： | 为适应当前云计算环境下客户的个性化要求，一种新的智能流程的概念应运而生。首先提出了智能流程平台架构，描述了智能流程生成模块、社区云服务管理模块、智能流程执行模块三大模块。π演算能够描述通信拓扑结构的动态改变，具有强大的表达能力，随后运用耵演算对智能流程进行建模描述。为了适应用户需求的不断变化，介绍了用户需求变更描述模型，并给出了形式化表示方法。依据互模拟理论验证建模正确性表明π演算建模较好地描述了智能流程下用户多变的个性化需求。
|
| 关 键 词： | π演算 智能流程 个性化流程 流程建模 |
Intelligent Process Modeling Based on π-calculus |
| |
| FENG Li-yuan,LI De-sheng,LI Wei-cui.Intelligent Process Modeling Based on π-calculus[J].Computer Technology and Development,2012(9):111-115. |
| |
| Authors: | FENG Li-yuan LI De-sheng LI Wei-cui |
| |
| Affiliation: | 1. School of Computer Science ＆ Technology, Shandong University of Finance and Economics, Jinan 250014, China; 2. Network Information Center, Shandong University of Finance and Economics, Jinan 250014, China) |
| |
| Abstract: | |
| |
| Keywords: | π-calculus intelligent process personalized process process modeling |
| 本文献已被 维普 万方数据 等数据库收录！ |
