Dynamic Wright:体系结构描述语言Wright的一个扩展,Dynamic Wrightd的主要目的是试图模拟或标记,以解决软件系统的动态性,