适用于动态软件体系结构的扩展的Z描述语言.PDFVIP

第２９卷第９期 计 算 机 应 用 研 究 Ｖｏｌ２９Ｎｏ９ ２０１２年９月　 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ｓｅｐ．２０１２ 适用于动态软件体系结构的扩展的Ｚ描述语言 周绪川 （西南民族大学计算机科学与技术学院，成都６１００４１） 摘　要：动态软件体系结构语言已成为描述复杂软件体系结构的重要工具，然而许多描述语言都是静态的，并 不能对动态软件体系进行描述。为此，对经典Ｚ描述语言进行扩展，主要通过对构件、连接件和它们的添加以及 删除来达到动态演化的目的。实例分析表明了这种扩展的可行性。 关键词：软件工程；动态演化；动态软件体系结构；Ｚ语言描述 中图分类号：ＴＰ３０１　　　文献标志码：Ａ　　　文章编号：１００１３６９５（２０１２）０９３３３８０３ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１３６９５．２０１２．０９．０３６ ＥｘｔｅｎｄｅｄＺｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅｆｏｒｄｙｎａｍｉｃｓｏｆｔｗａｒｅａｒｃｈｉｔｅｃｔｕｒｅ ＺＨＯＵＸｕｃｈｕａｎ （ＣｏｌｌｅｇｅｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ＆Ｔｅｃｈｎｏｌｏｇｙ，ＳｏｕｔｈｗｅｓｔＵｎｉｖｅｒｓｉｔｙｆｏｒＮａｔｉｏｎａｌｉｔｉｅｓ，Ｃｈｅｎｇｄｕ６１００４１，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｄｙｎａｍｉｃｓｏｆｔｗａｒｅａｒｃｈｉｔｅｃｔｕｒｅｌａｎｇｕａｇｅｈａｓｂｅｃｏｍｅａｎｉｍｐｏｒｔａｎｔｔｏｏｌｗｈｉｃｈｄｅｓｃｒｉｂｅｓｃｏｍｐｌｅｘｓｏｆｔｗａｒｅａｒｃｈｉｔｅｃ ｔｕｒｅ．Ｈｏｗｅｖｅｒ，ｍａｎｙｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅｓａｒｅｓｔａｔｉｃａｎｄｃａｎｔｄｅｓｃｒｉｂｅｔｈｅｄｙｎａｍｉｃｓｏｆｔｗａｒｅａｒｃｈｉｔｅｃｔｕｒｅ．Ｓｏ，ｔｈｉｓｐａｐｅｒｅｘ ｔｅｎｄｅｄｔｈｅｃｌａｓｓｉｃａｌＺｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅｔｈａｔｄｅｓｃｒｉｂｅｄｄｙｎａｍｉｃｅｖｏｌｕｔｉｏｎｂｙｍｅａｎｓｏｆｃｏｍｐｏｎｅｎｔｓ，ｃｏｎｎｅｃｔｏｒｓａｎｄｔｈｅｉｒ ｃｏｎｎｅｃｔｉｏｎｗｈｉｃｈａｄｄｅｄａｎｄｄｅｌｅｔｅｄ．ＥｘａｍｐｌｅａｎａｌｙｓｉｓｓｈｏｗｓｔｈａｔｔｈｅｅｘｔｅｎｄｅｄＺｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅｉｓｆｅａｓｉｂｌｅ． Ｋｅｙｗｏｒｄｓ：ｓｏｆｔｗａｒｅｅｎｇｉｎｅｅｒｉｎｇ；ｄｙｎａｍｉｃｅｖｏｌｕｔｉｏｎ；ｄｙｎａｍｉｃｓｏｆｔｗａｒｅａｒｃｈｉｔｅｃｔｕｒｅ（ＤＳＡ）；Ｚｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ 　引言 　动态软件体系结构介绍 软件体系结构（ＳＡ）指的是从全局视角描述系统的构件组 　动态特性 成、构件之间的相互关系和连接方式所形成的拓扑结构及其所 ＳＡ通常是对系统的静态描述，如果需要改变体系结构则 遵循的模式和受到的约束等［１］。动态软件体系（ＤＳＡ）则是指 必须重新设计新的ＳＡ，这已不能适应现在越来越多的需要在 ［２］ 那些在运行时刻会发生变化的体系结构 。软件体系结构语 运行时刻发生变化的系统的设计需求；而ＤＳＡ则允许系统在 言（ＡＤＬ）使用符号标记把软件体系结构分解成构件和连接 执行过程中修改其体系结构。体系结构的动态变化可分为如 件，并说明这些元素如何连接在一起构成一个配置［３］。它不 下几个方面［７］： 但是形式化描述软件体系结构的基本工具，而且还是对软件体 ａ）结构方面。软件系统为适应当前的计算环境，往往需 系结构进行求精、验证、演化和分析的前提和基础。