基于TAU和SA的体系结构验证方法研究

Study on Architecture Verification Method Based on TAU and System Architect

TAU和SA是顶层设计领域广泛使用的成熟商业软件,具备对体系结构部分模型进行验证的能力。在分析体系结构验证的概念及验证内容的基础上,较完整地从语法层、语义层、语用层三个层次提出了基于TAU和SA的体系结构验证方法。以无人机侦察系统体系结构验证为例,说明了TAU和SA在状态图可达性验证和作战规则合理性验证上的有效性和实用性。

TAU and System Architect are two mature commercial softwares in the field of architecture designing. They are capable of verifying some of the architecture models. Based on analyzing the concepts and contents of the architecture verification, the verification method based on TAU and SA that is consist of grammar verification, semantic verification and pragmatic verification are proposed. Unmanned Aerial Vehicle architecture verification is used as an example to illustrate that TAU and SA are effective and practical in verifying the state chart＇s reachability and the operational rules＇ rationality.