Category: город

Category was added automatically. Read all entries about "город".

2019

Мы строим урбанизм

Для меня коммунизм и урбанизм стали окончательно синонимами -- это когда людям делают неудобно заради какой-то суперважной вождям идеи. Вожди знают, а люди подчинятся замыслу. Вот это я сфотографировался сегодня прямо перед входом в метро Добрынинская. За мной лозунг "Мы строим коммунизм", передо мной впятеро больше замощённого плиткой пустыря, чем видно за мной. Пятница вечер, 20:07, ни души, ибо пустырь -- по пустырю не погуляешь, и даже не покатаешься на роликах или самокатах (ибо плитка!):
webuildcommunism
Не буду говорить о том, что этот пустырь за год раза четыре асфальтировали, перекладывали плиткой и прочим образом над ним трудились с одинаковым грустным результатом. Это и так ясно. Мы строим урбанизм.

Гуляли мы с женой в поисках бахчевых развалов, ибо с 1 августа поступила отмашка "можно". И в городе возвели 247 пунктов выдачи арбузов и дынь -- https://data.mos.ru/opendata/1496

До урбанистического террора в пяти минутах от дома у меня был пяток этих развалов. И на Полянке (там даже парочка в квартале друг от друга), и на Третьяковке, и на Добрынке. А когда урбанизм построили, то в центре бахчевых развалов вообще не оказалось.

И урбанистам не стыдно, они наверняка этой ситуацией гордятся. Они в кожаных тужурках, захватили власть (буквально) и дальше, как водится, устроили террор. Тактика выжженной земли (https://ru.wikipedia.org/wiki/Тактика_выжженной_земли), то есть замощённой плиткой земли -- "полное широкомасштабное уничтожение любых объектов промышленного, сельскохозяйственного, гражданского назначения при отступлении, чтобы они не достались противнику". Противник тут, получается, я. Только у урбанистов это не отступление, а наступление.

Если урбанист посчитал, что где-то много народу, он заменяет народ плиткой. Нужно сделать людям неудобно, и они сами уйдут, перестанут толпиться. Головная боль лечится гильотиной: меньше головы, меньше чему болеть. Если внутри бульварного кольца замостить всё плиткой, то людям незачем будет туда ходить, и это решит многие урбанистические проблемы. Если внутри садового кольца замостить всё плиткой, то это решит много больше проблем. Если убрать оттуда магазины, то и пешком приходить не будут. Начать хотя бы с бахчевых развалов. Ну, начали.

Теперь после периода террора ждём развитого урбанизма, смягчения нравов. Но боюсь, что ждать долго придётся.

UPDATE: обсуждение в фейсбуке -- https://www.facebook.com/ailevenchuk/posts/10210899182809639
2019

Где обитают луддиты: в муниципалитетах!

Первый раз -- случайность, второй раз -- совпадение, третий раз -- закономерность. Теперь я знаю, где сидят луддиты: они окопались в мэриях. Они обычно не знают, что они луддиты, но цеховики им быстро объясняют, кем они должны быть. С муниципалитетами конфликтовали Uber и Airbnb, вот очередь дошла до Amazon. Amazon в середине этого июня запустил доставку своих товаров в течение часа с момента покупки. Мэр Парижа сказала, что Amazon Prime Now нарушает коммерческий баланс и несправедливо (гады, с помощью технологий! ухитряются торговать дёшево и быстро!) конкурирует с магазинчиками и мастеровыми людьми -- https://www.theguardian.com/cities/2016/jun/20/amazon-prime-now-express-delivery-service-france-paris

Когда с технологиями начнуть бороться мэрии России? Впрочем, тут это будет централизовано: до мэрий дело не дойдёт, современные прорывные технологии будут обрубать сразу на общероссийском уровне. Риторика промышленной революции и светлой дороги в будущее риторикой, а луддизм луддизмом.
2019

Десятые лебедевские чтения

Десятые чтения, посвящённые памяти Геннадия Лебедева, состоятся в субботу, 24 мая 2014 года, в 10:00, в Москве, гостиница Алроса: http://www.alrosa-hotels.ru/hotels/moscow/contacts/, это 5 минут от метро Полянка (и 7 минут от метро Третьяковка и Серпуховская).

Регистрация открыта на http://g-l-memorial.ice.ru

Оргкомитет уже рассматривает тезисы потенциальных докладчиков, а я в задумчивости: делать ли мне доклад про то, как современный системный подход (в том числе системноинженерный, а не только системноменеджерский) подползает к праксеологии, или не делать. Может быть, в этом году такой доклад будет делать рановато, но нужно будет его делать в следующем году.
2019

Как создать слона, стандарты системноинженерного мышления, ISO 81346 и схема метро

Как съесть слона? По кусочку за раз: при таком подходе можно ещё и распараллелить это удовольствие на целую бригаду едоков. Ломать -- не строить. Создать слона по кусочку за раз так легко не получится: при проектировании по кусочкам сложить работоспособного слона очень трудно -- то печень забудут, то непонятно как работать с перегревом, то кости в ногах не будут выдерживать массы туши. Но интуитивно понятно, что придётся таки слона для его создания как-то делить на кусочки. А потом работать с этими кусочками по принципу "по кусочку за раз". Что это за "создавательные кусочки"?

Слон -- сложная система (напомню, что "сложная" система это не такая, в которой всё от всего зависит, а такая, в которой все эти зависимости заведомо не помещаются в человеческую голову и нужно придумывать разные способы описания, удерживающие работоспособное целое). Слона создают по интересу (concern) за раз -- это принцип разделения интересов (separation of concerns), сформулированный Dijkstra (http://en.wikipedia.org/wiki/Separation_of_concerns). Краткая суть этого принципа: обо всём нужно думать по отдельности, сразу обо всём думать не получится. Чтобы властвовать над определением системы, надо его разделять.

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

Это суть системного подхода, системноинженерного мышления:
-- системные холархии (матрёшки из холонов -- части и целые). Нет целого без частей, нет частей без целого.
-- каждое действующее лицо интересуется чем-то своим, что важно для его действия. "Система в глазах смотрящего" (вернее, действующего): деятельностный подход.
-- определение системы множественно по своей природе, его составляющие необходимы для удовлетворения разных интересов разных действующих лиц.
-- описаний системы ещё больше (в какой-то презентации по OMG Essence указывается, что сжатие информации при переходе к обсуждению в "альфах" по сравнению с обсуждением в "рабочих продуктах" составляет 1:10 -- о состоянии альфы мы узнаём подробности по десятку рабочих продуктов).
-- все эти определения и описания создаются (изменяются, эволюционируют) в ходе жизненного цикла системы.

Похоже, что минимальный набор более-менее концептуально совместимых международных стандартов современного системноинженерного мышления таков:
-- обобщенный с архитектурного описания до описания определения системы ISO 42010: множественность описаний и деятельностный подход. Это "поворот мозгов" от редукционистского подхода одного всеохватного описания к системному подходу, подразумевающему множественность связанных описаний.
-- обобщенный с программной до системной инженерии OMG Essence: описание жизненного цикла (системноинженерный менеджмент). Метод контрольных вопросов в управлении жизненным циклом.
-- ISO 81346 для минималистичного описания и именований. Это фундамент для управления конфигурацией системы.
-- ISO 15926 для моделирования данных развёрнутых описаний. Обеспечивает федерирование развёрнутых описаний.

Этот небольшой набор стандартов и нужно гармонизировать, на этой основе и нужно создавать учебные курсы, на этой основе и нужно консультировать предприятия. Забавно, что тусовки (community of practice) вокруг этих стандартов очень мало знают друг о друге -- несмотря на всю идейную их близость.

Я писал тут про все эти стандарты, кроме ISO 81346. Это относительно свежий стандарт, 2009 года.

Стандарт ISO 81346 претендует на роль самого минималистичного метода описания системы. В нём определены принципы создания системы справочных обозначений (reference designation system, RDS -- слово "система" тут означает "систематичность", а не целевую систему) целевой системы. Эта система справочных обозначений отражает самое существенное в основных трёх стилях (function, product, location): имена объектов и их место в холархии (разбиения, т.е. отношения "композиции" или "часть-целое"). Функция, конструкция и размещение (модули, компоненты и места; функции, продукты и места: эта основная троица в разных школах обсуждается под разными именами) отражают основные, хотя и не все, стили определения инженерной системы. Подробно этот вопрос разбирается в программной инженерии (например, я упоминал книжку http://libgen.org/get?nametype=orig&md5=abb4676b7b1ddfa74e33b7799ebbb61a -- на неё, в частности, ссылается ISO 42010). Но ISO 81346 в минималистичном варианте проводит эту мысль и для "железных" систем. Неправильно понимать этот стандарт как "принципы создания кодировок", не в кодировке/именовании дело. Это именно стандарт принципов минималистичного описания инженерной системы.

Главное достоинство этого стандарта в том, что в предлагаемых им описаниях выкидывается 99.9% информации о системе, но оставшиеся 0.1% (только имена объектов и отношения "часть-целое") оказываются крайне полезны. Вот тут можно почитать об этом стандарте подробнее: http://81346.com/english/?page_id=117.

Схема метро приводится в объяснительных материалах к этому стандарту как пример того, как радикальное упрощение описания системы резко повышает его полезность. Всем знакомая "схема метро" впервые была придумана в 1931 году (http://en.wikipedia.org/wiki/Tube_map, http://en.wikipedia.org/wiki/Harry_Beck и чудесные фильмы краткий http://www.youtube.com/watch?v=Bg3pfUqdLp4 и длинный http://www.youtube.com/watch?v=1xmOpyv5NuI). Автор схемы метро заметил: расстояния и длины не важны (по большей части), направления неважны (по большей части), пересадки важны. Один аспект, один интерес, одно описание за раз. Схема московского метро отражает сегодня те же принципы (http://metro.yandex.ru/moscow/). Вот краткое видео, подчёркивающее ту же мысль: важность бедных информацией представлений -- http://www.youtube.com/watch?v=W4A1Dnlv8h0
2019

Чай и плитки

Магазин чая на Китай-Городе (http://ailev.livejournal.com/912659.html) закрылся. Поехал в магазин, который рядом с Билингвой (ибо запомнил совет, который мне дал zt, искавший в этом вопросе самадхи -- http://ailev.livejournal.com/912659.html?thread=9121299#t9121299) -- и только дома сообразил, что 0.7кг чая семья будет пить довольно долго. Это еще при том, что в наличии были отнюдь не все запрошенные мной сорта.

На самокате передвигаться по городу стало очень трудно: на тротуарах желтые тактильные плитки-указатели (их можно распознать на ощупь - ногами или тростью. В рифленом рисунке на поверхности содержится необходимая информация. Например, выпуклые кружочки-пупырышки предупреждают о подземном переходе, квадратики - о препятствии или светофоре. Продольные рифы или диагонали указывают направление, по которому следует идти -- http://www.rg.ru/2010/09/23/invalidy.html) для слепых через каждый десяток метров на асфальте и свежеуложенная плитка, на дорогах крупнозернистый асфальтобетон с щебенкой в верхнем слое. Еще чуть-чуть городского благоустройства, и про самокат придется забыть.

Однако, моё любимое время года: в рубашке на улице уже холодновато, но в плаще еще жарковато.
2019

Круглый стол по privacy в интернете и политинформация в парке Горького.

Уж не знаю почему, но я согласился сегодня поучаствовать в круглом столе по privacy в интернете на openspace.ru -- bookfest 2011 (http://open-space-ru.livejournal.com/168264.html, и там даже есть ссылка на видео -- но звук настолько ужасен, а разрешение настолько мало, что ничего не разобрать).

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

На круглом столе обсуждение шло в терминах "общество" (присваивая себе право говорить от его имени, не выделяя в нём совсем разные "подобщества", игнорируя включенность в это "общество" того же "государства" и т.д.), "государство" (как будто это что-то единое и управляемое), privacy (имея ввиду любые данные, окружающие людей), "право общества на информацию" (это типа права на труд? или на жизнь? или месяц назад введенное ООН в состав прав человека право на подключение к интернету?). Я точно знаю, что лучше бы в обсуждениях такие слова не использовать, если не договориться вначале, что эти слова означают, и что этими словами допустимо обзывать. Так, я за использование слова "привидение" или "леший", но я опасался бы проводить какие-то рациональные рассуждения с использованием этих слов -- даже с учётом того, что в словарях прописаны очень чёткие значения, и за тысячи лет накоплена огромная культура работы с этими понятиями. Так что privacy обсудить толком не удалось, зато были затронуты такие интересные темы, как вбивание восьмисантиметровых гвоздей южными вьетнамцами подозреваемым в симпатиях коммунизму северным вьетнамцам.

Сегодня всё происходило в центральном доме художника, а вчера я гулял с профессором LMU Бо Оппенгеймером по парку Горького (это была его особая просьба: он видел фильм, http://www.imdb.com/title/tt0085615/ и почему-то считает этот парк очень знаменитым). Бо Оппенгеймер путешествует по миру (уже объездил с этим 12 стран), читая лекцию "Lean systems engineering", вчера он прочёл ее в Москве, и мы пошли гулять. На удивление, разговор оказался не про системную инженерию, а был почти исключительно полит-экономическим. Бо можно понять: он приехал поглядеть бывший совок (не уверен, что я смог убедительно объяснить, что совок у нас совсем не бывший). Не будут приводить тут подробности, но Бо оказался американским либералом. Хотя когда-то он эмигрировал из социалистической Польши в США, отличать поддержку социалистического перераспределения от свободного рынка он так и не научился. Рузвельт у него -- национальный герой, пример для подражания. Так что мы с ним поговорили примерно так же, как сегодня обсуждали privacy на круглом столе: зафиксировали разницу позиций, и разошлись. Увы, во всех этих околополитических дискуссиях беседа идёт по накатанным рельсам, и мне уже неинтересно кататься по этим одним и тем же рельсам со скатывающимися в одинаковые рассуждения разными людьми. Тем более, что от этих бесед в мире ничего не меняется -- так зачем же тратить драгоценное время?

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

Китайский чай на Китай-городе

Много лет я покупал зеленый чай в предбаннике кафе "Джаганнат" на Кузнецком мосту. В этом январе мне неожиданно продали там вместо элитного чая какое-то сено по чайным ценам, а в феврале там кончилось даже сено. Сегодня я нашёл новое место: маленький магазинчик "Чайковский" на Солянке, если идти от метро Китай-город, то он буквально в пятидесяти метрах от угла на левой стороне улицы. В витрине двадцатисантиметровыми буквами на уровне пояса пешехода выставлено "Те гуан инь" -- по этой надписи его легко найти. Работает магазинчик до девяти вечера. Продавец честно говорит, какой чай свежий, а какой не очень. Всё, что обычно пью (лун цзин, те гуан инь, дун дин улун, най сян улун, люй лун чжу) нашлось. Я доволен чрезвычайно.

Те гуан инь назван в честь буддистской богини милосердия Гуанинь (это сокращённое имя, а полное - Гуаньшиинь). На ладошках у этой богини есть глаза (чтобы лучше видеть), у неё тысяча глазастых рук (по некоторым канонам -- 84 тысячи), и тысяча лиц (по некоторым канонам -- 84 тысячи) -- ибо для этой богини еще важны уши. Она (хотя иногда это бывает и он -- этих трансцедентных существ не разберёшь) занимается тем, что высматривает и выслушивает всех беспокойных (я не люблю перевод "страдающих", он крайне неточен) существ, и сострадает (т.е. приходит им на помощь -- настоящим буддистам помогает в их Спасении, а ненастоящие буддисты верят, что им может перепасть каких-то мирских благ).

А еще эта богиня великолепно танцует со всей своей тысячей рук. Пейте Те Гуан Инь, и смотрите танец:

2019

Об Швецию

Понятно, почему в Швеции так развиты интернеты: все магазины там закрываются в 18 часов, а уже совсем-совсем все в 19 часов. Потом только интернеты.

Шведы выглядят совсем как русские -- я бы их не отличил. Но вот в целом людская популяция в Стокгольме отличается от московской: кавказские национальности в Швеции явно с Ближнего востока, а таджикские-узбекские -- откуда-то с Суматры. Так что в целом -- то же самое, только на поколение позже. Еще бросается в глаза густо татуированная на все ноги и руки молодежь.

Русская речь вездесуща. Например, к нам с sagarasousuke сегодня обратился по-русски двухметровый роскошный военный шоколадного цвета. Этих военных в районе EuSEC2010 сегодня было немерено -- шло какое-то международное мероприятие, много-много мужчин в смешных одеждах с полосками на штанах и кучей скобяных мелких изделий золотых и серебряных цветов по всей одежде: вшитые способы определить количество "Ку" при приветствии, немного специфичные для каждой нации, но в целом ужасно похожие.

В 100 метрах от гостиницы sagarasousuke нашел позавчера русский антикварный магазин и объяснил, как им устроить витрины. Я независимо нашел вчера этот магазин как раз по результатам его объяснения: они выставили коллекцию телеграфных ключей и даже старинный телеграфный аппарат Морзе. Глазеющего меня затащили внутрь, и уже внутри я услышал русскую речь -- а выставленные на витрину технические диковины как раз и были полученным позавчера советом: ведь рядом находится королевская высшая техническая школа плюс оборонный колледж, и негоже было иметь на витрине старые картины и фарфор неизвестных мастеров.

Глазел на эти морзяночные ключи я вот по какому поводу: рядом с гостиницей есть много-много особнячков с роскошными антеннами "штырь", "двойной квадрат" и т.д. (я ведь был радиолюбителем, и знаю, как выглядят эти антенны). Я начал гадать, как сильно сегодня развито радиолюбительство в Стокгольме: в Москве дай бог на весь город будет пара-тройка таких антенн. И тут практически напротив этих домов я увидел коллекцию древних телеграфных ключей! Я задумался -- но владельцы этой коллекции разъяснили, что это просто посольские дома, и антенны там отнюдь не "любительские" а самые что ни на есть "профессиональные".

То, что в туристском районе русской речи много, а в магазинах русские ценники и объявления -- этого уже отдельно отмечать не нужно, это не свойство не Швеции, а сегодняшнего глобуса.

В туристский район я попал сдуру, послушав совет vvagr. "Куда пойти, чтобы купить дитенку игрушку?" -- спросил я его, выйдя из гостиницы. Ибо случилось свободных полдня в Стокгольме, а жена наказала без "чего-нибудь для дитенки" не возвращаться. "Езжай на метро до Центральной станции, выходи там и вокруг будет много магазинов". Я проехал целых три остановки (ага: от моей гостиничной окраины с кольцевой автодорогой до самого центра города три остановки метро), вышел в какую-то площадь-яму (а как ее еще назвать?! типичный СПб -- много-много высоких домов по сторонам, и ты в яме между ними. В Нью-Йорке почему-то такого ощущения нет даже с небоскрёбами) и пошел по ближайшей улице (ибо магазины мне показались идущими равномерно во все стороны). Я ошибся, это была единственная улица, ведущая в древнеисторический район Стокгольма, где все магазины продают одинаковых раскрашеных деревянных лошадок по $50 и прочих глиняных кобольдов с майками "Швеция форева" на все лады. Такие "игрушки" явно были бы дитенку неинтересны, хотя не удержался и купил ему "стандартный туристический" тряпочный шлем с рогами и приделанными рыжими косичками a la viking (ну, не совсем стандартный -- такие толстые косички только в одном магазине увидел).

В итоге были прикуплены дитенку, жене и тёще три фантазийных дракона (которых явно видел где-то в Москве в каком-то ларьке около метро): пусть выберут себе из них страшилище по душе, они как раз недавно смотрели мультфильм про викингов и драконов. Хотя викинги и драконы, конечно, не слишком сочетаемы -- но атрибуты Тора и Одина дитенку пока неизвестны, а вот драконы вызывают ассоциации не с каким-нибудь Китаем, а как раз с викингами. Устройство мира делает литература, как во времена устного эпоса, так и во времена эпоса в виде мультфильмов.

Купил еще разных лакричных сладостей штук двадцати наименований. Буду жевать долгими летними вечерами, у меня в семье конкурентов на это лакомство нет.

И больше покупок не случилось: довезти хотя бы это.

Был немного удивлён метро: после многолетней пропаганды московского и питерского метрополитенов про "лучшее в мире", а также личного опыта в Нью-Йорке я считал, что пропаганда права. Но оказалось, что в Стокгольме метро архитектурно не менее интересно, чем в Москве -- хотя примерно вчетверо дороже. Вообще, тут многое дороже: так, любой "пирожок" или "бутылочка" тут стоит не доллар-полтора, а два-три доллара.

По сравнению с Москвой много салат-баров, которых в Москве пока нет. Значит, этим летом появятся и в Москве. Хотя в Стокгольме странные салат-бары: например, фруктовых салатов в них нет. В Москве наверняка будут.

Вообще, Швеция -- это смесь слегка более готичного Санкт-Петербурга (абсолютно такой же сырой воздух, четыре раза в день меняемый прогноз погоды, и куча каналов, речек и островов, на которых то ли раскинулся, то ли теснится город) и какого-нибудь Чикаго. Капиталистический социализм, что очень чувствуется.

Outgoing SMTP я победил: в гостинице интернетов оказалось много, и кроме кабельного в номерах есть еще и бесплатный-но-по-паролю вайфайный с известным адресом почтового сервера. Тестовые письма прошли, и на часть писем я отвечу уже сегодня (есть еще пара часов до отбоя: разница Москвы и Стокгольма -- два часа).

Завтра вечером надеюсь быть уже дома.
2019

Доказательство правильности систем

В 80-е годы было модно говорить о "языках спецификаций" (тогда не говорили о "моделировании", а именно что о "спецификации"), из которых целевая система появлялась путем последовательного их уточнения и последующей генерации кода (на языке высокого уровня, или даже сразу в машинный язык). В 90-е годы к этому добавили то, что таким образом "специфицированные" системы могли бы быть с "доказанным соответствием спецификациям". В те поры было множество разработок на эту тему ("доказательство правильности программ"), на которые я особо не смотрел: мне всегда казалось, что программа сама по себе может быть сколько угодно правильна, но достигать неверной цели.

Одной из самых успешных работ в этом направлении был подход B, основанный на теории множеств. 1998 году была запрограммирована линия 14 метро METEOR (Париж). 86тыс. строк кода, до сих пор в версии 1.0, и до сих пор не замечено ошибок.

Но уже следующие линии метро (а применения этого подхода пошли главным образом по железнодорожной части, хотя хватало и других применений) показали, что ошибки таки бывают -- а успех первой реализации был связан с тем, что повышенное внимание уделялось системной инженерии (работе на уровне системы), а не ограничивались вознёй с целевой программой. После того, как это отследили, на рубеже столетия подход B был сознательно эскалирован на уровень системы: назван Event-B, в котором не только прямо говорилось не о софте, а о системе, но и "операции и методы" были заменены на "события". Обзор Event-B -- http://www.bmethod.com/pdf/grace-2010/event-b-overview.pdf

Сейчас Европа закачивает в данный подход деньги налогоплательщиков, получая разнообразный софт для B-моделирования и валидации получающихся моделей. Тут нужно заметить, что получатели этих денег главным образом во Франции.

Меня это все заинтересовало, поскольку появились работы, прямо адресующие разрыв между непонятностью формальных спецификаций и понятностью представления результатов неспециалистам:
-- ProB validation tool поддерживает множество языков спецификаций (B, Z, CSP, Event-B, Promela, dSL, ...) и позволяет делать анимации для того, чтобы эксперты, ничего не понимающие в спецификационных математических нотациях, могли понять то, что за этими нотациями скрывается (http://www.bmethod.com/pdf/grace-2010/pro-b-tokyo-2010.pdf).
-- controlled English для написания требований, из которых потом генерируются спецификации на B, а уж эти спецификации затем контролируются на целостность (http://doi.acm.org/10.1145/1734103.1734114)

Подробности можно копать отсюда:
-- свежайшие (март 2010) презентации в изобилии http://www.bmethod.com/php/conference-grace-2010-en.php
-- гнездо Event-B тут: http://www.event-b.org/ (и там изобилие ссылок)
-- ресурс по B методу компании ClearSy System Engineering: http://www.bmethod.com/ (и там еще ссылки на инструменты)

Еще мне интересна сама постановка задачи доказательства правильности систем по аналогии доказательства правильности программ. Похоже, что скоро нужно любой тезис из software engineering или computer science про программы как first class object переносить на системы. С другой стороны, B-моделирование забирается уже внутрь программы/системы. Поэтому можно ожидать, что скоро для системы будет переформулировано и знаменитое "программа = алгоритмы + данные". "Система = ???". И непонятно, что будет быстрее: самому придумать, как это будет в случае систем, или просто подождать годик-другой, пока другие придумают.
2019

Четверг вечер

Пытался сегодня приложить к кнопке лифта у себя в подъезде проездной на метро. Некоторое время терпеливо ждал, пока сработает -- ведь в метро иногда и секунд пять проходит до момента реакции системы.
* * *
Жена подсела на симулятор "Веселая ферма". Говорит, что сильно ломает мозги -- особенно, когда нужно вовремя что-нибудь продать из основных средств, с трудом купленных минутой раньше.
* * *
Дитенок в военном Цыпленке Цыпе застрял в самом начале Марса и отказывается идти дальше: слишком сложно. Я его подзуживаю, но как он туда вообще дошел, не понимаю (и жена тоже не понимает: слишком сложно стало еще уровня за три до этого). Зато он отлично сыграл пару раундов в "Точку зрения" (это когда про один и тот же предмет нужно по очереди говорить разные вещи -- так, про карандаш им было сказано, что это "волшебная палочка" и "легкий предмет" в ответ на мои "покрашенная в синий цвет деревяшка" и "устройство для письма").
* * *
Думаю вот про две полярные задачи: генерацию связного текста-отчета по коду модели (видел много раз -- вполне выполнимое дело), и привязка "человечьего" текста к модели (видел один раз -- в Самаре закодировали информацию по региональным льготам). Если генерацию текста я еще как-то понять могу, то привязка фактически произвольного текста к модели представляется весьма кривой операцией (например, привязка нормативного акта или ТЗ к информационной модели какой-то системы требует не больше и не меньше, чем изложение текста на языке модели -- это пока еще строго ручная операция, причем с неизбежной потерей части информации, для которой в модели просто не находится средств отображения).
* * *
Весь день сегодня изучал различные вики-системы и issue trackers. Однако, вспомнился мой старинный пост про гиперкниготексты (http://ailev.livejournal.com/103692.html). С тех пор немногое изменилось -- хотя и вышла Sophie (кстати, перешедшая в OpenSource в середине сентября -- http://opensophie.org/), которая пыталась двигать в этом "большекнижном" направлении, она явно не стала интеллектуальным прорывом. Получился гибрид PowerPoint со Scratch, с добавкой аудио и видео и возможностей игры шрифтами. С другой стороны, инструментарий в традиционных вики (тот же Trac с его плагинами) уже достаточно хорош, чтобы сводить в один большой и бодрый (активный! интерактивный!) гипертекст самую разную информацию -- от тикетов и майлстоунов, календарей и оглавлений, до "просто" форматированного текста, блогов и аутлайнов, плюс всякие "вкусности" типа graphviz. Ну, а AJAX вообще резко увеличивает юзабилити потомков WikiWikiWeb.

Что интересно, так появившиеся способы интерактивной верстки: не только ссылки, провязанные на слова, но и всплывающие при наведении курсора объяснялки, раздвигающие текст небольшие вставки-врезки. Текст стал не только гипертекстом, но и (интер)активным гипертекстом. Справочность в тексте повысилась. Книжность текста не увеличилась, если не считать автоматической генерации оглавлений, вошедшей в большинство викоидов.