Formal analysis for dynamic behavioral models of real-time systems
实时系统动态行为模型的一种形式分析方法

This paper introduced a formal analysis for dynamic behavioral models of real-time systems based on unified modeling languages(UML 2.0).Firstly,presented the formal specification of UML sequence diagrams,and studied the relationship between the events in the sequence diagram,after that introduced an automata to describe the events that every object participated in the scenario that the sequence diagram depicts.Then extended the automata to describe the UML 2.0 sequence diagram that contains combined fragmen...