[1]李文翔,潘孝铭.Email系统特征交互问题的π-演算检测[J].华侨大学学报(自然科学版),2011,32(2):175-177.[doi:10.11830/ISSN.1000-5013.2011.02.0175]
　LI Wen-xiang,PAN Xiao-ming.Detection of Feature Interactions in Email System Based on π-Calculus[J].Journal of Huaqiao University(Natural Science),2011,32(2):175-177.[doi:10.11830/ISSN.1000-5013.2011.02.0175]
点击复制

Email系统特征交互问题的π-演算检测()
分享到：

《华侨大学学报（自然科学版）》[ISSN:1000-5013/CN:35-1079/N]

卷:
第32卷
期数:
2011年第2期
页码:
175-177
栏目:
出版日期:
2011-03-20

文章信息/Info

Title:
Detection of Feature Interactions in Email System Based on π-Calculus
文章编号:
1000-5013(2011)02-0175-03
作者:
李文翔; 潘孝铭
华侨大学计算机科学与技术学院
Author(s):
LI Wen-xiang;  PAN Xiao-ming
College of Computer Science and Technologe, Huaqiao University, Quanzhou 362021, China
关键词:
特征交互;  Email系统;  π-演算;  μ-演算;  移动工作台
Keywords:
feature interactions;  Email system;  π-calculus;  μ-calculus;  mobility workbench
分类号:
TP393.098
DOI:
10.11830/ISSN.1000-5013.2011.02.0175
文献标志码:
A
摘要:
采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述; 然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.
Abstract:
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.

参考文献/References:

[1] CAMERON J E, GRIFFETH N, LIN YJ. A feature interaction benchmark for IN and beyond [J]. IEEE Communications Magazine, 1993(3):64-69.doi:10.1109/35.199613.
[2] PULVERMUELLER E, SPECK A, COPLIEN J. Feature interaction in composed systems [A]. Lodon:Springer-Verlag, 2001.86-97.
[3] KIMBLER K, BOUMA L G. Feature interactions in telecommunications and software systems (Ⅴ) [M]. Amsterdam:IOS Press, 1998.
[4] CALDER N, MAGILL E. Feature interactions in telecommunications and software systems (Ⅵ) [M]. Amsterdam:IOS Press, 2000.
[5] MILNER R. Communicating and mobile systems:The π-calculus [M]. Cambridge:Cambridge University Press, 1999.
[6] MILNER R. The polyadic π-calculus:A tutorial [A]. Beilin:Springer-Verlag, 1992.203-246.
[7] BRADFIELD J, STIRLING C. Modal μ-calculi [A]. New York:Elsevier Science Ltd, 2006.721-756.
[8] VICTOR B. The mobility workbench user’s guide:Polyadic version 3.122 [R]. Uppsala:Uppsala University, 1995.
[9] VICTOR B. A verification tool for the polyadic π-calculus [R]. Uppsala:Uppsala University, 1994.

备注/Memo

备注/Memo:
福建省自然科学基金资助项目(A0810013); 华侨大学科研基金资助项目(04BS313)
更新日期/Last Update: 2014-03-23