| OberonCore https://forum.oberoncore.ru/ |
|
| Проблема описания абстракций предметной области https://forum.oberoncore.ru/viewtopic.php?f=86&t=4264 |
Страница 2 из 2 |
| Автор: | Alexey_Donskoy [ Среда, 20 Февраль, 2013 22:30 ] |
| Заголовок сообщения: | Re: Проблема описания абстракций предметной области |
Пётр Кушнир писал(а): Здесь ведь не микроблог, а вы организуете ковровые постометания в твиттер-стиле, поди вас пойми. Угу, вот именно.Кстати, то, что ответ мне - ничего не значит. Даже по куче приведённых ссылок я не очень-то в состоянии восстановить контекст...  Обычно пропускаю такое. Вместо этого хотелось бы видеть конкретные (достаточно развёрнутые для вхождения в контекст) вопросы, на которые можно конкретно и ответить! 
|
|
| Автор: | Владислав Жаринов [ Суббота, 23 Февраль, 2013 15:32 ] |
| Заголовок сообщения: | Re: Проблема описания абстракций предметной области |
Да я просто не знаю, что спрашивать... предмет столь неопределёнен...  Хотя вот - Ваши замечания, Алексей, подразумевают, что у Вас в сравнении с этим: Info21 в viewtopic.php?p=78156#p78156 писал(а): ... есть какие-то уточнения для формы описания этапа (1 - НИР)?...
Это проблема, но это не проблема программной инженерии, по-моему. Смесь формального и неформального текстов -- как во всех прочих областях чел. деятельности ... |
|
| Автор: | Alexey_Donskoy [ Воскресенье, 24 Февраль, 2013 10:38 ] |
| Заголовок сообщения: | Re: Проблема описания абстракций предметной области |
Владислав Жаринов писал(а): есть какие-то уточнения для формы описания этапа (1 - НИР)?... Нет уточнений.Есть "социально-техническая" заявка: нужен инструмент поддержки. Компьютер является столь же универсальным низкоуровневым инструментом, как перо с карандашом, только вот работать этим инструментом мы никак не научимся. Всё орехи колем королевскими печатями 
|
|
| Автор: | Владислав Жаринов [ Воскресенье, 24 Февраль, 2013 11:26 ] |
| Заголовок сообщения: | Re: Проблема описания абстракций предметной области |
Так и у меня такая же заявка... и, выполняя её собственными средствами за отсутствием подходящих сторонних, нет-нет да и приходишь к тому, о чём в цитате из Ткачёва... Единственное, что помогает - это схемы "сущность-связь" да словари типа представленных тут: viewtopic.php?p=78188#p78188.P.S. Кстати, отношения вполне в словари интегрируются... тоже дело иногда... А по единственной ссылке ранее (на пост с мыслями vdimas) имелось в виду, что на высшем уровне имеем абстракцию деятельности как системы... и с ней надо работать независимо от результатов алгоритмизации для конкретного исполнителя (предприятия как системы)... к чему и обозначенные им вопросы относятся... или как?.. |
|
| Автор: | Роман М. [ Воскресенье, 17 Март, 2013 11:52 ] |
| Заголовок сообщения: | Re: Проблема описания абстракций предметной области |
Иван Кузьмицкий писал(а): Часто оказывается, что предметная область богаче и шире предоставляемых языком средств описания. Например, что даёт нам Оберон?
Собственно, всё. Несмотря на то, что эти средства довольно выразительны и из них можно строить бесконечные комбинации, они слишком "широки" и недостаточно "глубоки". И это кажется проблемой. Я пока не могу толком сформулировать вопрос, который находится где-то между проектированием и конечным продуктом и связан с описанием абстракций предметной области. Другими словами, ООП ощущается несколько слабым для хорошего, мощного и удобного описания предметной области. Мелковат. Приходится, грубо говоря, из мелких винтиков и дощечек лепить вещи, которые удобнее было бы описывать через более крупные и специализированные понятия. Функциональные языки и прочие руби со скалами - жалкие потуги обрести способы такого описания, как мне кажется - не сочтите за троллинг, потому что не сильно далеко они ушли от обыкновенного ООП как способа нарезать реальность на куски. Что может нам предложить программная инженерия в XXI веке для решения этой проблемы? Или мне только кажется, что это проблема? Что касается описания предметной деятельности, то и я не раз задумывался об этом. Нашёл некоторые интересные, на мой взгляд, источники:
В любом случае потребуется доходить до уровня винтиков и болтиков если не на уровне байтов, то на уровне минимальных элементов описания деятельности. А на их основе строить саму спецификацию. |
|
| Автор: | Илья Ермаков [ Воскресенье, 17 Март, 2013 12:59 ] |
| Заголовок сообщения: | Re: Проблема описания абстракций предметной области |
В. Н. Агафонов. Спецификация программ: понятийные средства и их организация. М.: Наука, 1987. Тот же метод Model-Checking с Promela... Но это немного не того угла зрения инструменты, всё же. |
|
| Страница 2 из 2 | Часовой пояс: UTC + 3 часа |
| Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |
|