271

Примеры / Re: Как обозначить атрибут, значение которого вычисляется в момент создания объекта

« : 28 Июля 2017, 02:19:37 »

Как возможные промежуточные итоги:
Описание метамодели UML и метамодели OCL можно рассматривать как источник для установления прагматики некоторых конструкций UML.
В стандарте UML есть ошибки.
Утверждение, что инвариант истинен всегда следует принимать без фанатизма. Если в модели есть динамика, то в ней обычно допустимы короткие отрезки времени, в течение которых целостности нет.

272

UML SysML и пр. / Re: Правильно ли я отобразил отношения между классами описанных на коде?

« : 26 Июня 2017, 14:17:24 »

Почему связь Service - - -> Department, Workshop.  Ведь в классе Service есть метод который обращается к интерфейсу Subdivision. А уже непосредственно из интерфейса к классам реализующих его.

В коде в описаниях метода Service::main упоминаются классы Department и Workshop как типы локальных переменных. Этого достаточно для зависимостей. Если стоит цель сделать Service независимым от Department и Workshop, то workshop1 и department1 должны иметь тип Subdivision, а их создание следует поручить какой-нибудь фабрике (которая будет знать про Department и Workshop и зависеть от них). Фабрика позволит другим классам получать экземпляры классов, реализующих интерфейс, не зная имён этих классов и не завися от них.

Таким образом хотелось показать "полиморфизм".

Полиморфизм есть в Service::getFoodCost, но зависимость от классов, реализующих интерфейс, сохраняется из-за main.

Примеры тут.

273

Обсуждение статей / Re: Включение вариантов использования

« : 25 Июня 2017, 09:46:42 »

Статья [у меня] не открывается.
В текущей версии метамодели include и extend подвешены подклассами к DirectedRelationship как прямые наследники. При этом не сказано явно про disjoint. Следовательно, либо авторы метамодели не перешли на новые дефолтные свойства обобщений, либо они полагают, что какой-то include может быть также extend'ом. Во втором случае возникает пикантность при обсуждении различий между видами связей ВИ.
По синтаксису [предлагаемому Коберном] include напоминает гиперссылку. Никакой inline подстановки (как и копи-пасты описаний ВИ) не происходит. Тем более, компиляции. Неясно, что имели в виду авторы реплик.
По прагматике include близок в вызову процедуры, а extend -- к обработке исключения.

274

UML SysML и пр. / Re: Правильно ли я отобразил отношения между классами описанных на коде?

« : 24 Июня 2017, 17:08:45 »

Подскажите пожалуйста правильно ли я отобразил отношения между классами описанных в коде? А именно между service и интерфейсом Subdivision?

Связь с классом, описывающим тип параметра операции (как и тип локальной переменной в теле метода) -- это зависимость, а не ассоциация. Обоснование просто. Такие переменные "живут" лишь в течение вызова, в отличие от атрибута, который "живёт" время, сравнимое с временем жизни связанного объекта.
Рекомендации:
Убрать ассоциацию Service -----> Subdivision.
Добавить зависимость Service - - -> Subdivision.
Добавить зависимость Service - - -> Workshop.
Добавить зависимость Service - - -> Department.

P. S. И разбирать примеры в подфоруме про примеры.

275

О Сайте и Форуме / Re: А чем Вы можете помочь ресурсу uml2.ru?

« : 20 Июня 2017, 00:41:04 »

Благодарю, внес изменения.

Шлю свой поклон.

276

О Сайте и Форуме / Re: А чем Вы можете помочь ресурсу uml2.ru?

« : 17 Июня 2017, 15:26:05 »

Примеры
Здесь обсуждаются любые примеры моделей, составленных в любых нотациях.

Нововведения
Все новое в сферах бизнес- и системной аналитики, а также IT-индустрии.

Поделюсь впечатлением, что новостные ленты с заглавной страницы отчасти дублируют этот раздел. Отчасти, так как новости появляются там, а возможность обсудить (другие) новости даётся здесь. На других планетах видело приём, когда в форуме заводится раздел с обсуждениями записей из новостных лент. Например, под записью про ГОСТ Р 57100-2016 могла бы быть кнопка "Обсудить на форуме". Как только заводится первая реплика к новостной записи -- на форуме появляется тема, куда она и последующие реплики складываются. Скорее всего, не все записи имеет смысл обсуждать (например, выжимки из форума лучше оставить без обсуждений).

Теория моделирования и нотации
Теоретические основы моделирования, системного анализа. Обсуждения нотаций моделирования и нововведений в них.

277

О Сайте и Форуме / Re: А чем Вы можете помочь ресурсу uml2.ru?

« : 16 Июня 2017, 12:24:21 »

На других планетах мои замечания о содержании подфорумов считают самодеятельным модерированием и пресекают.)

278

О Сайте и Форуме / Re: А чем Вы можете помочь ресурсу uml2.ru?

« : 15 Июня 2017, 19:57:39 »

Спасибо, а не хотите стать модератором?

Нет. Если бы хотело, то выбрало бы себе ник "UML Metamodel Наци".)

Кстати, а кто самодеятельно модерирует?

Моё замечание о "рокировках" можно счесть самодеятельностью такого рода.

279

Книги, статьи и ресурсы / Re: Книги: UML 2.0. Объектно-ориентированное моделирование и разработка. 2-е изд.

« : 15 Июня 2017, 18:21:52 »

Отчего бы лишний раз не похвалить книгу Рамбо и Блахи. Как у руководства по диаграммам классов и диаграммам состояний у неё мало соперниц. И как у сборника задач по UML. Другое дело, что перевод условий задач таков, что "методичку"-решебник, выпущенную для преподов издательством Pearson, использовать вместе с переведённой книгой затруднительно. К перетолмаченным формулировкам условий авторские решения часто не подходят. 

280

О Сайте и Форуме / Re: А чем Вы можете помочь ресурсу uml2.ru?

« : 15 Июня 2017, 18:01:11 »

Идея по улучшению форума:
На заглавной странице есть описания разделов. Предлагаю из описаний разделов "Примеры" и "Нововведения" убрать упоминание UML. Может быть, это поспособствует тому, что смена ГОСТов не будет казаться umlьным нововведением, а приглашение проверить IDEF-пример -- обсуждением нотации. Добавлю, что, на мой вкус, некоторые темы про нотации, оказавшиеся в "Примерах", неплохо бы "рокирнуть" с темами про задачи из "Теории моделирования и нотаций".
P. S. + Внести в правила пункт о запрете попыток самодеятельного модерирования со стороны рядовых участников.))

281

Методологии / Re: Как работает методология Rup на практике?

« : 07 Июня 2017, 16:15:13 »

На практике в RUP-проекте 4 контрольные точки. Продвижение между ними -- это и есть RUP-этапы, т. е. фазы. Поскольку между некоторыми контрольными точками "расстояние" велико, фазы можно/нужно делить на итерации. Каждая итерация -- "каскад в миниатюре", похожий на описанное Вами. Отличие в том, что ЖЦ -- не просто повторение итераций, завершающееся релизом продукта. По RUPу полно публикаций, в том числе на русском, где всё это изложено. Коротко и по существу можно видеть здесь: http://panda.ispras.ru/~kuliamin/lectures-sdt/sdt-book-2006.pdf  стр.:35-44.

282

Примеры / Re: Как обозначить атрибут, значение которого вычисляется в момент создания объекта

« : 04 Июня 2017, 13:24:49 »

Множественность длины [0..1], поэтому тип длины такой, что включает и null-значение.

При такой мощности мне придраться не к чему.

Все равно не уловил.

Там указывается, что null можно использовать не только как пустое значение, но и как неопределённое значение. Если в Client::email положили null (например, конструктором/init'ом), то это может явно указывать, что емэйл неизвестен. Из  того, что авторы стандарта OCL пишут "may, for example, be assigned to an attribute", можно сделать вывод, что null не возникает сам по себе как неопределённое значение атрибута. Авторы метамодели UML полагают, что возникает, но не оговаривают это в своём стандарте.

хотелось обойтись без конструкторов

Попадались попытки расширения языка в сторону темпоральности, но я внимательно в эту сторону не смотрело.

283

Примеры / Re: Как обозначить атрибут, значение которого вычисляется в момент создания объекта

« : 03 Июня 2017, 20:33:44 »

Эти авторы когда-то впечатлили меня фразой: "существуют три уровня понимания обучающимся нового предмета, которые характеризуются следующими признаками: 1. Возникает приятное чувство понимания; 2. Может повторить своими словами; 3. Видит ошибки.

Навеяло. У Коберна 4 уровня понимания: http://alistair.cockburn.us/Shu+Ha+Ri+Kokoro

284

Примеры / Re: Как обозначить атрибут, значение которого вычисляется в момент создания объекта

« : 01 Июня 2017, 13:23:52 »

Строго говоря, не инициализированный слот не получает никакого значения.

Имелось в виду, что не получает никакого значения при инициализации экземпляра.) По стандарту при мощности 1..1 значение быть должно. Можно предположить, что перед инициализацией, т. е. при создании "голого" экземпляра в атрибуты кладутся какие-то значения, как того требуют мощности. Но что это за значения, можно лишь гадать (и сравнивать с null, как это делают авторы метамодели:)).

285

Примеры / Re: Как обозначить атрибут, значение которого вычисляется в момент создания объекта

« : 31 Мая 2017, 19:34:10 »

В 11.7.1 Collection (OCL) есть:
Note: null->isEmpty() returns 'true' in virtue of the implicit casting from null to Bag{}

Я, наверно, ошибаюсь, считая, что тип длины определяется статически по её описанию, а не динамически по её значению.

Авторы OCL чаще используют oclIsUndefined(), но в одном месте (11.5.4) - null.

oclIsUndefined() лучше тем, что сработает при неправильно вычисленной длине (например, полученной делением на 0).

Для меня это слишком: отдельно null, отдельно "никакое значение". Можно ссылку на намёк?

A.2.1.1 Пример с email'ами.

А про это что-нибудь: ...

Угу. Полагаю, что общую часть можно описать один раз через def, а затем использовать в предусловиях разных конструкторов.