Форум Сообщества Аналитиков

×


Последние сообщения

Страницы: « 1 2 3 4 5 6 7 8 9 10 »
71
Арлоу и Нейштадт тут просто напутали. Выше на стр. 495 написано (тоже с некоторой путаницей), что нет синхронизации параллельных регионов в смысле, что второй не выходит, пытаясь догнать вышедший первый, и что мы не ждём когда выйдут оба. Остальные "просто прерывают выполнение". Т. е. в них жёсткий останов без совершения действий во выходу и т. п..
Путаницу можно усилить, слив два exit point-а в один. Тогда слитный exit point будет работать как join. Т. е. будет синхронизация. Чудеса, да и только.
IBMшики взяли себе за правило рисовать лишь один переход, ведущий в exit point.
72
UML SysML и пр. / Re: Количество потоков примера
« Последний ответ от [прилетело НЛО и...] 15 Июня 2022, 22:25:03 »
Вопрошающему стоило указать, реальные решения:
- продублировать decision-ы для потока документов и для потока резолюций;
- укрупнить объектные токены, чтобы в 1 токен влезала пара документ+резолюция;
- забыть про datastore как про страшный сон.
73
Ну как тут мимо пройти...

Infrastructure::Core::Constructs::Operation -- это имя конкретного экземпляра метакласса, взятого из метамодели UML.
Infrastructure::Core::Constructs::Class -- это тип, к которому принадлежит любой экземпляр метакласса.
Нет нужды подставлять имя экземпляра вместо его типа.
В современной версии стандарта есть рис. 12.26, поясняющий это. Если заменить имя (значение слота name) экземпляра метакласса с "Class" на "Operation", то всё встанет на свои места.
74
OCL вроде не поддерживает навигацию по тернарным ассоциациям.
Поддерживает, но кривую. Другими словами, не поддерживает _должным_ образом_, на мой взгляд.
ОК. Дефект исправляем. Превращаем тернарную ассоциацию в класс тернарной ассоциации. Для него есть allInstances() и доступ ко всем концам.
Нашёлся ещё такой файлик, проясняющий по N-арным ассоциациям и OCL.
https://www.eclipse.org/forums/index.php?t=getfile&id=25690
(у меня скачался по VPN)
Там же дан другой рефакторинг решения -- материализация связи.
75
OCL вроде не поддерживает навигацию по тернарным ассоциациям.
76
Тема -- жир для некрокопателей.
Behavior -- это глыба, про которую у нас может быть повод нарисовать диаграмму деятельности / диаграмму состояний / диаграмму взаимодействия, чтобы прояснить, что там внутри.
Opaque Behavior -- это глыба, устройство которой мы не хотим описывать визуально на UML (это так в стандарте сформулировано). Её описание мы составим на _текстуальном_ языке, не являющимся UML (вероятно, авторы стандарта считают, что UML может быть текстуальным, невизуальным).
Action -- это кирпичик, строительный материал при описании глыб -- Behavior-ов. Кирпичик проще глыбы, настолько, что для него собственная диаграмма не нужна.
Opaque Action -- это кирпичик с пояснением/телом на текстуальном языке, не являющимся UML. Эти Action-ы используются чаще всего. Авторы стандарта даже считают, что при рисовании диаграмм деятельности (или диаграмм состояний) рисовальщик сначала кладёт Opaque-кирпичик, кумекает, и потом заменяет на что-нибудь более приличное (вспоминаем Рамбо: "В ставке Гитлера все...").
Add Feature Value Action -- это кирпичик не требующий пояснения, т. к. про него всё поясняет UMLьный стандарт. У него есть входной пин. На пин приходит значение. Когда кипричик запущен, он присваивает это значение в поле объекта (иногда затирая старое, если оно было).
Call Behavior Action -- это кирпичик (не требующий пояснения и т. д.). Он запускает чего-то сложное, то есть глыбу-Behavior, для которой может быть нарисована своя UML-диаграмма. Запуск может быть синхронным или асинхронным. Если запускаемое поведение является деятельностью, то на кирпичике ставят визуальный значок-"рубильник". На практике, если диаграмма деятельности получается большой, то бьём её на части и на основном осколке ставим Call Behavior(Activity) Action-ы как ссылки на осколки-продолжения.
Call Operation Action -- это кирпичик (не требующий пояснения и т. д.). У него есть входной пин. На пин приходит объект. Когда кирпичик запущен, он посылает этому объекту сообщение, вызывающее определённую операцию этого объекта.
Create Object Action -- это кирпичик (не требующий пояснения и т. д.). У него есть выходной пин. На пин выдаётся экземпляр класса, создаваемого, когда кирпичик запущен. Это голенький экземпляр объекта, у которого нет никаких значений, ссылок. Примечательность этого кирпичика в том, что он служит не только на диаграммах. С его помощью стандарт UML объясняет жизненный цикл экземпляров объектов.
Value Specification Action -- это кирпичик (не требующий пояснения и т. д.). У него есть выходной пин с именем result. На него выдаётся значение, которое является результатом вычисления спецификации значения (например, выражения). Само вычисление стартует, когда кирпичик запущен. Пример: пишем выражение "1". Получаем Value Specification Action-кирпичик, выдающий при его запуске единицу.
77
Для всех / Re: Алгоритмизация
« Последний ответ от [прилетело НЛО и...] 15 Июня 2022, 00:49:03 »
ДМК-Пресс выдало на гора перевод HtDP на русский.
https://dmkpress.com/catalog/computer/programming/978-5-93700-926-3/
https://htdp.org/
78
OCLь нам в помощь.)
79
На диаграмме классов для тернарной ассоциации Matches надо как-то обозначить, что объектов-плейсходлеров в экземпляре тернарной ассоциации должно быть не более одного.
80
Некрокопания псто.
Группы изображаем как классы: Material, Method, Tool.
Соединяем их классом тернарной ассоциации Matches
Material-0..*---┓
Method-0..*---⃟-- -- --Matches
Tool-0..*-------┛
Чтобы были тройки вместо NULL заводим объекты-плейсходлеры undefined-material:Material, undefined-tool:Tool, undefined-method:Method.
Конкретные тройки связанных экземпляров рисуем на диаграмме объектов (есть лакуна в стандарте UML по части того, как должно рисовать тройки, соединённые экземпляром тернарной ассоциации). В книгах авторы просто повторяют то, что на диаграмме классов, полагая, что если экземпляр бинарной ассоциации выглядит также, как она сама, то это справедливо и для тернарной.

Нормальной онлайн-рисовалки, как выяснилось, нет.
Страницы: « 1 2 3 4 5 6 7 8 9 10 »