IStateInvariant
com.change_vision.jude.api.inf.model.Sequence diagram Interface
com.change_vision.jude.api.inf.model.
IInteractionFragment
com.change_vision.jude.api.inf.model.
IStateInvariant