Inst. of Software Eng. Compiler Constr., Ulm Univ., Ulm, Germany;
Unified Modeling Language; diagrams; finite state machines; program verification; UML 2 activity diagram translation; flow semantics; interruptible activity regions; model checking; signal handling; state diagrams; state transition system; verification techniques; Abstract State Machines; UML 2; activity diagrams;
机译:将SysML状态机图的转换规则转换为CSP#,以进行正式模型检查
机译:UML活动图的符号模型检查
机译:基于模型的测试用例从UML序列图使用扩展有限状态机
机译:UML 2活动图表在用于模型检查的有限状态机中的翻译
机译:使用超级状态分析在多个UML状态图中进行一致性检查。
机译:利用UMLS语义检查UMLS概念中的语义一致性
机译:UML活动图的符号模型检查