Login / Signup
Declarative Representation of UML State Machines for Querying and Simulation.
Zohreh Mehrafrooz
Ali Jannatpour
Constantinos Constantinides
Published in:
ECSA (Tracks, Workshops and Doctoral Symposium) (2023)
Keyphrases
</>
state machines
state machine
sequence diagrams
intermediate representation
petri net
fault tolerant
artificial intelligence
case study
high level
query processing
object oriented
software development
software systems
finite state machines