论文部分内容阅读
为了分析分布式软件系统的运行时行为,提出了一种基于事件的分布式系统行为分析框架,基于复合事件描述软件行为,并设计了行为规约检查机制,实现了一个针对Java语言的原型系统.详细描述了分布式系统行为分析框架的结构,阐述了该框架中各组成模块及其相互关系,最后,结合一个典型实例,进一步介绍了该原型系统的实际应用效果.