Email系统特征交互问题的π-演算检测  

Detection of Feature Interactions in Email System Based on π-Calculus

作　　者：李文翔[1] 潘孝铭[1] 

机构地区：[1]华侨大学计算机科学与技术学院,福建泉州362021

出　　处：《华侨大学学报（自然科学版）》2011年第2期175-177,共3页Journal of Huaqiao University(Natural Science)

基　　金：福建省自然科学基金资助项目(A0810013);华侨大学科研基金资助项目(04BS313)

摘　　要：采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.In this paper,the email system based on client-server and the features are defined in a behavioral description by using π-calculus.Then we use μ-calculus to describe and analyze the feature interactions problems in this system.And at last we use a tool called mobility workbench to prove the mobile concurrent system described by π-calculus.

关 键 词：特征交互 EMAIL系统 Π-演算 μ-演算 移动工作台 

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