[1]邓鹏辉,张晋津. CLT含递归算子的最大前同余性[J].计算机技术与发展,2016,26(09):143-148.
　DENG Peng-hui,ZHANG Jin-jin. Largest Precongurence with Recursive Operator in CLT[J].,2016,26(09):143-148.
点击复制

 CLT含递归算子的最大前同余性()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
26
期数:
2016年09期
页码:
143-148
栏目:
智能、算法、系统工程
出版日期:
2016-09-10

文章信息/Info

Title:
 Largest Precongurence with Recursive Operator in CLT
文章编号:
1673-629X（2016)09-0143-06
作者:
 邓鹏辉; 张晋津
 南京航空航天大学 计算机科学与技术学院
Author(s):
 DENG Peng-hui; ZHANG Jin-jin
关键词:
 ; 进程代数; must-testing语义; 精化关系; 递归算子; 最大前同余
Keywords:
 ; process algebra; must-testing semantic; refinement; recursive operator; largest precongurence
分类号:
TP301
文献标志码:
A
摘要:
 进程之间的等价关系或精化关系的同余或前同余性(congruence或precongruence)是组合式推理和模块化设计验证的理论基础。针对面向Web Service的进程演算,Bernardi和Hennessy提出了Client-Must-Testing( CLT)语义及相关的测试前序偃用于描述进程的精化关系,并对包含于奂~的最大前同余关系奂~+进行了研究。递归算子是规范理论中重要而且是基础性的算子,Bernardi和Hennessy对包含于奂~的最大前同余关系的研究中未涉及递归算子,因此不能描述进程的无限行为。文中研究了CLT诱导出的精化关系在包含递归算子情形下的前同余性。在讨论了环境( context)、递归进程以及一步转换内在联系的基础上,给出包含于奂~的最大前同余关系。
Abstract:
 Process algebra aims to provide algebraic theories for concurrent communication system,where the notions of behavioral equiv-alence and refinement play central roles. In particular,congruence or precongruence of behavioral relations provide theoretical foundation for compositional reasoning and modular designing and verifying. In order to capture the concurrent behavior of the server and the client, Bernardi and Hennessy present a Web Service-oriented semantic CLT (Client Must Testing). They studied the largest precongurence contained in the refinement relation奂~ induced by CLT without considering recursive. Recursive operator is important and fundamental in specification theory. Bernardi and Hennessy have studied the largest precongurence contained in奂~ . However,infinite processes cannot be expressed in such framework due to lacking recursive operator. Based on the exploring relationship among contexts,recursive processes and one step transition,a characterization for the largest precongurence contained in奂~ in the presence of recursive operator is presented.

相似文献/References:

[1]张志宏,吴庆波,邵立松,等.基于飞腾平台TOE协议栈的设计与实现[J].计算机技术与发展,2014,24(07):1.
　ZHANG Zhi-hong,WU Qing-bo,SHAO Li-song,et al. Design and Implementation of TCP/IP Offload Engine Protocol Stack Based on FT Platform[J].,2014,24(09):1.
[2]梁文快,李毅. 改进的基因表达算法对航班优化排序问题研究[J].计算机技术与发展,2014,24(07):5.
　LIANG Wen-kuai,LI Yi. Research on Optimization of Flight Scheduling Problem Based on Improved Gene Expression Algorithm[J].,2014,24(09):5.
[3]黄静,王枫,谢志新,等. EAST文档管理系统的设计与实现[J].计算机技术与发展,2014,24(07):13.
　HUANG Jing,WANG Feng,XIE Zhi-xin,et al. Design and Implementation of EAST Document Management System[J].,2014,24(09):13.
[4]侯善江[],张代远[][][]. 基于样条权函数神经网络P2P流量识别方法[J].计算机技术与发展,2014,24(07):21.
　HOU Shan-jiang[],ZHANG Dai-yuan[][][]. P2P Traffic Identification Based on Spline Weight Function Neural Network[J].,2014,24(09):21.
[5]李璨,耿国华,李康,等. 一种基于三维模型的文物碎片线图生成方法[J].计算机技术与发展,2014,24(07):25.
　LI Can,GENG Guo-hua,LI Kang,et al. A Method of Obtaining Cultural Debris’ s Line Chart Based on Three-dimensional Model[J].,2014,24(09):25.
[6]翁鹤,皮德常. 混沌RBF神经网络异常检测算法[J].计算机技术与发展,2014,24(07):29.
　WENG He,PI De-chang. Chaotic RBF Neural Network Anomaly Detection Algorithm[J].,2014,24(09):29.
[7]刘茜[],荆晓远[],李文倩[],等. 基于流形学习的正交稀疏保留投影[J].计算机技术与发展,2014,24(07):34.
　LIU Qian[],JING Xiao-yuan[,LI Wen-qian[],et al. Orthogonal Sparsity Preserving Projections Based on Manifold Learning[J].,2014,24(09):34.
[8]尚福华,李想,巩淼. 基于模糊框架-产生式知识表示及推理研究[J].计算机技术与发展,2014,24(07):38.
　SHANG Fu-hua,LI Xiang,GONG Miao. Research on Knowledge Representation and Inference Based on Fuzzy Framework-production[J].,2014,24(09):38.
[9]叶偲,李良福,肖樟树. 一种去除运动目标重影的图像镶嵌方法研究[J].计算机技术与发展,2014,24(07):43.
　YE Si,LI Liang-fu,XIAO Zhang-shu. Research of an Image Mosaic Method for Removing Ghost of Moving Targets[J].,2014,24(09):43.
[10]余松平[][],蔡志平[],吴建进[],等. GSM-R信令监测选择录音系统设计与实现[J].计算机技术与发展,2014,24(07):47.
　YU Song-ping[][],CAI Zhi-ping[] WU Jian-jin[],GU Feng-zhi[]. Design and Implementation of an Optional Voice Recording System Based on GSM-R Signaling Monitoring[J].,2014,24(09):47.

更新日期/Last Update: 2016-10-26