Hej,
I am working on that statechart, but I’m not sure how to fill in the table.
Maybe someone can help me?
http://www.file-upload.net/download-2147190/Zustandsdiagramm_-bung.pdf.html
Thanks!
Personally, I’ve never seen an event inside of a state, which is what I assume the “do/e1/b=false” is supposed to represent. With that assumption, filling in the table should be straight-forward assuming that the columns are event, ending state, value of A, and value of B, respectively.
Normally, for an event that doesn’t result in a state change, I would see a transition coming out of the state and looping back to the state it came from. Looking at your diagram, there are no loopback transitions, which lead me to make the assumption I made above.
For example, in the second row, I would fill in: e1 | K | a=true | b=false. Hope that helps.
