?

Log in

No account? Create an account
Лабораторный журнал -- Day [entries|friends|calendar]
Anatoly Levenchuk

[ website | Лабораторный журнал ]
[ userinfo | livejournal userinfo ]
[ calendar | livejournal calendar ]

Обо всем понемногу [21 Jun 2009|01:14am]
ISO/IEC FDIS 24765:2009, Systems and software engineering -- Vocabulary (http://www.iso.org/iso/catalogue_detail.htm?csnumber=50518). Это стандарт словаря терминов системной инженерии, со ссылками на стандарты, использущие эти термины. Проект стандарта в мае пошел на голосование (это как раз и означает слово FDIS), и должен выйти уже в 2009г.
UPDATE: неожиданность -- определения из этого словаря доступны в поиске определений из стандартов в http://pascal.computer.org/sev_display/index.action

ISO/IEC FDIS 16326:2009, Systems and software engineering -- Life cycle processes -- Project management (http://www.iso.org/iso/iso_catalogue/catalogue_ics/catalogue_detail_ics.htm?csnumber=41977). Подробности про управление проектами в системной инженерии.
* * *
Вышла шикарная (хотя и без вспышки) камера Olympus E-P1 формата "микро четыре третьих" -- http://www.dpreview.com/previews/olympusep1/page4.asp. Цены (за тушку) восхищают: US: $749, EU: €749. Ах, если бы в России это было 749руб...
* * *
Флешки теперь бывают 128Gb (хотя и дороговаты: $546): http://www.dpreview.com/news/0906/09061702kingston128gbusb.asp. 5 лет гарантии. Какие будут флешки через пять лет, когда кончится гарантия на эти? USB 3.0, 2Tb? Или я недооцениваю прогресс?
* * *
Блогроллинг (via kapterev) феерического получасового аудио про войну научного добра с всемирным злом через рассказывание историй: http://blogs.wnyc.org/radiolab/2008/07/29/tell-me-a-story/

Краткая суть: Ньютон был крайне неправ, когда писал свои книги сложно и математично, а вот Галилей был прав, ибо был много убедительней Ньютона путем рассказывания баек, иллюстрирования своих книжек и придумывания метафор. Поэтому Галилей был в распространении своих крамольных идей крайне убедителен (за что его и жучили домашними арестами: не за сами идеи, а за сверхэффективное их распространение).

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

Мораль: ученые, рассказывайте байки про свои достижения! Это очень трудно, но крайне нужно, ибо неучи (гады!) рассказывают байки про свои достижения, и голактеко опасносте.
* * *
Оказалось, что есть критерий наличия слова в языке. Если слово есть, то можно найти его 25тыс. письменных упоминаний. Если нет 25тыс. упоминаний -- то тебе показалось, слова нет, это просто людской шум.

Заодно узнал, какой язык является великим и могучим при сравнении с другими языками -- английский, конечно. Английский язык 10 июня 2009г. перешагнул рубеж 1млн. слов, причем миллионным словом стало "web 2.0" -- (http://www.languagemonitor.com/). А n00b от web 2.0 отстал. Мое мнение: это все большое надувательство, с "мониторингом языка". Я набрал n00b в Google и получил 4.8млн, что означает прохождение порога 25тыс. упоминаний очень и очень давно. Правда, речь идет об упоминаниях в мейнстримных газетах и журналах, а не в спецлитературе, тем не менее -- свежо предание, но верится с трудом.
* * *
Нотообменник -- http://www.wikifonia.org/. Копирайт копирайтом, а ноты кое-каких песен Beatls (например, http://www.wikifonia.org/node/1988) и Jobim (например, http://www.wikifonia.org/node/1025) я на этом сайте нашел, да еще и с музыкой.
* * *
Вдогонку ко вчерашнему про подземные поселения: форум по освоению марса (59 страниц с октября 2007г до сегодняшнего дня, 1163 реплики) -- http://www.astronomy.ru/forum/index.php?PHPSESSID=hvfaq4csrhh02j8mv36gooh447&topic=31607.0

А мой любимый блог продолжает публиковать способы снижения стоимости космического запуска. Вот, например, еще один проект пушки на бегущей взрывной волне -- с кольцевыми зарядами, распределенными по стволу и обеспечивающими неплохое ускорение до 100тыс. g: http://nextbigfuture.com/2009/06/blast-wave-accelerator-space-launch.html. Советские технологии, далее работы развивались иностранцами. Эксперименты показали, что при таких ускорениях электроника может выжить и работать (хотя я сам сильно в этом сомневаюсь. Но я вообще в современном инжиниринге сомневаюсь и каждый раз удивляюсь, как вся эта сложнейшая техника может работать).

Кстати, я существенно снизил количество публикаций по техническим новинкам у себя в блоге именно потому, что этот http://nextbigfuture.com покрывает значительную часть моего интереса к прорывным технологиям -- и мне уже не нужно делать свои заметки по этому поводу. Не цитировать же мне из этого блога все подряд!

Но еще от одного цитирования я не удержусь: про дешевизну ядерного реактора на суперкритической углекислоте -- http://nextbigfuture.com/2009/06/supercritical-co2-recompression-cycle.html. Реакторы на суперкритическом CO2 получаются с термальным КПД до 50%, причем стоят на 24% дешевле, чем с двухконтурным паром, и на 7% дешевле, чем с гелием. Это происходит из-за того, что можно уменьшить объем оборудования (ибо суперкритический CO2 сравним по плотности с водой, а не газом). Стоимость же промышленных установок обычно пропорциональна кубу от объема оборудования, и любое уменьшение размеров приводит к уменьшению цены.

Ну, и до кучи про синтез: новые материалы о работе компании General Fusion, занимающейся строительством малогабаритной поршневой термоядерной установки -- http://nextbigfuture.com/2009/06/general-fusion-was-awarded-c139-million.html.
* * *
Еще один синтез: Drools Fusion (http://www.jboss.org/drools/drools-fusion.html), свободный софт для complex event processing (http://en.wikipedia.org/wiki/Complex_Event_Processing), совокупную обработку событий. Суть CEP -- найти значимые события среди того бардака событий, который нас окружает. Ведь все время что-то происходит, и нужно ориентироваться, что именно, чтобы правильно реагировать.

Вот блог по CEP от TIBCO -- http://tibcoblogs.com/cep/, вот еще один блог от RuleCore -- http://rulecore.com/CEPblog/.

Поставщиков еще не так много: StreamBase, Aleri, ruleCore, Apama, Tibco BusinessEvents, IBM  Business Events and Agent Logic.

Текущие тренды в CEP: http://tibcoblogs.com/cep/2009/05/29/interesting-trend-cep-at-brforum-orf-ruleml-events/
* * *
Восхитительный тред получился сегодня с vit_r про использование НЛП (нейролингвистического программирования, а именно, метамодели http://en.wikipedia.org/wiki/Meta_model_(NLP)) в управлении требованиями и работе с организационными нормами: http://ailev.livejournal.com/694074.html
* * *
Был open source, потом open standard, теперь модно поминать open model...
* * *
Семантика врывается стремительным домкратом: http://www.google.com/trends?q=semantic -- ее ищут меньше и меньше, но в новостях она упоминается чаще и чаще.

Семантизация? Осмысление!.
* * *
Кент Бек предлагает меньше тестировать в коротких проектах, которые посвящены только тому, чтобы разобраться в вопросе: http://www.infoq.com/news/2009/06/test-or-not. А ведь именно он написал книжку по тестоориентированному подходу! Именно от него есть пошло юнит-тестирование...

Кент Бек, конечно, жжот. Вот, например, его презентация про неожиданность софтверных трендов -- http://www.infoq.com/presentations/just-you-wait. Он делает ровно то же, что предложил в extreme programming: берет тренды, и предполагает, что будет, если их довести до экстремума. Типа "ежели частые релизы это круто, то скоро будут релизить софт между нажатиями клавиш". Или "никто не мог предположить, когда был расцвет реляционных баз данных, что дальше расцветут не столько объектные базы данных, сколько работа с файлами вместо базы данных -- а ведь наиболее крупные проекты типа Гугля или Амазона работают со много более простыми моделями данных, нежели реляционки. Трудно даже представить, какие еще более простые структуры данных будут, если этот тренд продолжить". Или "неожиданно: люди перестали говорить о реюзе, и заботиться о реюзе. Как-то рассосалось". И все это исключительно байками.
* * *
Opera Unite -- способ превратить любой веб-браузер в веб-сервер. Peer-to-peer web, это круто. Подробности: http://labs.opera.com/news/2009/06/16/.

Когда, интересно, такую штуку сделают плагином к Mozilla? Причем в Opera сервис таки не совсем P2P, ибо использует сервера самой Opera, а ведь в Mozilla придумают какие-нибудь сервера наподобие торрентовых, чтобы их к себе кто хошь ставил...
* * *
Программирование-в-большом против программирования-в-малом -- http://en.wikipedia.org/wiki/Programming_in_the_large.
2 comments|post comment

Онтологическое-терминологическое-стандартизационное [21 Jun 2009|05:50pm]
Словарь по программной и системной инженерии, собираемый из определений стандартов (включая определения из будущего словаря программной и системной инженерии ISO 24765:2009): http://pascal.computer.org/sev_display/index.action

Очень четко видно, что наличествует полный терминологический бардак. И эти люди запрещают нам ковырять в носу!
* * *
В апреле прошел Ontology Summit по использованию онтологий в стандартизации -- http://ontolog.cim3.net/cgi-bin/wiki.pl?OntologySummit2009_Communique. В презентациях (по ссылке на этой странице) можно узнать про разное -- например, про планы по сближению OMG и STEP (типа как спецификации в SysML пойдут в AP233, а затем переведутся в OWL и логически будут оценены на предмет совпадения с имеющимися в каталоге продуктами.
* * *
EPRI хочет в 2009 году установить nuclear XML schemas for critical components (формат FIATECH AEX), разработать Nuclear Industry Data Handover Guide и Standard Configuration Management Reference Model and Implementing Guideline (http://ra.propodhod.ru/upload/iblock/386/090406%20fiatech%20power_crpt.pdf).
* * *
Сравнение разных текстовых языковых капищ (language workbenches) -- http://www.dsmforum.org/events/DSM08/Slides/Pichler-presentation.pdf. Все только в самом начале: автомобиль правят по образу и подобию телег, да и то не все функции удается скопировать...
* * *
Как ни странно, документы по ISO 11179 (кто не понял -- это стандарты "учета учетов", т.е. учет метаданных) дают скачать: http://metadata-standards.org/11179/index.html

Я скачал первую часть, Framework (ISO/IEC 11179-1:2004) и получил печаль: модель данных, характеристики, концепты, и прочие "enumerated conceptual domain -- conceptual domain that is specified by a list of all its value meanings", "enumerated value domain -- value domain that is specified by a list of all its permissible values" и даже "non-enumerated conceptual domain description -- description or specification of a rule, reference, or range for a set of all value meanings for the conceptual domain".

Конечно, есть и про собственно регистрацию: "registration -- relationship between an administered item and the registration authority" -- это в определениях. Но тут же в тексте говорится "Registration is both a process and a goal. The assignment of an identifier, quality status, life-cycle status, and describing provenance are goals. The rules by which these goals are accomplished is the process". Не поймешь этих терминологов из ISO.

Скачал часть 6: Registration (ISO/IEC 11179-6:2005). Ну что сказать? ПАРТАД по ним плачет -- все регистраторы и депозитарии несчастны по-своему, даже если они предназначены для метаданных.

Этой дубинкой бы, да по государственным учетам пройтись (учет метаданных -- это ведь как раз регистрация того, чего учитывают. Пример, хотя и с многочисленными оговорками -- http://www.data.gov). Только толку не будет: запросят очередных денег, деньги съедят на текущие нужды, а то, для чего это делается -- разобраться, что же там такое государство учитывает, и нужно ли это учитывать -- будет с очевидностью замотан и затоптан. Так что в нынешних печальных условиях лучше и не затеваться.

Но для какого-нибудь корпоративного WIP RDL, который хочет воткнуться в международный WIP RDL -- самое оно для стандартизации подхода. Правда, настоящий WIP RDL, скорее всего об этом не знает, и наверняка мастерит что-то свое, ведь регистрацией/учетом заставляет заниматься жизнь, а не стандарты.

Напомню заодно, что о связи между ISO 11179 и OMG SBVR разъясняется в http://www.metadataopenforum.org/download.php?d359687e04386dba9ff4a65c856b4e27.
* * *
Софт для моделирования контрактов, наконец, выпустили -- http://www.ist-contract.org/. Интересен, конечно, не сам софт, а предлагающиеся к нему теоретическая модель и спецификация языка моделирования контрактов (вот тут: http://www.ist-contract.org/index.php?option=com_docman&task=doc_download&gid=27&Itemid=44).

Язык про настоящие контракты: описывает и такие случаи, как рамочные контракты с конкретными соглашениями. The language gives meaning to the following basic concepts: contract, contract store, contract template, contract proposal, regulation, norm, violation, party, action, predicate and penalty. И еще: The language specifies mechanisms to add additional information about the knowledge for further verification of possible conflicts between contracts. Ну, и как же без этого: The language defines a complete but minimal set of speech acts that the agents will need in the contract lifecycle.

FIPA (это агентские стандарты: http://www.fipa.org/, например язык общения агентов KQML), онтологии на марше (для Upper Ontology они склоняются к SUMO, "с учетом того, что она вобрала в себя PSL, а PSL лег в основу веб-сервисов), деонтика с ее обязательствами и позволениями, теория речевых актов, и в то же время крутой айтишный закос в SOA и WS.
Agent KLM informs agent AC that (it is true that)
a violation of contract AftercareContract7934
has been committed by agent RR. (inform :sender (agent-identifier :name KLM) :receiver (set (agent-identifier :name AC)) :content "((violated RR AftercareContract7934 (list (CpayInst7934))))" :ontology ContractualOntology :language fipa-sl)
Интересно, когда эти контрактники встретятся с разработчиками организационных норм? Тем им расскажут о нескольких уровнях описания: для простых людей на одном языке, который у них есть шанс понять. Для айтишников на другом языке -- который есть шанс понять машинам. Но лиха беда начало: формализация контрактов общего вида понеслась (прошлое поколение этой формализации, как минимум, языки WS-Agreement, WSLA и RBSLA для контекста электронных сервисов), и все слова в этой новой песне нам уже знакомы.
post comment

Новости стандартизации в системной инженерии [21 Jun 2009|09:49pm]
Если поглядеть на страничку http://142.137.17.56/Labo_Recherche/Lrgl/sc7/N4301-N4350.html, то отнюдь не все документы оказываются защищенными паролем. Поэтому можно узнать много интересного, что происходит в ISO JTC1/SC7, занимающимся вопросами системной инженерии. Одна из интересных новостей: INCOSE так же заметна, как и национальные делегации.

Глоссарий (ISO 24765) -- 408 страниц, 104 источника (включая словарь PMI PMBoK-4), 3357 терминов, голосование закрывается 15 июля 2009г. Администрироваться будет как "стандарт - база данных", т.е. ‘The entry of a new item in the database is not to be seen as “new work”, but rather as part of the continuous maintenance of the existing collection.’ Тем не менее, примерное оцениваемое время для внесения правки в этот словарь -- полгода (что по меркам ISO является реактивной скоростью).

Этот Глоссарий по соглашению с IEEE доступен тут: http://pascal.computer.org/sev_display/index.action -- более того, его можно скачать целиком (пока 317 из заявленных 408 страниц -- но это может быть разница не в содержании, а в размере шрифта на странице, в IEEE помельче пишут, чем в ISO) тут: http://pascal.computer.org/sev_display/Downloader

Определение системной инженерии -- теперь по версии ISO:
Systems Engineering: interdisciplinary approach governing the total technical and managerial effort required to transform a set of customer needs, expectations, and constraints into a solution and to support that solution throughout its life (ISO/IEC FCD 24765, Systems and Software Engineering Vocabulary)
Системная инженерия -- междисциплинарный подход, направляющий общие технические и менеджерские усилия, требующиеся чтобы преобразовать набор клиентских нужд, ожиданий и ограничений в решение и чтобы поддержать это решение в течение его жизни (ISO/IEC FCD 24765). Многих заинтересованных лиц по пути потеряли, жизненный цикл превратился просто в жизнь, зато появились менеджеры.

Учебник по системной инженерии INCOSE в стандарт ISO превращает WG20 -- для начала они учтут комменты, потом гармонизируют с ISO 15288:2008, затем выпустят как ISO/IEC TR. Они же перевыпустят скоро SWEBoK (ISO

Планы LCPHAG (Life Cycle Process Harmonization Advisory Group life cycle) по состоянию на 2 недели назад:
Reviewed Version 1.9 plan activity, progress and Year 2 inputs
• Modeling evaluation and request for prioritized criteria
• 15288-12207 modeling approach and initial prototype models
- Functional Behavior Model (using CORE)
- UML/SYSML
• 12207 PRM presentation and issues
• 20000-1 PRM issues discussion
• PAM issues discussion and WG10 new directions
• Behavior Tree discussion and potential support
• Enterprise meta modeling discussion and potential support
• Process repository options and potential concept of operations development
• Study Group on Services and Systems Management (1099) issue presentation and recommendations
• Identified potential resources for year 2 tasking

Complete 15288/12207 models by interim meeting
• Map service management processes to 15288/12207
• *Enterprise modeling task and deliverable
• *Behavior tree modeling task and deliverable
• Draft process repository concept of operations
• Refine plan for addressing other standards after interim meeting 2009
Дальше они планируют в том числе Develop an initial strawman set of inputs/outputs/deliverables - June/July. И закончить 1-2 октября.

А мы сами к этому времени должны будем закончить с моделированием ISO 15288 в SBVR+SPEM. Однако, разница в парадигме: стандартизаторы из ISO глядят на процессы как на конструктор с inputs и outputs, в то же время ISO 24774 (который, кстати, тоже планируется обновить) настаивает на outcomes (состояниях), и никаких inputs и outputs (как "передаваемых" вещественных или информационных артефактах) вообще не предусматривает -- отсюда и трудности у модельеров-трансформаторщиков. Все эти inputs и outputs помянуты неявно прямо в тексте.

Стандарт на тестирование -- ISO 29119 (понятно, что не только софта, но и software-intensive systems, т.е. просто "систем"):


По Enterprise Architecture у них, скорее всего, будет роман с Open Group (это значит, что TOGAF).

Пересмотр ISO 15504 (SPICE) в WG10 идет в сторону отдельного стандарта с номерами 31001-31099 (SPICE 31K). Гнездо их в Сети тут: http://www.spiceusergroup.org/. Пополнять коллекцию будут быстро, через fast track.

WG19 занимается "ODP and Modelling Languages". В рассмотрении сейчас Petri Nets (ISO/IEC 15909), Reference model of ODP (ISO/IEC 10746), Use of UML for ODP system specifications (ISO/IEC 19793) и Standard Metamodel for Development Methodologies (ISO/IEC 24744). И эта же группа проводит по фаст-треку стандарты OMG (хотя и не самые интересные. Хотя для кого как: UML2 и CORBA в число этих стандартов попадают). Из неожиданностей -- обсуждение графической нотации для 24774! Как связать ODP и MDA обсуждается именно в WG19. Следующая их встреча -- в Европе, октябрь 2009г.

Бурную активность со стандартами качества (ISO/IEC 250xx) софта опускаю, хотя уже понятно, что будет: через некоторое время они будут к слову "software" добавлять слова "and system" -- ибо они разбираются не столько с софтом, сколько с разными recoverability и прочими сущностными заморочками. Впрочем, это уже началось: они попросили изменить имя WG6 на "Software Product and System Quality".

Учитывая, что речь идет о софте, системах (обычно понимаемых как "железные") и людях, ISO 18529 обозвали Human Centered Lifecycle Process -- он тоже (как и софтовый 12207 и железный 15288) построен под оценку SPICE (15504).

Сводная табличка про интерес к использованию некоторых стандартов SC7 и не-ISOшных организаций -- по результатам опроса людей, заинтересованных в service management (то есть таких стандартов, как ITIL и ISO20000). Людей, правда, опросили три десятка человек, причем через веб, и половину из маленьких предприятий. Знаем мы эти веб-опросы, равно как и отношение к стандартам в маленьких предприятиях, тем не менее:

Вывод: спросом пользуются стандарты из группы assesment and certification. И security. Остальные стандарты людям нафиг не нужны -- интересуют не стандарты, как способ распространения лучших практик, а стандарты, чтобы всякие "оценщики" (т.е. "силовики")знали, что им позволено, а что нет.

WG2 планирует сапдейтить ISO 15289 -- она вообще занимается стандартами типа пользовательской документации (ISO/IEC FDIS 26514). Думаю, стандарт останется документоцентричным.

За год с мая 2008 по май 2009г. ISO/IEC JTC1/SC7 (software and systems engineering) опубликовала 9 стандартов, а всего поддерживает на сегодня 109 штук. В процессе подготовки к выпуску сейчас 57 стандартов. Из специфических просьб секретариата комитета к рабочим группам: Every edited document should have at least one native English speaker in editing body.

Интересно, что "стандарты качества" из 900... они относят к стандартам Governance, а вот Software Quality к Product Characteristics.

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

Главное, не упираться только в ISO. Стандарты на то и стандарты, чтобы выбирать их себе добровольно.
8 comments|post comment

navigation
[ viewing | June 21st, 2009 ]
[ go | previous day|next day ]