caxapa.ru :: Автоматное программирование - ну почему все так тоскливо в реале?

Evgeny_CD, Архитектор (13.06.2009 13:06, просмотров: 82217)

Автоматное программирование - ну почему все так тоскливо в реале? FSM - Finite State Machine Автоматное программирование http://ru.wikipedi …0%B0%D0%BD%D0%B8%D0%B5 Настраиваемые автоматные программы - аффтар предложих неплохой способ ручного кодирования по таблице переходов http://www.softcra …o/etc/itst/index.shtml UniMod http://unimod.sourceforge.net/intro.html UniMod states for Unified Modeling. Long term project goal is to create unified methodology for application development process that will close the gap between Design and Development phases. Currently, UniMod project is focused on designing and implementing applications behavior. Already implemented approach adapts SWITCH-technology for UML notation. SWITCH-technology is also known as Automata-based Programming and has it's own Russian site http://is.ifmo.ru/english/. UniMod-проекты http://is.ifmo.ru/unimod-projects/ Моделирование устройства для продажи газированной воды на инструментальном средстве UniMod http://is.ifmo.ru/ …vending-machine-ru.pdf - довольно интересная статья, хорошо описаны связанные автоматы и преимущества, которые это дает. AutoFSM - Automated Finite State Machine. GNU тулза http://www.gnu.org …e/autogen/autofsm.html Finite State Machine Editor - все хорошо, но только под Linux и жизнь в проекте замерла в 2006 году. http://fsme.sourceforge.net Quantum Leaps, LLC http://www.state-machine.com - неплохой фремворк Что меня бесит - так это, что нет единой комплексной свободной тулзы. Как я ее себе представляю: * единая база для хранения всего связанного с проектом - кода, описаний и пр. * конфигуратор машины - число состояний, переменных, типы и пр. В идеале, читобы можно было и без конфигурирования - типа набросал графически состояний, переходов, подумал, часть прибил, часть переделал и .д. А оно потом само все переименовало * графическая тулза для задания сущностей машины * таблица переходов - чтобы можно было как задавать, так и смотреть их * симулятор как графический, так и с работой по таблице переходов. Чтобы можно было проверить полноту переходов и убедиться, что машину не клинит при испытаниях методом полного перебора всех переменных и состояний. * удобная система человеческих наименований и комменатариев для всего * задание юзеровского кода, не имеющего отношения к самой машине состояния, выполняемого в узлах * синтез кода (в общем случае - на любом языке программирования, интересует С в первую очередь) Что есть по факту: * системы ручного кодирования разной степени извращенности, где юзеру предлагается в голове, на листочке или в UML тулзе закодировать FSM, а затем, осмыслив все это, перенести в код. Со всеми возможными ошибками ручного кодирования. Мазохизм чистой воды * монструозные системы, ориентированные на Java. * фирменные системы типа IAR visualSTATE http://iar.com/website1/1.0.1.0/371/1/ - хорошо, но привязано к конкретной среде При всем при том, что использование автоматного подхода при наличии средств визуализации и автоматического контроля позволит сильно сократить количество ошибок для типовых embedded задач, и по идее, сильно должно снизить трудоемкость разрабтки, и, главное, тестирования. Интересно, почему такого готового нет? Или народ не понимает в массе все прелести FSM? Прямо хоть бери XML описание из UniMod и интезируй C исходник какой-нибудь тулзой на Python.

Ответить

- Почему готового нет?: Потому что простота описания SM - это ничто по сравнению с организацией взаимодействия с другими автоматами системы, а их меньше 4-6 не бывает(по крайней мере у меня). - Vladimir Ljaschko(21.04.2010 13:45)
  - +1 - koyodza(21.04.2010 13:49)
- В. А. Горбатов, А. В. Горбатов, М. В. Горбатова Теория автоматов -> Эта пока вроде есть. - Evgeny_CD(13.06.2009 22:58, ссылка)
- Бука свежая вышла Н. Поликарпова, А. Шалыто Автоматное программирование -> Поскольку ее издали тиражем аж 2к экземпяров, уже библиографическая редкость - Evgeny_CD(13.06.2009 22:57, ссылка)
- Ваще стоит чуть копнуть - за этими автоматами суровая дискретная математика стоит. -> часть буки про оптимизауию автоматов :) - Evgeny_CD(13.06.2009 22:44, ссылка)
  - А бука, между прочим, нехилая - Глушков. Введение в кибернетику. 1964 (!) -> - Evgeny_CD(13.06.2009 22:52, ссылка)
- Интересная связка получается. -> sinelaboreRT Efficient C/C++ code generation from statecharts. Altova UModel --> и внутри - среда для рисования диаграмм. Evgeny_CD(90 знак., 13.06.2009 21:12, ссылка, ссылка)
  - Есть еще более дешевая тулза, которая поддерживается этим генератором - Cadifra UML Editor -> - Evgeny_CD(13.06.2009 21:37, ссылка)
- Есть еще такой генератор Snaky(19 знак., 13.06.2009 16:56, ссылка)
  - дык этот линк в википедии в статье о конечных автоматах(по линку чуть ниже) - Vit(13.06.2009 17:10)
    - извините, что я украл линк из википедии. я не знал что это запрещено - Snaky(13.06.2009 17:11)
      - не принимайте близко к сердцу - это я не Вам, а Евгению;) - Vit(13.06.2009 17:12)
        
        Информации дофига - сам иногда путаюсь. - Evgeny_CD(13.06.2009 17:13)
  - Вот некое пересечение и наметилось :) Эта туза использует XML описание машины (что есть гут), и генерит из него С++ (что не есть гут, хорошо бы С). Поскольку среда UniMod -> тоже генерит XML описание машины - их, вероятно, можно как-то поженить. Evgeny_CD(38 знак., 13.06.2009 17:01, ссылка)
    - Непонятно только почему авторы разработок не использовали SCXML для описания состояний, он ведь именно для конечных автоматов и создавался. Snaky(148 знак., 13.06.2009 18:05, ссылка)
    - Насчет "прохачить" генератор - а не проще ли написать письмо автору с изложением вашего видения? Может он проникнется Snaky(75 знак., 13.06.2009 17:55)
      - Ну тов Беркович может по русски и не понимать :) -> - Evgeny_CD(13.06.2009 19:25, ссылка)
        
        Сдается мне он родился в СССР и учился в МГУ. Так что попробуйте ;> - Snaky(14.06.2009 11:58)
- Нельзя объять необъятное(С) Vit(3681 знак., 13.06.2009 15:27, ссылка)
  - Приведение всего к FSM - это слишком кардинально даже для меня :) Никто и не думает, чтобы отметить остальные методики. Туже многозадачность и пр. Вопрос в том, чтобы был инструмент, который можно использовать по мере необходимости. Evgeny_CD(1366 знак., 13.06.2009 15:57)

Средства и методы разработки