specification languages; program verification; programming language semantics; language translation; formal specification; model checking; executable UML subset; model checking software system designs; execution semantics; automatic translation; inpu;
机译:在mCRL2中进行模型检查可执行UML规范
机译:可执行和可检查的故障管理模型的抽象
机译:具有意义的UML:基础UML和Alf动作语言中的可执行建模
机译:模型检查UML的可执行子集
机译:使用可执行模型的移动代理系统的运行时一致性检查。
机译:利用UMLS语义检查UMLS概念中的语义一致性
机译:UML可执行子集的模型检查