基于Petri网的构件组装模型

doi:10.3969/j.issn.1671-7775.2010.04.017

摘要
图/表
参考文献
相关文章 (1)

全文: PDF (419 KB) HTML (1 KB)
输出: BibTeX | EndNote (RIS)

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

	服务

	把本文推荐给朋友
	加入我的书架
	加入引用管理器
	E-mail Alert
	RSS
	作者相关文章

关键词 ：构件组装 ')" href="#">构件组装 , Petri网 ')" href="#">Petri网 , 构件演化 ')" href="#">构件演化 , 波及效应')" href="#">波及效应, 静态模型')" href="#"> 静态模型, 动态模型')" href="#"> 动态模型

Abstract：The component assembly model based on Petri net was proposed to eliminate the deficiencies of formal semantic definitions in describing both component assembly and component evolution. Petri net system functions were employed to describe the static assembly structures of component. In addition, the migration of component ID flowing throughout Petri net was used to simulate the dynamic operation of component model. Six component assembly architecture and dynamic operation rules for Petri net were constructed, and special cases were given to illustrate both the evolution and operation of component Petri net. To support quantitative analysis of ripple effect during component model evolution, impact factors were abstracted from reachable marking graph of Petri to describe the level of coupling between components and to measure the influence degree of component evolution. This model can be applied to the description of architecture and evolution analysis of assembly process in component-based software system

Key words： component assembly ')" href="#">component assembly Petri net ')" href="#">Petri net component ')" href="#">component ripple effect')" href="#">ripple effect static model')" href="#">static model dynamic model')" href="#">dynamic model

基金资助:

国家“863”计划项目（2007AA04Z1B201）

作者简介: 杨鹤标(196O一)，男，江苏淮安人，教授(yhbjj@ujs．edu

引用本文:

杨鹤标, 乔亦民 . 基于Petri网的构件组装模型[J]. 江苏大学学报（自然科学版）, 2010, 31(4): 452-457. Yang Hebiao, Qiao Yimin. Component assembly model based on Petri net[J]. Journal of Jiangsu University(Natural Science Eidtion) , 2010, 31(4): 452-457.

链接本文:

http://zzs.ujs.edu.cn/xbzkb/CN/10.3969/j.issn.1671-7775.2010.04.017 或 http://zzs.ujs.edu.cn/xbzkb/CN/Y2010/V31/I4/452