SysML状态图合理性验证研究与实现

给SysML赋予形式化语义,可在目标系统生成前,对系统的模型进行合理性验证。模型在实现前就被验证,可减少目标系统的测试周期。文中用SysML状态图表示系统的行为模型,通过体系结构和业务需求两方面对行为模型进行验证。按照语义规范和性能需求的标准验证状态图的体系结构。另一方面,在体系结构正确性的基础上,执行带有动作规约语言的状态图,可得到状态图对象的行为过程。并通过判断该行为过程与人们所期望的是否一致,再对业务需求进行验证。最终通过实验验证了该方法的有效性和可行性。

Study and Implementation of Rationality Verification of SysML State Chart

The formal semantics of SysML enables system rationality model validation before the generation of the target system, which reduces the target system test cycle. The SysML state diagram is used to represent the be- havior of the system model, and behavioral model verification is performed in terms of architecture and business needs. The state diagram architecture is authenticated in accordance with the standard Semantic specifications and performance requirements. On the other hand, with the correctness of the architecture assured, the behavior of the state diagram objects is available by the implementation of the state diagram with action specification language. And then the business requirements are verified by judging whether the behavior is the desired one. The effectiveness and feasibility of this method is verified by experiments.