June 11th, 2013

vit_r

Про ёжика в тумане, зазнайство, языки программирования и вериги

Вынесу из комментариев к закрытому посту. Уж больно хорошо получилось.

vit_r
... чтоб не появлялось багов, спроектированное должно прямо генериться в код. Плюс должны быть тесты и проверки моделей. Я знаю отдельные случаи, где так и делается. Но методики не прижились. Потому что людей, способных мыслить абстрактно, очень мало.
...
xtUML, но его применяют только в embedded. Там сложности с выходом на GUI. Да и компиляторы моделей стоят столько, что проще нанять десять индусов.

Впрочем, будет работать любая методика, которая использует сообщения, конечные автоматы и таблицы переходов. Этот трюк изобретают вновь и вновь, потому что книжки старые никто не читает.


akuklev
Мы такое с sorhed'ом лет 7 назад изобрели и были феерически горды собой... пока в процессе имплементации не обнаружили книжку 1956 года ("Automatal models of multiagent systems", емнип), где это уже описано. :-)

Про подход при этом не знала ни университетская профессура, с которой я бурно обсуждал доказательства корректности, ни "старшие товарищи" из индустрии.

Программисты во главе с профессорами и консультантами громко хвастаются, что индустрия молодая и ещё не выработала подходов инженерных дисциплин, которые такие правильные, потому что развивались многие века. При этом элементарнейшие знания в этой "молодой индустрии" забываются с эффективностью прогрессирующего склероза, приправленного старческим маразмом и детской непосредственностью.

Да, ключевые слова от akuklev для желающих:
  • von Neumann multiagent formalism
  • Robin Milner
  • C.A.R. Hoare
  • Sally Shlaer и Stephen Mellor [сейчас идёт под маркой Executable UML (xtUML и xUML) - vit_r]
  • A. J. H. Simons
  • W. M. L. Holcombe
  • Complete functional testing using object machines
  • A theory of regression testing for behaviourally compatible object types