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

Дисциплины => Проектирование => Тема начата: Galogen от 17 Сентября 2017, 19:49:01

Название: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 17 Сентября 2017, 19:49:01
Предлагаю послушать и возможно подискутировать.

https://www.youtube.com/watch?time_continue=481&v=CmCEdVrZQAE

Дело сдвинулось с мертвой точки!

Сегодня узнал выходные данные своей первой статьи про математическое обоснование SOLID принципов (доклада, который я рассказываю с 2014 года - https://goo.gl/jUXeHZ).

Статья называется О формализации процесса разработки программного обеспечения. Выйдет в журнале Математические структуры и моделирование 2017. No 3(43). С. 96–107

Наследующей неделе журнал сдают в печать, а значит в октябре уже будет доступен.

На полное обоснование потребуется 4 статьи общим объемом 40-50 страниц. На публикацию уйдет год, если не будет форс-мажоров. Но это немного, учитывая, что по разным обстоятельствам я публиковал статьи 3 года.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Сергей() от 22 Сентября 2017, 09:43:02
Статья называется О формализации процесса разработки программного обеспечения.
А как связаны между собой SOLID-принципы и процесс разработки ПО?
Ведь SOLID-принципы, насколько я знаю, имеют отношение чисто к построению программного кода.
И с процессом разработки ПО не связаны.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 22 Сентября 2017, 09:57:31
А как связаны между собой SOLID-принципы и процесс разработки ПО?
Ведь SOLID-принципы, насколько я знаю, имеют отношение чисто к построению программного кода.
И с процессом разработки ПО не связаны.
А что такое процесс разработки, как не способ преобразования сходных требований в код с заданными свойствами. В данном случае способ преобразования основывается на SOLID-принципах.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: deather от 30 Сентября 2017, 10:10:36
В интернете нельзя будет почитать статью?

https://stroystandart.info/index.php?name=forum
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 30 Сентября 2017, 22:11:17
В интернете нельзя будет почитать статью?
Трудно сказать, со временем наверное можно. НО в научных кругах существует практика обращаться к автору с просьбой прислать статью для знакомства, типично автор присылает.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: [прилетело НЛО и...] от 28 Июля 2019, 11:42:27
Статья лежит в киберленинке (https://cyberleninka.ru/article/n/o-formalizatsii-protsessa-razrabotki-programmnogo-obespecheniya.pdf). Полагаю, что при нормальном рецензировании она бы никогда не появилась в научном журнале.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 29 Июля 2019, 17:05:08
Статья лежит в киберленинке (https://cyberleninka.ru/article/n/o-formalizatsii-protsessa-razrabotki-programmnogo-obespecheniya.pdf). Полагаю, что при нормальном рецензировании она бы никогда не появилась в научном журнале.
Эта статья у него не совсем ведь про SOLID, много формальных определений. На вид очень научно. А что в ней такого, что не прошло бы рецензирование?
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: [прилетело НЛО и...] от 29 Июля 2019, 18:58:37
Процесс разработки ПО <> редактирование исходного кода программы.
В общем случае, программа <> одномодульная программа.
Единоличное редактирование кода <> редактирование кода группой разработчиков.
Использование нотации из непрерывной математики (lim) неуместно в дискретном случае, где к тому же всё конечно.
Приведённые примеры не относятся напрямую к проведённой якобы формализации.
Сделанные из якобы осуществлённой формализации выводы относятся к вырожденному случаю вроде написания студентом кода в рамках упражнения практикума, но не соотносятся с индустриальным программированием, т. е. современной разработкой ПО.
Карго-научная статья.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 30 Июля 2019, 11:53:52
Статья лежит в киберленинке (https://cyberleninka.ru/article/n/o-formalizatsii-protsessa-razrabotki-programmnogo-obespecheniya.pdf). Полагаю, что при нормальном рецензировании она бы никогда не появилась в научном журнале.

Появилось уточнение (https://cyberleninka.ru/article/v/utochnenie-k-statie-o-formalizatsii-protsessa-razrabotki-programmnogo-obespecheniya)
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 30 Июля 2019, 13:14:14
Карго-научная статья.
Я не такой большой математик, чтобы активно возражать, но начну с конца. Практически Вы обвиняете редакцию журнала "Математические структуры и моделирование" (http://msm.omsu.ru/RU/authors.html) в некомпетенции?
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 30 Июля 2019, 13:20:51
Использование нотации из непрерывной математики (lim) неуместно в дискретном случае, где к тому же всё конечно.
А почему Вы так считаете? Вот небольшая статья из Википедии (https://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%B5%D0%B4%D0%B5%D0%BB_%D1%87%D0%B8%D1%81%D0%BB%D0%BE%D0%B2%D0%BE%D0%B9_%D0%BF%D0%BE%D1%81%D0%BB%D0%B5%D0%B4%D0%BE%D0%B2%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D0%BD%D0%BE%D1%81%D1%82%D0%B8?fbclid=IwAR3dSAH2RDvcFKn0ihTpupOac5gybdfExRVb1PCAEOQGKAXdzMyB63i8ifo), как мне показалось, не согласна с Вашим утверждением.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: [прилетело НЛО и...] от 30 Июля 2019, 14:11:21
Я сказало не больше, чем хотело. Чтобы утверждать что-либо о редакции, надо персонально знать её сотрудников и следить за их работой в течение какого-то времени. У меня такой возможности нет. С ru-вики спорить не готово. ВП:АИ, ВП:ПСР и всё такое. Исходя из уточнения можно сделать вывод, что автор настаивает на том, что у него недискретный бесконечный случай. Очень хорошо, пусть так и будет.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 30 Июля 2019, 15:28:10
Я сказало не больше, чем хотело. Чтобы утверждать что-либо о редакции, надо персонально знать её сотрудников и следить за их работой в течение какого-то времени. У меня такой возможности нет. С ru-вики спорить не готово.
Редакция как я понимаю полагается на рецензентов, как она их выбирает я не знаю, плюс требует рекомендаций от минимум трех экспертов в этой области.
Вы предполагаете, что в данном случае присутствует сговор?

ВП:АИ, ВП:ПСР и всё такое.
Простите я не понял Вашего кода :) Можете дешифровать?

Исходя из уточнения можно сделать вывод, что автор настаивает на том, что у него недискретный бесконечный случай. Очень хорошо, пусть так и будет.
А Вы не путаете предел числовой последовательности, с пределом функции?
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: [прилетело НЛО и...] от 30 Июля 2019, 21:08:54
Я могу повторить (и продолжить повторять столько, сколько потребуется, чтобы донести нужную мысль), что моей оценке подлежит текст, а не его автор и не те, кто как-то работал с этим текстом (принимал, оценивал, рецензировал). Мне почти ничего неизвестно об этих людях. О тексте что-то известно. С ним можно ознакомиться и дать ему свою оценку. Попытки увода разговора к персоналиям я буду игнорить, ага.

Это вики-сокращения. Предлагаю покурить их в поисковике.)

Числовая последовательность бесконечна по определению. Числовая последовательность по определению состоит из вещественных (или комплексных) чисел. Слово "непрерывный" использовано как самый точный маркер, который я могу дать, того, чем область матана отличается от области дискры (в том запасе математики, который впихнули в меня в университете штата Марс на младших курсах).

Процессы ЖЦ ПО не подвластны матану, как я полагаю.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 30 Июля 2019, 23:56:12
Я могу повторить (и продолжить повторять столько, сколько потребуется, чтобы донести нужную мысль), что моей оценке подлежит текст, а не его автор и не те, кто как-то работал с этим текстом (принимал, оценивал, рецензировал). Мне почти ничего неизвестно об этих людях. О тексте что-то известно. С ним можно ознакомиться и дать ему свою оценку. Попытки увода разговора к персоналиям я буду игнорить, ага.
Так и я не про личности, а про протокол.

Насчет строгости математических выводов, тут я пас. Не могу судить. Тут уже к автору или другим математикам.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: [прилетело НЛО и...] от 25 Августа 2020, 12:31:37
[Очередная попытка некротредить]
https://cyberleninka.ru/article/n/validatsiya-i-optimizatsiya-diagramm-klassov-uml/viewer
По ссылке вак-овская статья по UML-тематике. Как почти обязательные атрибуты русскоязычных публикаций в этой сфере, в статье имеются:
+ ошибки на uml-диаграммах;
+ удивительные [с точки зрения инопланетого существа] воззрения о том, что является ошибкой и/или "источником дурного запаха";
+ лакуна по части защиты или указания достоинств предлагаемого решения (единственное достоинство, вероятно, состоит в том, что решение предложено).

Не то чтобы тут особый случай. Рядовое, ставшее привычным явление. Студентам университета штата Марс уже предлагаю в качестве факультативного задания выискивать ошибки в публикациях такого рода и предлагать их исправления.
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 05 Сентября 2020, 00:07:02
[Очередная попытка некротредить]
https://cyberleninka.ru/article/n/validatsiya-i-optimizatsiya-diagramm-klassov-uml/viewer
По ссылке вак-овская статья по UML-тематике. Как почти обязательные атрибуты русскоязычных публикаций в этой сфере, в статье имеются:
+ ошибки на uml-диаграммах;
+ удивительные [с точки зрения инопланетого существа] воззрения о том, что является ошибкой и/или "источником дурного запаха";
+ лакуна по части защиты или указания достоинств предлагаемого решения (единственное достоинство, вероятно, состоит в том, что решение предложено).

Не то чтобы тут особый случай. Рядовое, ставшее привычным явление. Студентам университета штата Марс уже предлагаю в качестве факультативного задания выискивать ошибки в публикациях такого рода и предлагать их исправления.

А можете примеры прямых ошибок привести? Чтобы сузить время поиска самостоятельно?
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: [прилетело НЛО и...] от 06 Сентября 2020, 17:19:56
Lecturer, Student, Subject, соединены тернарной ассоциацией с неверными мощностями на полюсах (1 как минимальная мощность не годится). Преобразованная ДК, в которой Lecturer стал классом ассоциации, во-первых, не является полноценной заменой исходной, во-вторых имеет сомнительный смысл ([на Марсе] после того, как студент перестаёт изучать предмет, лектор никуда не девается).
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: Galogen от 10 Сентября 2020, 20:37:40
Lecturer, Student, Subject, соединены тернарной ассоциацией с неверными мощностями на полюсах (1 как минимальная мощность не годится). Преобразованная ДК, в которой Lecturer стал классом ассоциации, во-первых, не является полноценной заменой исходной, во-вторых имеет сомнительный смысл ([на Марсе] после того, как студент перестаёт изучать предмет, лектор никуда не девается).

Я кстати тернарную тоже что-то не очень понимаю.  Может пояснить в деталях. Как тут расставлять кратности верно?

Насчет класса ассоциации согласен, хотя мы не очень понимаем какую предметную область авторы реализуют. Они исходят из того, что Группа-Предмет - однозначно определяют Лектора. Такое без уточнения деталей ведь возможно?
Название: Re: Математическое обоснование S.O.L.I.D принципов
Отправлено: [прилетело НЛО и...] от 11 Сентября 2020, 14:19:18
Я кстати тернарную тоже что-то не очень понимаю.  Может пояснить в деталях. Как тут расставлять кратности верно?
Lecturer-1..1--- означает, что для произвольно составленной пары из 1 экземпляра Student и 1 экземпляра Subject обязательно найдётся 1 и только 1 экземпляр Lecturer, дополняющий эту пару до соединённой тройки. Т. е. для любого студента обязательно найдётся лектор, читающий ему любую из дисциплин.
Student-1..*--- означает, что для произвольно составленной пары из 1 экземпляра Lecturer и 1 экземпляра Subject обязательно найдётся 1 или более чем 1 экземпляр Student, дополняющий эту пару до соединённой тройки. Т. е. для любого лектора и любой дисциплины обязательно найдётся студент-слушатель или студенты-слушатели. К слову, в Фобосском филиале университета штата Марс начальство тоже считает, что любой препод может учить любому предмету.
Subject-1..*--- означает, что для произвольно составленной пары из 1 экземпляра Lecturer и 1 экземпляра Student обязательно найдётся 1 или более чем 1 экземпляр Subject, дополняющий эту пару до соединённой тройки. Т. е. для любого лектора и любого студента обязательно найдётся дисциплина или дисциплины, по которым ведётся обучение.
Приблизиться к привычному положению дел можно, снизив минимальную мощность на всех полюсах до 0.

Насчет класса ассоциации согласен, хотя мы не очень понимаем какую предметную область авторы реализуют. Они исходят из того, что Группа-Предмет - однозначно определяют Лектора. Такое без уточнения деталей ведь возможно?
Если Lecturer -- класс ассоциации, то это очень индивидуальное обучение. Каждому соединению между 1 экземпляром Student и 1 экземпляром Subject соответствует свой собственный экземпляр Lecturer, не такой как остальные. Т. е. у любого студента есть персональный лектор для каждой изучаемой дисциплины. Любой лектор соответствует единственной соединённой паре из 1 студента и 1 дисциплины.

Известно, что N-арную ассоциацию можно заменить набором бинарных, если её "материализовать", но в МИФИ ищут новых путей.