针对体系结构视图产品在验证系统动态行为及状态转换等方面存在的不足，难以有效保证所建模型与具体军事需求的一致性，提出了基于x UML与DODAF的可执行体系结构建模及验证方法，分析了该方法的可行性与适用性，及其在验证系统动态行为方面的优势，给出了利用该方法进行建模的具体步骤。最后结合区域防空指挥信息系统开发实例，通过建模对该系统的部分动态行为进行了验证和分析，进一步证明了该方法的有效性。
科研之友
微信
新浪微博
Facebook
分享链接
