Formalizing UML state machines for automated verification: A survey

• Main Authors: ETIENE, Andre, LIU, Shuang, LIU, Yang, CHOPPY, Christine, SUN, Jun, DONG, Jinsong
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2023
• Subjects: UML; semantics; formal specification; formal verification; Theory and Algorithms
• Online Access: https://ink.library.smu.edu.sg/sis_research/7814
• Institution: Singapore Management University

The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML behavioral state machines are used for modeling the dynamic behavior of object-oriented designs. The UML specification, maintained by the Object Management Group (OMG), is documented in natural language (in contrast...