Protocol State Machines

General Questions/Discussions
1

In VP-UML 5.3, is there any support for protocol state machines, as specified in UML 2.0 (Superstructure, Section 15.3.5ff)?
How to get Protocol Transitions (with pre- and postconditions)?

I liked these constructs very much, I used it (or similar, table-oriented techniques when protocol state machines were not yet specified in UML), as this is a way of contractual specifications which is nearly as precise but much more comprehensive than OCL - and it allows for basic visual checks for specification consistency and completeness.

Could you give me any hints on this?

TIA

Gerhard Offe

2

Hi Gerhard,

Thank you for your post. I forwarded your question to our developers. I will let you know the answer as soon as possible.

Best regards,
Jick

3

Hi Gerhard,

Do you think our current State Diagram can fulfill your need? I just read the specification. It seems that the difference is about the way you draw the diagram. The notations should be the same. Do you think so?

Best regards,
Jick