Киньте ссылки в умные ресурсы про то как описывать протоколы и идеально по этому описанию уметь доказывать определенные их свойства
2017-05-10 08:07:09

Участники:
@alex0b - 4, @qnikst - 3, @metaclass - 1, @trapdoor - 1, @tzirechnoy - 1, @alar - 1

@alex0b
Контр-пример: меня выворачивает от ASN.1 нотации. Возможно потому, что все чего я касался было описано в ней, в режиме "на отвали" кучкой чуваков для междусобойчика. А может потому что машинно-ориентированный синтаксис и человечий неформализованный язык совершенно по разному в голову ложатся.
#2870974/1 2017-05-10 08:39:20
@qnikst
ну мне вот надо что-то среднее, т.е. и чтобы читалось человеком, и генерить код из этого не надо, но хорошо бы доказывать, что если этот протокол будет использоваться, то в итоге система придёт в указанное состоняине.
#2870974/2 → /1 2017-05-10 09:15:46
@alex0b
Состояние? У тебя не просто телекоммуникационный протокол вида запрос/ответ?
#2870974/3 → /2 2017-05-10 09:40:37
@qnikst
у меня есть 2 штуки с состоянием, и протокол общения между ними. Я хочу как-то вменяемо описать это взаимодействие в читаемом виде, идеально если по нему смогу и какие-то свойства доказывать
#2870974/4 → /3 2017-05-10 09:43:10
@alex0b
а UML чем не ок? У тебя, если я помню остальные посты - лютый энторпрайз = должны зело любить UML (так меня бабушка учила).
#2870974/5 → /4 2017-05-10 09:46:09
@qnikst
не, в данном случае не энтырпрайз.
#2870974/6 → /5 2017-05-10 09:48:23
@tzirechnoy
Во-первых, что-то я не помню описание в UML протоколов. Вот статические реляцыонные свойства данных -- помню, а протоколы... И их состояния... Во-вторых, в лучшэм случае из UML хорошая среда UML-разработки сгенерирует схему данных под какую-то DBMS и код какого-нибудь ORM к ней. Дажэ с CRUD ужэ тяжко, наскольк я помню, а уж чтобы что-то реально работало...
#2870974/7 → /5 2017-05-10 10:08:33
@alex0b
Не думаю, что это в конце концов важно. Как по мне, UML нормально жуется даже без пояснительной записки. Но до уровня октетов и их последовательности оно конечно не опускается, только тип сообщения можно будет указать. А уж структуру каждого пакета какой-нибудь ASN.1 дрянью. Возможно, если людям рассказать как оно должно работать вообще, а только потом про битики втира~wW объяснять за счет чего эти все бонусы - отторжений меньше будет. P.S. Не знаю на счет нормальных сред разработки, я всю эту автогенеренную чушь не очень люблю. А что касается UML - год проектирования и разработки и наши наладчики разъехались по всей РФ ставить комплекс, который, по мимо своей основной функции, является интеграционной шиной для еще пары десятков систем. И там этого UML в тех.условиям обмена больше чем человечиьх букв. Правда там все уровня над-SOAP. Нормальные бинарные ТМ-протоколы у нас сплошь пром.стандарт, потому ничего окромя этого про них не сказано.
#2870974/8 → /6 2017-05-10 10:34:26
@trapdoor
https://en.wikipedia.org/wiki/Sequence_diagram
#2870974/9 → /7 2017-05-10 10:36:26
@alar
а есть такие вообще?
#2870974/10 2017-05-11 07:38:36
@metaclass
http://simonjf.com/2016/05/28/session-type-implementations.html что-то вроде этого
#2870974/11 2017-05-11 10:04:36