Formal semantics of UML state diagram and automatic verification Based on Kripke structure
Tuesday, July 28, 2009 - 00:14
in Mathematics & Economics
Paper: Formal semantics of UML state diagram and automatic verification Based on Kripke structure Author: Yefei Zhao, Zongyuan Yang, Jinkui Xie Abstract: If UML is formalized with dynamic semantics, automatic verification can be performed for system model in the early stage of software procedure. It becomes more and more important to apply model