Institution框架下的结构化标记共变逆变模拟-计算机应用与软件.PDFVIP

第３３卷第２期　　　 计算机应用与软件 Ｖｏｌ３３Ｎｏ．２ ２０１６年２月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｆｅｂ．２０１６ Ｉｎｓｔｉｔｕｔｉｏｎ框架下的结构化标记共变 逆变模拟 黄 振 华 （南京航空航天大学计算机科学与技术学院　江苏南京２１００１６） 摘　要　　结构化标记共变 逆变模拟是共变 逆变模拟的一种扩充，在处理转换系统的模拟关系时考虑了标记本身的结构。结构 化标记模态转换系统间的模态精化与结构化标记共变 逆变模拟之间存在诸多相似之处，为了在更抽象层次上研究两者的关系，引 入Ｉｎｓｔｉｔｕｔｉｏｎ框架。基于该框架，讨论结构化标记模态转换系统间的模态精化与结构化标记共变 逆变模拟之间的关系，并证明前者 到后者存在Ｉｎｓｔｉｔｕｔｉｏｎ态射。结果表明，相比结构化标记模态转换系统中模态精化关系， 结构化标记共变 逆变模拟具有更强的表达 能力。 关键词　　Ｉｎｓｔｉｔｕｔｉｏｎ　结构化标记　模态转换系统　共变 逆变模拟 中图分类号　ＴＰ３０１．２　　　　文献标识码　Ａ　　　　ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１６．０２．０４７ ＬＡＢＥＬＳＴＲＵＣＴＵＲＥＤＣＯＶＡＲＩＡＮＴＣＯＮＴＲＡＶＡＲＩＡＮＴＳＩＭＵＬＡＴＩＯＮ ＩＮＩＮＳＴＩＴＵＴＩＯＮＦＲＡＭＥＷＯＲＫ ＨｕａｎｇＺｈｅｎｈｕａ （ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，ＮａｎｊｉｎｇＵｎｉｖｅｒｓｉｔｙｏｆＡｅｒｏｎａｕｔｉｃｓａｎｄＡｓｔｒｏｎａｕｔｉｃｓ，Ｎａｎｊｉｎｇ２１００１６，Ｊｉａｎｇｓｕ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｔｈｅｌａｂｅｌｓｔｒｕｃｔｕｒｅｄｃｏｖａｒｉａｎｔｃｏｎｔｒａｖａｒｉａｎｔｓｉｍｕｌａｔｉｏｎｉｓａｎｅｘｐａｎｓｉｏｎｏｆｃｏｖａｒｉａｎｔｃｏｎｔｒａｖａｒｉａｎｔｓｉｍｕｌａｔｉｏｎ，ｗｈｉｃｈｃｏｎｓｉｄｅｒｓｔｈｅ ｓｔｒｕｃｔｕｒｅｏｆｌａｂｅｌｓｔｈｅｍｓｅｌｖｅｓｉｎｄｅａｌｉｎｇｗｉｔｈｔｈｅｓｉｍｕｌａｔｉｏｎｒｅｌａｔｉｏｎｏｆｔｒａｎｓｉｔｉｏｎｓｙｓｔｅｍｓ．Ｔｈｅｒｅａｒｅｍａｎｙｓｉｍｉｌａｒｉｔｉｅｓｂｅｔｗｅｅｎｔｈｅｍｏｄａｌｒｅ ｆｉｎｅｍｅｎｔｉｎｌａｂｅｌｓｔｒｕｃｔｕｒｅｄｍｏｄａｌｔｒａｎｓｉｔｉｏｎｓｙｓｔｅｍｓａｎｄｔｈｅｌａｂｅｌｓｔｒｕｃｔｕｒｅｄｃｏｖａｒｉａｎｔｃｏｎｔｒａｖａｒｉａｎｔｓｉｍｕｌａｔｉｏｎ．Ｉｎｏｒｄｅｒｔｏｇａｉｎｍｏｒｅｉｎｓｉｇｈｔ ｉｎｔｏｔｈｅｒｅｌａｔｉｏｎｓｈｉｐｂｅｔｗｅｅｎｔｈｅｍａｔａｍｏｒｅａｂｓｔｒａｃｔｌｅｖｅｌ，ｔｈｅＩｎｓｔｉｔｕｔｉｏｎｓｆｒａｍｅｗｏｒｋｉｓｉｎｔｒｏｄｕｃｅｄ．Ｂａｓｅｄｏｎｔｈａｔｆｒａｍｅｗｏｒｋ，ｗｅｄｉｓｃｕｓｓｔｈｅ ｒｅｌａｔｉｏｎｓｈｉｐｂｅｔｗｅｅｎｍｏｄａｌｒｅｆｉｎｅｍｅｎｔｉｎｌａｂｅｌｓｔｒｕｃｔｕｒｅｄｍｏｄａｌｔｒａｎｓｉｔｉｏｎｓｙｓｔｅｍｓａｎｄｌａｂｅｌｓｔｒｕｃｔｕｒｅｄｃｏｖａｒｉａｎｔｃｏｎｔｒａｖａｒｉａｎｔｓｉｍｕｌａｔｉｏｎ，ａｎｄ ｐｒｏｖｅｔｈａｔｔｈｅｒｅｅｘｉｓｔｓａｎＩｎｓｔｉｔｕｔｉｏｎｍｏｒｐｈｉｓｍｆｒｏｍｔｈｅｆｏｒｍｅｒｔｏｔｈｅｌａｔｔｅｒ．Ｔｈｉｓｒｅｓｕｌｔｉｎｄｉｃａｔｅｔｈａｔｌａｂｅｌｓｔｒｕｃｔｕｒｅｄｃｏｖａｒｉａｎｔｃｏｎｔｒａｖａｒｉａｎｔ ｓｉｍｕｌａｔｉｏｎｉｓｍｏｒｅｅｘｐｒｅｓｓｉｖｅｔｈａｎｍｏｄａｌｒｅｆｉｎｅｍｅｎｔｒｅｌａｔｉｏｎｓｈｉｐｉｎｌａｂｅｌｓｔｒｕｃｔｕｒｅｄｍｏｄａｌｔｒａｎｓｉｔｉｏｎｓｙｓｔｅｍｓ． Ｋｅｙｗｏｒｄｓ　　Ｉｎｓｔｉｔｕｔｉｏｎ　Ｌａｂｅｌｓｔｒｕｃｔｕｒｅｄ　Ｍｏｄａｌｔｒａｎｓｉｔｉｏｎｓｙｓｔｅｍ　Ｃｏｖａｒｉａｎｔｃ