Uml activity and state diagrams

Does GoJS support uml semantics for activity diagrams and state diagrams -for example preconditions, post conditions, etc?

GoJS only provides visual syntax. Semantics are entirely the responsibility of the app.