基于Petri网的构件组装模型

作     者：杨鹤标 乔亦民 Yang Hebiao;Qiao Yimin

作者机构：江苏大学计算机科学与通信工程学院江苏镇江212013 

出 版 物：《江苏大学学报（自然科学版）》 (Journal of Jiangsu University：Natural Science Edition)

年 卷 期：2010年第31卷第4期

页      面：452-457页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家"863"计划项目(2007AA04Z1B201) 

主　　题：构件组装 Petri网 构件演化 波及效应 静态模型 动态模型 

摘      要：针对形式化语义对构件组装和演化描述能力不足的问题,提出了基于Petri网的构件组装模型.以Petri网系统表示构件的静态组装结构,用网中标识在库所中的流动来模拟构件的动态运行过程;构造了6种具有普遍适应性的构件组装运算,给出了构件Petri网的动态运行规则,并通过案例演示了构件Petri网的演化和组装运算过程.为了支持对构件演化过程中波及效应的量化分析,从可达标识图中抽象出构件影响因子用来描述相关构件耦合度的大小,并用以度量构件系统演化时的影响度.该模型可应用于基于构件的软件系统的体系结构描述及构造过程的演化分析.