基于Pi-演算的服务组合正确性验证 |
| |
引用本文: | 邓启云,杨好利.基于Pi-演算的服务组合正确性验证[J].教育技术导刊,2009,8(7):42-44. |
| |
作者姓名: | 邓启云 杨好利 |
| |
作者单位: | 河南财经学院成功学院信息工程系; |
| |
摘 要: | 对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。
|
关 键 词: | Pi-演算 进程代数 Web服务 服务组合 形式化方法 |
The Progress of BBS in Education |
| |
Abstract: | We read and research articles from the Chinese Journal Full-text databases and Full Text database of China's master's thesis with keywords.This article sums up ploblems mainly from the BBS of the interactive environment,the characteristics,the application of BBS in distance education,teaching design and Teaching function five aspects.h gets BBS applications in distance education research and the existing problems. |
| |
Keywords: | BBS Distance Education Application |
本文献已被 维普 等数据库收录! |
| 点击此处可从《教育技术导刊》浏览原始摘要信息 |
| 点击此处可从《教育技术导刊》下载免费的PDF全文 |
|