基于实时扩展Wright的系统检验规则分析.pdfVIP

基于实时扩展Wright的系统检验规则分析 吴博，黄志球，祝义 南京航空航天大学信息科学与技术学院210016 duduwb@163．oDnl 述能力的同时，其对系统的检验和推理能力也有了相应的变化。文章针对其在时间特性上的描述变化，分析了实时扩展后的 Wright所描述系统的检验规则的变化以及新增的对时间属性的检验规则。 关键词：体系结构描述语言，Wright，检验规则，实时系统 on of Basedon AnalysisValidatingDescriptionsSystems TimedExtensionof Wright Wu Yi 130．Hua_呕ZhiQiu，Zhu ofInformationSeien∞and College TechrDiogy． of AeronauticsandAstronautics210016 NanjingUniversity duduwb@163．∞m Absttact：Ttmedextension 011 the on and manticsof oftheextensionof of r删cheekre∞讲ling Wright．Despite capabilitydescription，thecapabilitylanguage isalso ch；anged． Based∞thetimedextensionof of andchecksOntimeis Wright，the validatingdescriptions analyzed，I珊checkdescriptions changes ontimelike and safetyali唧e黛ar}e plDp06ed． time words：Architecture system Key descriptionlangllage，Wright，Validatingdescriptions，Real 1引言 近来，形式化的软件体系结构描述语言ADL(ArchitectureDescriptionL刮lgDt39e)以其严格的理论基础和可推 理性取代传统的图形化描述方式成为新的研究热点，出现了许多适用于不同领域的ADL。其中Wright语言是一 种适于描述并发交互系统的ADL，并已成功应用于多个大型系统的建模中。由于Wright语言在设计时未考虑时 间因素，因而不太适用于描述时间约束具有很重要作用的系统，如实时软件。针对这一问题．目前已有研究给出 系统的检验规则。 文章分为以下几个部分进行阐述：第一部分，介绍文章的整体思路和结构；第二部分，介绍Wright语言的结 构组成与行为描述；第三部分，实时扩展w咆ht语言的结构和行为描述；第四部分，给出基于实时扩展后的 Wright语言的软件检验规则；第五部分，文章的总结和未来工作。 2 Wright语言介绍