摘要
波动效应是导致大型软件系统维护费用昂贵的一个重要原因。本文基于CCITT推荐,并已在电信领域广泛应用的SDL语言研究了一种修改进程创建顺序而引起的行为波动效应现象。文中提出了进程创建式,进程创建顺序约束断言等概念。然后严格构造了一个称之为X的公理系统。从而使波动效应的分析归结为该公理系统中的演绎推理。最后给出一个例子。
Ripple effect is a major factor causing high maintenance cost of large-scale software systems. In this paper, based on SDL language which has been recommended by CCITT and widely used for software development in the field of telecommunications, a kind of behavioral ripple effect due to changes of process creating order of system is analyzed. Furthermore, concepts of process creating formula and constraint assertions are proposed. An axiom system called X is then built in which the ripple effect analysis can turn a kind of deductive reasoning operation. Finally, a detailed example is followed.
出处
《通信学报》
EI
CSCD
北大核心
1991年第2期1-7,共7页
Journal on Communications
基金
国家自然科学基金
关键词
进种创建顺序
波动效应
程序系统
SDL language, Software maintenance, Ripple effect.
