Зачем нужен ещё один системноинженерный язык, когда у нас есть SysML, Modelica, AADL, P&ID диаграммы, ArchiMate, GSN и множество других чудесных инструментов моделирования для инженера по требованиям и системного архитектора
( Read more... )
Это важное замечание, про язык для билдов (язык управления конфигурацией). На сейчас в SysMoLan выделяются следующие тесно переплетённые части: -- язык данных -- язык запросов -- язык мэппинга -- аннотации картинок для данных (как в Modelica, чтобы не чувствовать себя стеснёнными в иконках). Все современные языки имеют и диаграммный (схемный) язык, и текстовый. Но диаграммный язык должен тоже пополняться, а не иметь предписанную форму -- язык билдов
И там, похоже, есть другое ещё деление: -- язык знаков (программистский: числа, массивы, стеки), он же данных, запросов, мэппинга -- язык онтологии (часть-целое, индивид, класс, класс классов и так далее 201 тип). Задаёт способ соотнесения программисткого бла-бла-бла с реальным миром. -- языки предметной области (электрической инженерии, инженерии трубопроводов и насосов), тут-то и нужно будет управлять билдами -- всё это были бы RDL в ISO 15926, но у нас ведь тут ещё запросы, так что это всё DSL полномасштабные на базе языка данных-запросов-мэппинга+языка онтологии
Кодогенерация для меня при этом одинакова с поисками, запросами, трансформациями, мэппингами, конверсиями и прочими вычислительными процедурами общего вида (входной код-1 преобразуется в выходной код-2 при помощи Программы-исполнителя, справочных данных и устройства-или-программы Выполнителя Исполнителя).
На сейчас в SysMoLan выделяются следующие тесно переплетённые части:
-- язык данных
-- язык запросов
-- язык мэппинга
-- аннотации картинок для данных (как в Modelica, чтобы не чувствовать себя стеснёнными в иконках). Все современные языки имеют и диаграммный (схемный) язык, и текстовый. Но диаграммный язык должен тоже пополняться, а не иметь предписанную форму
-- язык билдов
И там, похоже, есть другое ещё деление:
-- язык знаков (программистский: числа, массивы, стеки), он же данных, запросов, мэппинга
-- язык онтологии (часть-целое, индивид, класс, класс классов и так далее 201 тип). Задаёт способ соотнесения программисткого бла-бла-бла с реальным миром.
-- языки предметной области (электрической инженерии, инженерии трубопроводов и насосов), тут-то и нужно будет управлять билдами -- всё это были бы RDL в ISO 15926, но у нас ведь тут ещё запросы, так что это всё DSL полномасштабные на базе языка данных-запросов-мэппинга+языка онтологии
Кодогенерация для меня при этом одинакова с поисками, запросами, трансформациями, мэппингами, конверсиями и прочими вычислительными процедурами общего вида (входной код-1 преобразуется в выходной код-2 при помощи Программы-исполнителя, справочных данных и устройства-или-программы Выполнителя Исполнителя).
Reply
Leave a comment