基于嵌套赋类的Bigraph反应系统模型  

Bigraphical Reactive Systems Based on Nested Sortings

作　　者：吴怀广[1] 金保华[1] 甘勇[1] 毋国庆[2] 

机构地区：[1]郑州轻工业学院计算机与通信工程学院,郑州450000 [2]武汉大学计算机学院,武汉430079

出　　处：《计算机科学》2012年第9期143-151,共9页Computer Science

基　　金：国家高技术研究发展计划项目(2007AA01Z185);郑州轻工业学院博士启动基金(ZZB2011008)资助

摘　　要：针对Bigraph反应系统中位置图控制间的嵌套关系问题,提出了一个赋类的Bigraph扩展模型。在利用标签范畴Scat(K)给出嵌套赋类位置图定义的基础上,讨论了嵌套赋类位置图的相关性质,给出了嵌套赋类位置图中RPO的构建、证明,以及同前推出IPO的一致性条件的定义、证明。Nested sorting based bigraphical reactive systems are extended model of bigraph theory in order to characterize nesting relation of controls of place graph n bigraphical reactive systems.The definition of nesting place graph was given by a signature category Scat（K）.And then,some characters especially the construction of relative pushout and consistent conditions of idem pushout in nesting place graphs were presented.Furthermore,proofs of corresponding propositions and theorem were given.

关 键 词：Bigraph反应系统 嵌套赋类 相关推出 一致性 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]