Seal演算的偶图语义  

Bigraphical Semantics of Seal Calculus

作　　者：金龙飞[1] 刘磊[1] 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012

出　　处：《计算机学报》2008年第3期522-528,共7页Chinese Journal of Computers

基　　金：教育部高等学校博士学科点专项科研基金(20061083044);吉林省科技发展计划项目基金(20050527)资助

摘　　要：偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一的建模框架.Seal演算是一种用于描述移动计算的进程语言,具有良好的安全性质.文中给出了一种不带复制进程表达式的Seal演算的偶图表示,分析了该Seal演算与其偶图表示间的结构对应和操作对应.本研究扩展了偶图理论的应用范围,展示了偶图理论在描述安全演算方面的能力,为在偶图反应系统框架下研究Seal演算的性质和应用奠定了基础.Bigraphical Reactive Systems （BRS） is a new theoretical tool, and is based on a graphical model of mobile computation that emphasizes both locality and connectivity, named Bigraph. Bigraphs generalize both characteristics of the π calculus and the Mobile Ambient calculus, and it can represent complex systems that emphasize both locality and connectivity. The theory of BRS provides a uniform modeling framework for design and implementation of pervasive computing in different levels. The Seal calculus is a process language for describing mobile computation with security features. A bigraphical representation of a Seal calculus without replication is provided in this paper, and structural correspondence and operational correspondence between the Seal calculus and its bigraphical representation are analyzed. This work extends the application domains of BRS and illustrates the ability of BRS in describing security calculi. All are foundations for researching characteristics and applications of Seal calculus within the bigraphical framework.

关 键 词：SEAL演算 偶图 偶图反应系统 结构对应 操作对应 

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