关键词: 状态图, 体系结构, 性能需求, 业务需求

Abstract:

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 behavior 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.

Key words: state chart;architecture;performance requirements;business requirements