转换系统作为经典的形式化模型,被广泛用于描述并发系统的行为。然而,在经典的转换系统中,标记自身所包含的结构性质并未被考虑,当考察附有特定要求的并发系统时,通常需要一些更具表达能力的转换系统作为其形式化模型。针对一些特定领域或特定问题,学术界提出了各种标记上带有定量信息的转换系统。本文在带定量信息的转换系统的一个较一般框架(即,结构化标记转换系统)下,从Institution理论的观点出发,对结构化部分互模拟、结构化共变-逆变模拟与结构化模态精化三类关系及其内在联系展开研究,主要工作包括如下方面:(1)引入了结构化标记转换系统,提出结构化部分互模拟和结构化共变-逆变模拟,并分别采用模态逻辑语言BL和C CL建立了它们的逻辑刻画。(2)证明了结构化标记转换系统以结构化部分互模拟、结构化共变-逆变模拟为模型态射在模态逻辑语言BL、C CL下分别构成Institution结构(记作p bI、c cI);类似地,结构化模态转换系统以结构化模态精化为模型态射在语言M T SL下构成Institution结构(记作m t sI)。(3)讨论了p bI、c cI和m t sI三者之间的联系,并证明p bI和m t sI分别存在到c cI的Institution态射。该结果表明,结构化部分互模拟和结构化模态精化都可以被看作是结构化共变-逆变模拟的特例,因此,结构化共变-逆变模拟相对其它二者具有更强的表达能力。