Abstract: The article describes three different approaches to verification of one of the most frequently used UMLdiagrams – the sequence diagram. It indicates that these methods allow estimating its correctness only in certain aspects, and complex application of these approaches is the most effective way.

Keywords: verification, digital machine, driver, UML-diagram, record, correctness, sequence diagram.

Link:

FORMAL VERIFICATION OF THE SEQUENCE DIAGRAM

Vitaliy Lytvynov, Irina Bogdan

http://www.foibg.com/ijicp/vol01/ijicp01-01-p09.pdf