StarUML Rozdział 9. Weryfikacja Modelu

Końce Powiązania w obrębie Powiązania muszą posiadać unikalne nazwy.

Dwie lub więcej Agregacji lub Złożonych końców Powiązań nie może istnieć w obrębie Powiązania.

Parametry muszą posiadać unikalne nazwy.

Atrybuty o tych samych nazwach nie mogą istnieć w jednym Klasyfikatorze.

Końce Powiązania po drugiej stronie muszą posiadać unikalne nazwy.

Atrybut nie może posiadać takiej samej nazwy jak Powiązanie po drugiej stronie, albo jak elementy zawarte w Klasyfikatorze.

AssociationEnd on the other side cannot have the same name as elements included in Classifier or its Attribute name.

Root element cannot have elements that are more generalized than itself.

Leaf element cannot have elements that are more specialized than itself.

Looped inheritance structure is not allowed.

All features of interfaces must be public.

ComponentInstance must accurately assign a component as its origin.

NodeInstance must accurately assign a node as its origin.

AssociationEndRole must be connected with ClassifierRole.

Rola Klasyfikatora nie może mieć własnych cech.

Rola Klasyfikatora nie może stać się Rolą Klasyfikatora dla innej Roli Klasyfikatora.

Sender and receiver of a message must participate in the collaboration that constitutes the interaction context.

Actor can only have associations that are connected to UseCase, Class or Subsystem.

CompositeState can have a maximum of one initial state only.

CompositeState can have a maximum of one deep history only.

CompositeState can have a maximum of one shallow history only.

Concurrent composite state must contain a minimum of two composite states.

Concurrent state can only have composite state as its sub state.

Final state cannot have outgoing transition.

Initial state can have a maximum of one outgoing transition and cannot have incoming transition.

History state can have a maximum of one outgoing transition.

Junction vertex must have a minimum of one incoming transition and one outgoing transition each.

Choice vertex must have a minimum of one incoming transition and one outgoing transition each.

StateMachine może być zintegrowany albo z Klasyfikatorem lub z Cechą Behawioralną.

Stan główny musi być zawsze stanem złożonym.

A?aden stan nie może zawierać stanu głównego.

Stan główny nie może mieć wychodzących przejść.

>SubmachineStates nie może posiadać zbieżności.

Przejście, które wskazuje PseudoStan nie może posiadać Wyzwalacza.

GrafAktywności może wyrażać dynamiczne zachowanie Pakietu, Klasyfikatora lub CechyBehawioralnej.

StanAkcji nie może mieć wewnętrznej akcji przejścia, wyjścia lub wykonywać akcji.

Outgoing transition of ActionState cannot have trigger event.

Stan PodAktywności musi być połączony z GrafemAktywności.