StarUNL. Руководство пользователя. Глава 9. Проверка модели |
161 / 207 |
Глава 9. Проверка модели
Эта глава описывает программную проверку корректности модели: метод проверки и правила, используемые при контроле.
•
•
Проверка модели Правила контроля
Проверка модели
Пользователи могут допустить много ошибок в процессе моделирования программного обеспечения. Такие ошибки могут очень дорого обойтись, если их не исправить до заключительной стадии генерации кода. Чтобы предотвратить эту проблему, StarUML ™ позволяет осуществить проверку модели программного обеспечения, на основе применения основных инструкции UML.
Процедура проверки модели:
1.Выберите в меню [Model] -> [Verify Model…].
2.В диалоге Verify Model, щёлкните кнопку [Verify].
3.Когда проверка закончится, в секции [Сообщения] будут показаны имена элементов, которые не прошли проверку, а также тексты ошибок.
4.Дважды щелкните сообщение, чтобы перейти на интересующий элемент.
Правила контроля
Тридцать восемь инструкций определены для того, чтобы проверять корректность модели. Эти определения - главным образом адаптация инструкций спецификации UML.
Список правил проверки
StarUNL. Руководство пользователя. Глава 9. Проверка модели |
162 / 207 |
|
||
|
|
|
|
|
No |
Содержание правила |
Модельный |
||
элемент |
||||
|
|
|||
|
Концы ассоциации в пределах Ассоциации должны иметь уникальные |
|
|
|
1 |
имена. |
Association |
||
|
AssociationEnds within an Association must have unique names. |
|
|
|
|
Два или более агрегатных или композитных конца ассоциаций не могут |
|
|
|
2 |
существовать в пределах одной ассоциации. |
Association |
||
Two or more Aggregations or Composite AssociationEnds cannot exist within |
||||
|
an Association. |
|
|
|
3 |
Параметры должны иметь уникальные имена. |
BehavioralFeature |
||
Parameters must have unique names. |
||||
|
|
|
||
|
Атрибут с тем же самым именем не может существовать в пределах |
|
|
|
4 |
классификатора. |
Classifier |
||
|
Attributes of the same name cannot exist within a Classifier. |
|
|
|
|
Концы ассоциаций противоположной стороны должны иметь |
|
|
|
5 |
уникальные имена. |
Classifier |
||
|
AssociationEnds on the other side must have unique names. |
|
|
|
|
Атрибут не может иметь то же имя, что и ассоциация на |
|
|
|
|
противоположной стороне или другой элемент, включенный в |
|
|
|
6 |
классификатор. |
Classifier |
||
|
An Attribute cannot have the same name as the Association on the other side, |
|
|
|
|
or as elements included in Classifier. |
|
|
|
|
Конец ассоциации противоположной стороны не может иметь то же |
|
|
|
7 |
самое имя, что и элемент, включенный в классификатор, или атрибут. |
Classifier |
||
AssociationEnd on the other side cannot have the same name as elements |
||||
|
|
|
||
|
included in Classifier or its Attribute name. |
|
|
|
|
Корневой элемент иерархии не может содержать элементы, которые |
|
|
|
8 |
более обобщены, чем он сам. |
GeneralizableElement |
||
|
Root element cannot have elements that are more generalized than itself. |
|
|
|
|
Крайний элемент иерархии не может содержать элементы, которые более |
|
|
|
9 |
специализированы чем он сам. |
GeneralizableElement |
||
|
Leaf element cannot have elements that are more specialized than itself. |
|
|
|
10 |
Циклические структуры наследования не допускаются. |
GeneralizableElement |
||
Looped inheritance structure is not allowed. |
||||
11Все элементы интерфейсов должны иметь общедоступную видимость. Interface All features of interfaces must be public.
|
Инстанция компонента должна быть назначена компоненту, от которого |
|
12 |
она происходит. |
ComponentInstance |
|
ComponentInstance must accurately assign a component as its origin. |
|
|
Инстанций узла должна быть назначена узлу, от которого она |
|
13 |
происходит. |
NodeInstance |
|
NodeInstance must accurately assign a node as its origin. |
|
|
Роли концов ассоциаций должны быть связаны с ролями |
|
14 |
классификаторов. |
AssociationEndRole |
|
AssociationEndRole must be connected with ClassifierRole. |
|
15 |
Роль классификатора не может иметь собственных составных частей. |
ClassifierRole |
ClassifierRole cannot have its own features. |
||
|
Роль классификатора не может стать ролью классификатора для другой |
|
16 |
роли классификатора. |
ClassifierRole |
|
ClassifierRole cannot become the ClassifierRole for another ClassifierRole. |
|
StarUNL. Руководство пользователя. Глава 9. Проверка модели |
163 / 207 |
|
||
|
|
|
|
|
No |
Содержание правила |
Модельный |
||
элемент |
||||
|
|
|||
|
Отправитель и приемник сообщения должны участвовать в |
|
|
|
17 |
коллаборации, которая составляет контекст взаимодействия. |
Message |
||
Sender and receiver of a message must participate in the collaboration that |
||||
|
constitutes the interaction context. |
|
|
|
|
Акторы могут иметь ассоциации которые, связаны только с |
|
|
|
18 |
прецедентами, классами или подсистемами. |
Actor |
||
Actor can only have associations that are connected to UseCase, Class or |
||||
|
Subsystem. |
|
|
|
19Композитное состояние может иметь только одно начальное состояние. CompositeState CompositeState can have a maximum of one initial state only.
20Композитное состояние может иметь только одну глубокую хронологию. CompositeState CompositeState can have a maximum of one deep history only.
|
Композитное состояние может иметь максимум только одну |
|
21 |
поверхностную хронологию. |
CompositeState |
|
CompositeState can have a maximum of one shallow history only. |
|
|
Конкурентное (параллельное) композитное состояние должно содержать |
|
22 |
минимум два композитных состояния. |
CompositeState |
|
Concurrent composite state must contain a minimum of two composite states. |
|
|
Конкурентное состояние может иметь композитное состояние только как |
|
23 |
суб-состояние. |
CompositeState |
|
Concurrent state can only have composite state as its sub state. |
|
24 |
Заключительное состояние не может иметь исходящего перехода. |
FinalState |
Final state cannot have outgoing transition. |
||
|
Начальное состояние может иметь максимум один исходящий переход и |
|
25 |
не может иметь входящего перехода. |
Псевдосостояние |
Initial state can have a maximum of one outgoing transition and cannot have |
||
|
incoming transition. |
|
26Состояние хронологии может иметь максимум один исходящий переход. Псевдосостояние History state can have a maximum of one outgoing transition.
Вершина соединения должна иметь минимум один входящий переход и
27 |
один исходящий переход. |
Псевдосостояние |
Junction vertex must have a minimum of one incoming transition and one |
||
|
outgoing transition each. |
|
|
Вершина выбора должна иметь минимум один входящий переход и один |
|
28 |
исходящий переход. |
Псевдосостояние |
Choice vertex must have a minimum of one incoming transition and one |
||
|
outgoing transition each. |
|
|
Моделей состояний может быть интегрирована в классификатор или |
|
29 |
поведенческую сущность. |
StateMachine |
StateMachine can be integrated either with Classifier or with |
||
|
BehavioralFeature. |
|
30 |
Главное состояние должно всегда быть композитным состоянием. |
StateMachine |
Top state must always be composite state. |
||
31 |
Никакое состояние не может содержать главное состояние. |
StateMachine |
No state can contain top state. |
||
32 |
Главное состояния не может иметь исходящего перехода. |
StateMachine |
Top state cannot have outgoing transition. |
StarUNL. Руководство пользователя. Глава 9. Проверка модели |
164 / 207 |
||
|
|
|
|
No |
Содержание правила |
Модельный |
|
элемент |
|||
|
|
||
33 |
Субмодели состояний не могут иметь параллелизма. |
SubmachineState |
|
SubmachineState cannot have concurrency. |
|||
|
Переходы, которые ведут к псевдосостоянию, не могут иметь |
|
|
34 |
переключения. |
Transition |
|
|
Transition that points to Псевдосостояние cannot have Trigger. |
|
|
|
Диаграмма действий может выражать динамическое поведение пакета, |
|
|
35 |
классификатора или иной поведенческой сущности. |
ActivityGraph |
|
ActivityGraph can express dynamic behavior of Package, Classifier or |
|||
|
BehavioralFeature. |
|
|
|
Действие не может иметь внутреннего перехода, действия выхода или |
|
|
36 |
иного активного действия. |
ActionState |
|
|
ActionState cannot have internal transition, exit action or do activity. |
|
|
|
Исходящие переходы действия не могут иметь переключающего |
|
|
37 |
события. |
ActionState |
|
|
Outgoing transition of ActionState cannot have trigger event. |
|
|
38 |
Субдейсвтвия должны иметь связь с диаграммой действий. |
SubactivityState |
|
SubactivityState must have connection to ActivityGraph. |
|||