Finite State History Modeling and Its Precise UML-Based Semantics.
Dirk DraheimGerald WeberChristof LutterothPublished in: ER (Workshops) (2006)
Keyphrases
- finite state
- markov chain
- model checking
- markov decision processes
- modeling language
- uml activity diagrams
- unified modeling language
- sequence diagrams
- formal methods
- object oriented
- average cost
- specification language
- policy iteration
- context free
- metamodel
- dynamic programming
- conceptual modeling
- tree automata
- finite state transducers
- software systems