基于组件和转换的通用连接器体系的结构框架的研究

理论计算机科学电子笔记108（2004）53-67www.elsevier.com/locate/entcs基于组件和转换的通用连接器体系结构框架H.作者：J.布拉茨湾克莱因1德国柏林工业大学通信与软件技术研究所F. Orejas，S. Perez，E. 皮诺2De pp pmenteLlenguatgesiSistenfa`tics，UniversitatPolit′ecnicadeCatalunya，Barcelona，Spain摘要本文的目的是将我们在FASE 2002 [4]上提出的通用组件框架扩展到一种特殊的连接器架构，类似于Allen和Garlan [1]意义上的架构连接。在我们的通用组件框架中，我们考虑了通过嵌入和转换连接的显式导入、导出和主体部分的组件，以及具有组合转换语义的组件组合。然而，我们的框架仅限于具有单个导入和导出接口的组件。在这里，我们研究基于具有多个导入的连接器和具有多个导出的组件的架构。本文研究的体系结构是由组件和连接器以非循环的方式构建的。架构的语义由图归约意义上的归约步骤序列定义。 主要结果表明了体系结构语义的存在性和唯一性作为简化步骤序列的标准形式。 我们的通用框架一方面是实例化的，到基于CSP的连接器架构，作为Allen和Garlan方法中的正式规范技术。另一方面，它是实例化的连接器架构的基础上，在一般的高级替换系统，特别是Petri网。一个运行的例子使用Petri网作为建模技术说明了所有的概念和结果。保留字：组件、连接器架构、Petri网转换1电子邮件：{ehrig，padberg，bbraatz，klein} @ cs.tu-berlin.de2电子邮件：{orejas，sperezl，pino} @ lsi.upc.es1571-0661 © 2004 Elsevier B. V.根据CC BY-NC-ND许可证开放访问。doi：10.1016/j.entcs.2004.01.01254H. Ehrig等人理论计算机科学电子笔记108（2004）531介绍架构描述的重要性在过去的十年中已经变得非常明显（参见例如，[17、18、7、10、6]）。已经提出了各种形式化来处理大型软件系统的复杂性。为了从较小的部件构建大型软件系统，软件系统和基础设施的可伸缩组件概念是一种有用的和广泛接受的抽象机制（参见例如，[19、12、8]）。虽然有许多方法可用，但只有少数方法足够通用，可用于不同的具体技术。为了实现一个通用的概念，重点必须放在组件和基于组件的系统的基本问题上。这些是接口，组件的组合性及其嵌入到环境中。在我们的FASE 2002论文[4]中，我们提出了一个通用的系统建模组件根据这个概念，一个组件由一个主体、一个导入和一个导出接口，以及导入和主体以及导出和主体之间的连接组成。这些连接也是通用的，以允许各种各样的实例化。我们只需要有合适的嵌入概念，在[4]中称为包含，和变换（例如，在规范之间，这样一个组件的导入连接定义了一个嵌入，导出连接定义了一个变换。不同组件的导入和导出接口之间的连接也由转换表示。事实上，我们框架的关键概念之一是规范转换的一般概念，特别是由（但不限于）图转换和高级替换系统意义上的基于规则的转换所激发[5，2，16]。在本文中，我们将上面讨论的通用组件框架扩展到Allen和Garlan [1]意义上的由架构连接驱动的特定类型的连接器架构事实上，我们在[4]中的通用框架仅限于具有单个导入和导出接口的组件。我们考虑使用具有多个导入的连接器和具有多个导出的组件的架构，这些组件允许将一个连接器连接到多个不同的组件。具有组件的连接器的相应组合的关键概念是用于转换的并行扩展图。这推广了[4]中扩展图的概念，扩展图是定义组件转换语义和证明组合性的关键概念。本文所研究的体系结构是由构件和连接件以非圆形的方式组成的架构的语义由还原步骤序列定义，其中在每个还原步骤中，一个连接器与所有相邻组件组成。主要结果表明，作为约简步序列的规范形式的语义H. Ehrig等人理论计算机科学电子笔记108（2004）5355我联系我们≤ ≤ ∈{}本文继续第2节中的连接器架构的构建。在本节和以下几节中，我们有一个正在进行的使用Petri网的示例。在第3节中，我们展示了带有连接器的组件的组成。随后，我们在第4节中展示了体系结构的唯一语义的存在。在第5节中，我们给出了一个具体的实例化CSP和一个更抽象的实例化高级替换系统，包括Petri网作为一个具体的情况。在第6节中，我们总结了相关工作的简要讨论和未来的研究展望2连接器体系结构在本节中，我们将介绍连接器架构的通用框架的主要语法概念。[4]中的框架以及本文中的框架是通用的，不仅涉及基本概念半正式或正式规范，但也涉及转换的概念，以便对一个组件的接口和主体之间或不同组件之间的导入和导出接口之间的抽象和细化进行建模。在本节中，我们只要求变换在复合下是封闭的，并且我们有一个特殊的类型 变换的集合，称为嵌入，它直观地模拟了规范的包含，以及下面解释的嵌入独立性的概念。受Allan和Garlan [1]意义上的架构连接的启发，我们在本文中区分了具有多个接口的组件和连接器，而在本文中我们只考虑了具有单个接口的组件。[4]的文件。现在，分量COMP =（B，e1：E1= CIB，...，e n：E n= B）（n≥ 0）由体B和一族输出接口E i给出，输出接口E i具有输出变换e i：Ei= B（i∈ {1，.，n}。A连接器CON =（B，b1：I1→B，...，b n：I n→B）（n≥ 2）由体B和一族具有体嵌入b i：I i→B的输入接口I i给出，我一，n. 我们假设嵌入族b i：I iB为每连接器是独立的。这直观地意味着B的导入接口Ii是成对不相交的。现在我们可以正式定义连接器如何连接不同的组件。给定连接器CON =（B，b1，...，bn），以及n个分量COMP i=（Bi，ei1，...，e im），其中连接器变换为con i：i=E ik 被1 Km ifor i 1，.，n然后我们得到图1中的连接器图和图2中的连接器图：56H. Ehrig等人理论计算机科学电子笔记108（2004）53我。。。。、、JIi=1、、我b我BconIczi ∈{1，.，n}CON，，Eikcon 。。。。，，，eik艾奇。1.一、。。_s...，n，，z_Eij个zlbj∈{1，.，mi}\{k}Comp1比较数Fig. 1. 连接器图备注：图二. 连接器图• 连接器图由n+1个主体的n个导入接口节点Ii组成节点Bi和B，以及nmi的导出接口节点Ei，即使其中一些J规格可以相等，例如B1=B2• 禁止使用（2）中的循环连接，除非我们复制图3（1）中的主体。否则，不定义这种循环架构的语义，因为它将导致识别组件COMP1的导出接口E11和E12或其他种类的不想要的副作用。Ib1B，，IIb1B，，I1con1b22con21con1b22con2Ecz（1）EczEcz（2） Ecz1112公司简介十一，十二、、、、、、E1zBB，sE1E1Zj11jjzB1图三. 非圆形和圆形连接器图• 无向图的图论的一个众所周知的结果（即忘记弧的方向）是，在连通的非圆形图中，节点数超过边数1：#nodes（G）= #edges（G）+ 1。在图3中，我们有#nodes（1）= 9 = #edges（1）+ 1，但#nodes（2）= 7 = 8 =#edges（2）+1现在，我们介绍基于连接器和组件的架构。与连接器类似，我们获得了架构图和架构图。第一种描述了规范级别的架构，第二种描述了一个图，其中节点是连接器或组件。arity（k，l）的体系结构A由k个组件和l个连接器、体系结构图DA和体系结构图GA组成：体系结构图DA是由l个连接器图和满足以下条件(i) 连接器条件：连接器的每个导入接口I都由一个箭头连接，标有连接转换con：I=H. Ehrig等人理论计算机科学电子笔记108（2004）5357E，精确到一个组件的一个导出接口E(ii) 元件条件：元件的每个导出接口E通过从I到E的箭头最多连接到连接器的一个导入接口I，标记有连接转换con：I=E。(iii) 非圆性：架构图DA是连接的，并且除了箭头的方向之外是非圆的体系结构A的体系结构图GA是由体系结构图DA通过将DA中的每个连接器图收缩为相应的连接器图而得到的。因此，它由连接标记的节点组成它们之间的变量、组件和箭头都标有相应的连接变换。连接器体系结构的Petri网示例：准备一个参与方为了提供一个连接器体系结构的具体示例，我们选择了位置/变迁网作为底层的规范化技术。在第5节中，我们讨论了连接器结构到Petri网的实例化。 这个简单的小例子的主要目的是使用每个人生活中的一个场景来说明所介绍的概念：准备一个聚会。为了显式地显示Petri网，组件被绘制为矩形，在第一行中包括一个或多个矩形，每个矩形包含一个输出网。第二行中的矩形包含主体网络和零部件名称。连接器也绘制为矩形。在第一行，我们有一个矩形，包含身体。第二排包括至少两个矩形，每个矩形包含一个输入网。这些组件包括以下活动：图4中的Comp邀请、来宾的邀请和取消的管理。组件只有一个输出接口Ei。在变换过程中，出口网络的位置保持不变，但位置之间的过渡被整个子网所取代在图5中，我们给出了组件Comp invite的常用图，但没有显式的Petri网。Ei邀请嘉宾名单宾客名单Comp_invite取消邀请完成宾客名单Ei Comp_invite见图4。 组件比较邀请图5。经典图58H. Ehrig等人理论计算机科学电子笔记108（2004）53ES11. 列基础知识ES2基础2. 列表新鲜食品1. 列表2. 列表新鲜食品公司简介基础知识店店店店见图6。 组件装配车间EC1配料烹调食物EC2食物准备自助餐准备炒配料准备烘烤食物放自助餐准备烤重复装饰Comp_cook见图7。 组件比较烹饪组件Comp shop对购物进行建模，我们假设聚会需要连续购物两次，一次是购买基本用品（饮料、薯片、橄榄等）。一次用于新鲜食物（面包、奶酪、水果等）。因此，我们有两个输出网络Es1和Es2，它们被转换为主体网络。这些转换保留了位置，并将转换替换为中间的子网。最后一个组件Compcook包括烹饪和准备bubleet，并因此提供两个输出接口Ec1和Ec2。图8中的连接器Con week连接了与聚会前一周的准备工作有关的活动，并提供了两个导入网络Iw1和Iw2。这些通过包含映射到身体网络中。在图9中，我们给出了连接器Con week的常用图，但没有网络。Con_week邀请做购物清单得到饮料IW1邀请IW2得到饮料IW1Con_weekIW2见图8。连接器连接器图9。经典图图10中的连接器Con day连接聚会当天的准备工作，并提供了两个导入。H. Ehrig等人理论计算机科学电子笔记108（2004）5359我我Con_day购物清单基础知识ID1购物清单ID2基础知识准备食物准备食物购买新鲜食品购买新鲜食品见图10。 连接器Con日图11中给出了架构图DA，其中导入网和对应的导出网之间的转换仅仅重命名位置或转换。在图11中，我们使用连接器和组件的名称来表示相应的主体。Conweek，康日............Iw1、、、、、IW2ID1、、ID2公司简介EiEs1，czEs2czEC1EC2，，，，，，，。。。。。。。。ss ssssss scz，z，.。。s cz，sss ss免费邀请免费商店免费厨师见图11。架构图DA3组件组成在本节中，我们将介绍通过连接器组合组件的概念，这是构造语义的基本步骤在下一节中的架构。为此，我们必须在我们的通用框架中要求嵌入和变换的基本属性，并行可拓性是将文献[4]中的可拓性从单一（顺序）推广到多重（并行）转变直观的想法是，每个变换族（ti：SPECi<$SPECiJ）i∈I可以扩展为并行变换t：SPEC<$SPECJ，只要我们有独立的嵌入bi：SPEC i<$SPECJ。更确切地说，平行扩张性质意味着：对于每个独立的嵌入式族（bi：SPEC i→SPEC）i∈I和对于e个变换族（ti：SP ECi=SP ECiJ）i∈I有一个典型的（并行的）变换t：SPEC=t +SPEC jSP ECb我SPEC使用独立嵌入ti（1）t（bJi）：SPECiJ→规范）i∈I 导致czSP ECiJ北京规格J平行延伸图（1）12个。平行延伸图在图12中。 而且，平行扩展图要求是封闭的60H. Ehrig等人理论计算机科学电子笔记108（2004）53我。。。。z_在垂直组合下，包括[4]意义上的（经典）扩展图作为一种特殊情况，其中所有的反式，但一形成T1是相同的变换。现在我们可以定义组件的组成。n个分量的合成，元数n的连接器定义如下：给定相应的连接器图（见图1），我们IbiB在图13中构造相应的并行扩展diagram（1）。组分COMP1，.，COMP n通过连接器CON与连接变压器ti=eikconiczB我（一）bJi不czBJmations con1，.，con n又是一个组件COMP=（BJ，（eJij：Eij=<$BJ）ij∈I×J），其中图十三. 组合物eJij：= bJi <$e ij：E ij=<$BJ，对于每个ij ∈ {1，.， n}×（{1，.， mi}\{k}）= I × J. 在这种情况下，我们可以说，Ji j是jij的一种形式。在 二 进 制 组 件 和 二 进 制 连 接 器 的 情 况 下 ， 我 们 使 用 下 面 的 fix 表 示 法COMP=COMP1+CONCOMP2 。否 则我 们 使 用 符 号 COMP = CON（COMP1，...，COMP n，con1，. con n）。下面的结果可以扩展到具有多个导入接口的连接器的组合。定理3.1（二元成分合成的给定架构A，二元成分和二元CON1，CON3，与architec的连接器-。。。___S、、。。。。。z__。 S，，，图14中的真图GA，则我们有以下的自相关性定律：COMP1COMP2COMP3图14. 二进制连接器和组件（COMP1+CON1COMP2）+CON2COMP3=COMP1+CON1（COMP2+CON2COMP3）证明思路：方程的每一边都可以通过CON1和CON2证明为等于COMP1，COMP2和COMP3的并行组合，使用并行扩展特性。Petri网实例首先使用连接器Con week组成组件Comp invite和Comp shop，我们获得图15中所示的新组件Comp invshop。H. Ehrig等人理论计算机科学电子笔记108（2004）5361EC2食品自助餐就客人宾客名单1. 列表2. 列表自助餐就基础知识食品放公司简介烤准备完成邀请宾客名单准备自助餐装饰重复烤炒店店列购物单取消ES2基础2. 列表店新鲜食品宾客名单邀请取消做购物清单商店1. 列表2. 列表Comp_invshop基础知识完成店宾客名单新鲜食品图15. Comp invshop构造的相应平行延伸图每周Iw1 C，Iw2Compinvshop的主体BJ如图16所示，其中我们再次czEi公司简介czEs1cz使用组件或组件的名称，也是他们的身体。Comp inviteBJ，，Comp shop图16. 并行扩展图通过连接器Con day将该组件与组件Comp cook连接，我们得到图17中的组件Comp invshopcook。但我们也可以改变作曲的顺序。图17. 公司简介62H. Ehrig等人理论计算机科学电子笔记108（2004）53我我b我 BconIEikczi∈{1，.，n}eikE埃伊Ij公司简B我j ∈{1，.，mi}\{k}−Eij因此，使用连接器Con day，我们首先组成组件Comp shop和Comp cook。通过连接器Con week与组件Comp invite连接，我们再次获得图17中的组件Comp invshopcook。这个交换性由定理3.1保证。4建筑的语义学在本节中，我们定义架构的语义事实上，我们构造了一个定义良好的单个组件作为语义，它对应于使用给定架构的所有连接器的所有组件的组成。更准确地说，对于一个架构，有一些简化规则，通过连接器逐步可视化组件的组合。这两个归约规则都是产生式p=（L←K→R），图变换的代数方法[5]。一L，KR该方法中的推导步骤由两个推出给出图18中的图（1）和图（2），记为G= ΔH，（1）（2）J J J（p，m），其中m：L→G是图态射，G、DH表示L在G中的匹配。 直觉告诉我们，图18. G=10H（L-K），从而导致（1）中的上下文图D 然后我们加上（RK），从而得到（2）中的结果H。 （1）的推出性质 （2）直观地表示G是（1）中D和L沿K的胶合，H分别是（2）中D和R沿K的胶合给定具有体系结构图DA和体系结构图GA的体系结构A，对于每个连接器CON，存在以下图归约规则COND：条件D：，1D，研发图19.图归约规则，其中由组合物定义eBJ和eJij=eijbJi：COMP = CON（COMP1，.，COMP n，con1，. conn）=（BJ，（eJij：Eij=<$BJ）ij∈I×J）EijeJij zBJ对于每个ij ∈ {1，...， n}×（{1，.， m i}\{k}）= I ×J.H. Ehrig等人理论计算机科学电子笔记108（2004）5363⇒⇒图20中给出了对应的图归约规则CON G，其中COMP1，.，COMP n映射到COMP。因此，归约步骤CON D：DA= DAJ，相应地CON G：GA= GAJ由推导步骤给出在体系结构图的层次上，分别是体系结构图。对于这两个推导步骤，我们都有匹配的包含。 注意r G既不是单射的，也不是标签保持的，然而对于归约规则CONG：GA=GAJ，GAJA的标签由GA和COMP很好地定义。CONG：，l，G图20. 图归约规则RGCOMP我们可以通过架构归约引理表明，架构归约规则CON =（CON D，CON G）将架构A归约为定义良好的较小架构AJ，其中D AJ和G AJ如上所定义。的CONis的应用表示dbyAC=O<$NAJ。AJJissmallerthanAinthe如果A的元数为（k，l），我们可以证明AJ的元数为（k−n+ 1，l− 1），如果CON的元数为n。这意味着：给定一个由k个组件和l个连接器组成的体系结构A，我们得到具有k−n+1个组件和l−1个连接器的体系结构AJ现在，我们可以将架构的语义作为尽可能多的归约规则架构A的语义是通过一系列架构简化步骤获得的任何组件COMPA=COMP从A到COMP主要结果见第4.1表明这种语义始终存在并且是唯一的。主要原因是-由Church-Rosser性质给出，说明任何两个架构简化步骤是局部连续的。定理4.1（存在唯一性）架构语义）对于每个架构A，存在唯一的组件COMP，其是A的语义。COMP可以通过任意约简序列获得，其中A的连接符以任意顺序约简：A =10000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000证明思想：由于满足Church-Rosser性质，体系结构约简步骤序列具有唯一con1cccc，，CON，C、、、COMP，cc.z1比较数1号机比较数64H. Ehrig等人理论计算机科学电子笔记108（2004）53的标准形：如果体系结构图DA0中的CON1和CON2的匹配不相交，则它们是独立的，并由图变换的Church-Rosser定理得到结果. 否则，由于非DA0的圆度，匹配最多可以在一个分量中重叠，这允许应用定理3.1，分别是具有多个输入的扩展H. Ehrig等人理论计算机科学电子笔记108（2004）5365的1一个3一个2一个3Scz，s接口。因此，每个最大序列的长度为n，其中n是A中连接子的数量。Petri网实例约化规则DA的应用CONWEEKzD这消除了connectorCon week导致图1中给出的体系结构图DA121岁在那里，我们有一个新的组件Comp invshop和一个出口Es2，它像以前一样连接到连接器Con day的导入Id1。的DA1的应用CONDAYZD消除了连接器Con日则产生A的语义。这是图17中的组件Comp invshopcook，只剩下一个导出，即Ec2。定理4.1保证了这个语义唯一存在。如果我们从应用程序DACONDAYZD这消除了连接器Con的一天，我们获得了一个组件Comp shopcook有两个出口Es1和Ec2。核心-图22给出了响应体系结构图DA2。随后的DA2的应用CONWEEKzD消除了连接器Con Day的产量然后再次调用组件Comp invshopcook。康日Conwe，ek，，哦，，哦，，ID1oooo、、、ID2ooIw1、、、IW2czEs2czEC1czEc2EiczEs1EC2ssss公司简介ssssssssComp invshopc，zJ免费厨师Comp inviteComp shopcook图21. 结构图DA1图22. 结构图DA25实例化在[1]中，Allen和Garlan使用CSP [9]作为规范形式主义引入了架构连接器。在本节中，我们将非常简要地概述CSP和Petri网如何适应我们的转换框架。CSP可以被看作是我们的转换框架的一个实例，如下所示。首先，我们考虑一个CSP规范P=（Ep，Exp），其中Ep是一个进程签名（可以在P中使用的符号集），Exp是一个构建在Ep中符号上的CSP然后，我们考虑一个进程P嵌入在一个进程Q中，如果P是Q的一个并行分支。 更准确地说，如果P1=（1，Exp 1）且Exp 2 Exp 1，则P1 =（1，Exp1）嵌入P2=（2，Exp2）中|对于某个过程表达式ExpJ。P1和P2独立地嵌入P3i → Exp3→ Exp1|实验2|对于某个过程表达式ExpJ。66H. Ehrig等人理论计算机科学电子笔记108（2004）53最后，我们认为转换只是CSP细化模签名嵌入。这意味着CSP变换t：P1=（λ1，Exp1）λP2=（λ2，Exp2）是内射映射t：λ1→ λ2，使得实验1到t的转换证明，分别是t（Exp1）的失败和分歧的子集，其中t（Exp1）表示通过重命名由t定义的事件来翻译Exp1。然后，CSP可以被看作是我们通用方法的一个实例，因为存在并行扩展：如果，对于i= 1， 2，ti：Pi=（i，Expi）<$PiJ =（Exp jI，ExpJi）是transfor-门斯 和P1和P2是 独立 嵌入在P3中=（实验3），nt3：P3J为 （E3J，EXPJ3）是t1和t2的一个平行的x∈N，其中其中+ 和-表示不相交并和集减，t3：t3 →T3是恒等式，ExpJ3是在Exp 3中用Exp j 1代替Exp 1，用ExpJ2代替Exp2得到的过程表达式。在[2]中引入了高级替换系统，作为双推出方法的推广，用于从图到适当类别中的几种高级结构的图转换，包括各种不同类型的图和Petri网（[4]）。 的变换在本文的框架中对应于高级结构（例如Petri网）的推导序列。在我们的一般组件框架[4]中考虑的变换的扩展性质在高级替换系统理论中被称为嵌入定理，如果需要嵌入和变换之间的一致性条件，则该定理成立。一个类似的一致性条件，制定了本文考虑的并行扩展性能。 这个性质可以通过考虑[2]中所示的嵌入定理和嵌入定理此外，我们也可以允许嵌入的一些重叠，只要变换在并行独立性的意义上保持重叠部分。出现这种情况在我们运行的示例中，图10中的连接器Con day6结论在本文中，我们提出了一个通用的框架连接器架构，基于我们的通用框架组件在[4]中，并激励艾伦和加兰在[1]的建筑连接器的方法，它被证明是一个特殊的例子。可以提到的是，H. Ehrig等人理论计算机科学电子笔记108（2004）5367[11，20]关于基于图变换技术的架构重构可以被认为是对我们的补充，因为图变换和高级替换已经在我们的方法中发挥了基本作用。未来的工作包括进一步和更具体的实例化，特别是高层次的Petri网和图形转换系统。此外，评估实际影响的大型案例研究也是一项重要任务。在理论方面，一般高级替换系统的实例化必须更详细地制定，我们的框架应该扩展到[4]中研究的其他方面和[11，20]中的架构重构确认这项工作得到了TMR网络SEGRAVIS和西班牙项目MAVERISH（TIC 2001 -2476-C 03 -01）以及CIRIT Grup de Recerca Consolidat 2001 SGR 00254的部分支持。引用[1] R. Allen和D.加兰架构连接的正式基础。ACM软件工程与方法汇刊，1997年。[2] H. Ehrig，A. Habel，H. J. Kreowski和F.巴黎普雷西切。高级替换系统中的并行性和并发性。《比较科学中的数学结构》，1：361[3] H. Ehrig和B.马尔Fundamentals of Algebras Specification 2：Module Specifications andConstraints，EATCS Monographs on Theoretical Computer Science第21卷。施普林格出版社，柏林，1990年。[4] H. Ehrig，F.奥雷哈斯湾布拉茨湾Klein，and M.皮雷宁系统建模的通用组件概念。在Proc. FASE施普林格，2002年。[5] H. Ehrig，M. Pfender和H.施耐德图文法：代数方法。在第14届IEEE交换和自动机理论年会上，第167-180页。IEEE，1973年。[6] D. 加兰河 Monroe 和D. 怀尔Acme ：一种体系结构描述交换语言。在Proc. of CASCONhttp://www.cas.ibm.ca/cascon/cfp.html。[7] F.格里高利尔软件dpunkt Verlag，1998年。[8] Gruhn和A.泰尔组件模型：DCOM，JavaBeans，JavaBeans，CORBA。Addison-Wesley，2000年。[9] C. 霍尔通信顺序进程。普伦蒂斯-霍尔，1985年。[10] C. 霍夫迈斯特河Nord和D.索尼用UML描述软件体系结构，第145Kluwer Academic Publishers，1999.[11] M. Léowe. 每一个人都是一个人。 Postdoctoralthesis，TechnicalUniversityofBerlin，1997.[12] S. Ma nn，B. 波如鲁斯，H。 Ehr ig，M. 格罗埃-罗奥德河、格罗埃河 Mackenthun，A. 苏恩布尔和H. Weber. 面向持续软件工程的组件概念。技术报告55/00，FhG-ISST，2000年。68H. Ehrig等人理论计算机科学电子笔记108（2004）53[13] J. Padberg 抽象Petri网：一种统一的方法和基于规则的改进。博士论文，柏林技术大学，1996年。沙克尔出版社[14] J. 帕德伯格Petri网模块Journal on Integrated Design and Process Technology，6（4）：105[15] J. 帕德伯格， H. 埃里希 和 L. 里贝罗代数 高层次的网络转换系统。计算机科学中的数学结构，5：217[16] G. 罗森伯格， editor.图文法与图变换计算手册，第1卷：基础。世界科学，1997年。[17] M.肖河 Deline，D. V. Klein，T. L. 罗斯，D. M. Young和G. 泽雷斯尼克 软件体系结构的抽象及其支持工具。IEEE软件工程学报，21（4）：314[18] M. Shaw和D.加兰软件架构-新兴学科的观点。Prentice Hall，1996年。[19] C. Szyperski。组件软件-Addison-Wesley，1997年。[20] M. Wermelinger 和 J. Fiadeiro 。 软 件 体 系 结 构 重 构 的 图 变 换 方 法 。 Science of ComputerProgramming，44（2）：133