OberonCore https://forum.oberoncore.ru/ |
|
Учись разбирать и собирать, или Неоклассический НВП-плакат:) https://forum.oberoncore.ru/viewtopic.php?f=93&t=4176 |
Страница 1 из 1 |
Автор: | Владислав Жаринов [ Суббота, 01 Декабрь, 2012 09:22 ] |
Заголовок сообщения: | Учись разбирать и собирать, или Неоклассический НВП-плакат:) |
... тут надо добавить для точности - "для гимназий с углублённым изучением графических языков"... Ну, в общем, вот пример РДП-проекта, отражающий "образ цели" для структурного редактора: http://grafit-basis.narod.ru/L3/complex ... Pril3-n223. Предварительно он обсуждался, в чём-то доработан. Основную часть продублирую для удобства: http://grafit-basis.narod.ru/L3/complex_viz_know-RDP_html_3c56b5e6.gif - хотя ещё бы и сжать фото-чем-нибудь неплохо бы... Пока без особых комментариев - в общем-то многое было сказано. По моделированию алгоритмических процессов - прежде всего здесь: viewtopic.php?p=75882#p75882. По доалгоритмическому - при обсуждении с PSV100 и Донским здесь: viewtopic.php?p=74429#p74429 - и далее на странице. Ну а по модели проекта в целом - тут уже резоны приводил usr345: viewtopic.php?p=74858#p74858. С ним можно согласиться как в представлениях алгопроцессов - так и в выборе представления для базовой структуры проекта (модели "сущности-отношения" - т.е. типа IDEF1X). Только вот что замечу. Во-первых, по структурированию алгооператоров. В своё время обсуждали с Дмитрием_ВБ ДАЛВЯЗ-решение: viewtopic.php?p=50802#p50802. Там имелось в виду, что некое подразделение действий должно отражаться в представлении (текстовом и ином). И в основе должна лежать классификация операторов по сути. В основном её наметил ещё Гегечкори: viewtopic.php?p=43572#p43572. Вот для этих классов и надо определить обозначения. Что и было сделано ещё для схем - ну и здесь предложено для структурных скобок. Тогда как иллюстративные описания - это немного другое. Приложимое не к импер-, а к деклар-компоненте описания алгопроцесса. Т.е. решение верное - но полностью его потенциал раскрывается в полноценной алгомодели... структурированной, допустим, в "базисе абстракций" Кауфмана... Во-вторых. Скобочная нотация, хотя и основана на идеях Прохоренко-Никкерсона, ессно, здесь представляет вполне законченный формальный язык. Который, кстати, можно реализовать и как исчисление... В то же время язык наследует базовую идею - структурности в смысле математического анализа/синтеза. Т.е. в терминах "исчислений структур" (представителями коих являются графит-метод и исчисление маршрутных структур как его подмножество) - вывода предложений языка только вводом атомов, также только структурных. По утверждениям теоретиков, такие предложения должны удовлетворять требованию проверяемости дедуктивными методами, типа предложенных Хоором и/или Бэкусом.
Так что поздравим ещё раз первопроходцев и в идее (в этом пространстве общения - Сергея), и в реализации (Валерия, Дмитрия и других коллег)! И подумаем и выскажемся, каков будет облик перспективной нотации в классе структурных скобок?.. |
Автор: | Владислав Жаринов [ Понедельник, 04 Февраль, 2013 06:17 ] |
Заголовок сообщения: | Об обработке исключений |
Итак, в связи со сказанным здесь: viewtopic.php?p=77652#p77652. Как можно показать смысл предложенного Валерием на этом примере? Прежде всего о том, как оформлять маршруты обработки особых ситуаций, так сказать, естественными средствами. Всё-таки думаю, что "вынесение на отдельную плоскость", о чём говорили Донской и/или Усов, удобно. Поэтому можно сохранить оформление обработки в отдельных процедурах. Теперь насчёт сути предложения - отсутствия в системе маршрутов "допвыходов" по исключениям. Возьмём ситуацию с освобождением патронника. Нужен здесь второй выход? Вообще-то не очень. Во-первых, всё равно прежде чем перейти к специфической обработке ситуации с неизвлекаемым штатно патроном, нужна практически "полная неполная разборка" автомата. Не будет же исполнитель разряжать нештатно, очевидно толканием (пули, обычно шомполом) и/или тягой (за фланец гильзы), когда позади патрона место занято возвратным, рамой, затвором... а особенно ударником, связанным со спуском... Так что все действия придётся исполнить до отделения рамы...
А может, есть ещё решения?.. |
Автор: | Владислав Жаринов [ Вторник, 23 Апрель, 2013 05:51 ] |
Заголовок сообщения: | Re: Учись разбирать и собирать, или Неоклассический НВП-плак |
Вот тут говорят, что есть - процедуру целиком помещать в исключение... Ну, это надо специалистам обсуждать... Ещё по языкам - деклар-часть описания в процедурах (разборки/сборки) может сильно выиграть, если текстовые описания состояний заменить на графовое, в "родной" нотации - на базе схем Лаврова для отдельных шагов, объединяемое в схему "передачи структур предметов"... |
Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |