• ? programming Киньте ссылки в умные ресурсы про то как описывать протоколы и идеально по этому описанию уметь доказывать определенные их свойства
    ♡ recommended by @segfault, @tzirechnoy, @L29Ah

Replies (11)

  • @qnikst, Контр-пример: меня выворачивает от ASN.1 нотации. Возможно потому, что все чего я касался было описано в ней, в режиме "на отвали" кучкой чуваков для междусобойчика. А может потому что машинно-ориентированный синтаксис и человечий неформализованный язык совершенно по разному в голову ложатся.
  • @alex0b, ну мне вот надо что-то среднее, т.е. и чтобы читалось человеком, и генерить код из этого не надо, но хорошо бы доказывать, что если этот протокол будет использоваться, то в итоге система придёт в указанное состоняине.
  • @qnikst, Состояние? У тебя не просто телекоммуникационный протокол вида запрос/ответ?
  • @alex0b, у меня есть 2 штуки с состоянием, и протокол общения между ними. Я хочу как-то вменяемо описать это взаимодействие в читаемом виде, идеально если по нему смогу и какие-то свойства доказывать
  • @qnikst, а UML чем не ок? У тебя, если я помню остальные посты — лютый энторпрайз = должны зело любить UML (так меня бабушка учила).
  • @alex0b, не, в данном случае не энтырпрайз.
  • @alex0b, Во-первых, что-то я не помню описание в UML протоколов. Вот статические реляцыонные свойства данных — помню, а протоколы... И их состояния...
    Во-вторых, в лучшэм случае из UML хорошая среда UML-разработки сгенерирует схему данных под какую-то DBMS и код какого-нибудь ORM к ней. Дажэ с CRUD ужэ тяжко, наскольк я помню, а уж чтобы что-то реально работало...
  • @qnikst, Не думаю, что это в конце концов важно. Как по мне, UML нормально жуется даже без пояснительной записки. Но до уровня октетов и их последовательности оно конечно не опускается, только тип сообщения можно будет указать. А уж структуру каждого пакета какой-нибудь ASN.1 дрянью. Возможно, если людям рассказать как оно должно работать вообще, а только потом про битики втира~wW объяснять за счет чего эти все бонусы — отторжений меньше будет.
    P.S. Не знаю на счет нормальных сред разработки, я всю эту автогенеренную чушь не очень люблю. А что касается UML — год проектирования и разработки и наши наладчики разъехались по всей РФ ставить комплекс, который, по мимо своей основной функции, является интеграционной шиной для еще пары десятков систем. И там этого UML в тех.условиям обмена больше чем человечиьх букв. Правда там все уровня над-SOAP. Нормальные бинарные ТМ-протоколы у нас сплошь пром.стандарт, потому ничего окромя этого про них не сказано.
  • @qnikst, а есть такие вообще?
  • @qnikst, simonjf.com что-то вроде этого