29 citations · 42 across the 2 of their papers we have counts for
2 papers
cs.SE2024★ 29 cited
Formalizing UML State Machines for Automated Verification -- A Survey
Étienne André, Shuang Liu, Yang Liu +3
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.…
cs.SE2014★ 13 cited
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report
Étienne André, Mohamed Mahdi Benmoussa, Christine Choppy
UML state machines are widely used to specify dynamic systems behaviours. However its semantics is described informally, thus preventing the application of model checking technique…