Role Activity Diagrams as Finite State Processes.

Costin Badica Amelia Badica Valentin Litoiu

Published in: ISPDC (2003)

Keyphrases

finite state
markov chain
activity diagrams

markov decision processes
model checking
conceptual database design

optimal policy
partially observable markov decision processes
tree automata

artificial intelligence
knowledge base