Ответ на »сообщение 2561« (Сергей Прохоренко)
___________________________

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

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

Ответ на »сообщение 2557« (Сергей Перовский)
___________________________

Ответ на »сообщение 2543« (Сергей Прохоренко)
___________________________
Не проще ли одинаковые по семантике (и желательно близкие по синтаксису) функции межмодульного взаимодействия включить во все поддерживаемые языки, а вместо компилятора лишнего языка сделать хороший компоновщик?
Может быть проще, если все они будут языками в привычном смысле слова, т.е. представляться последовательностью символов.
Если же я запускаю среду программирования конечных автоматов и вижу окно для списка состояний, окно для списка сигналов и таблицу переходов состояний, то мне не очень понятно, как добавить к этой модели синтаксис межмодульного взаимодействия.

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

В отношении стандартов открытых документов и участию в этом процессе Microsoft.

Как известно, в прошлом году принят международный стандарт ISO-26300:2006 (Open Document Format, ODF), ключевой в офисном пакете OpenOffice, разрабатываемом при поддержке Sun:
http://www.webxplore.ru/2006/06/07/Open_Document_uzhe_podhode.html
http://www.osp.ru/os/2006/04/2053285/

В отношении ODF недавно прозвучала важная информация о гос.шагах в этой сфере России, но она была тут же опровергнута.
Неверная информация: http://www.cio-world.ru/now/330860/
Опровержения:
1. http://cnews.ru/news/line/index.shtml?2007/08/31/264471
2. http://www.ifap.ru/pr/2007/070831a.htm
См. также обсуждение здесь: http://v-alksnis2.livejournal.com/52808.html

По процессу стандартизации OpenXML (OOXML):
1. "Стандартизация OpenXML натолкнулась на препятствие" (OSP, 16.08.2007) -- http://www.osp.ru/news/2007/0816/4310196/?rss_feed=646062
2. "Microsoft почти «продавила» OpenXML в мировые стандарты" (CNews, 24.08.2007) -- http://www.cnews.ru/news/top/index.shtml?2007/08/24/263665
3. "Linux Foundation против принятия Open XML" -- http://techlabs.by/news/software/19145.html
4. "Microsoft loses key US OpenXML vote" (Washington Post, 12.08.2007) -- http://www.washingtonpost.com/wp-dyn/content/article/2007/08/12/AR2007081200041.html
5. "ISO vote on OpenXML nears" (ZDNet, 28.08.2007) -- http://government.zdnet.com/?p=3378
6. "Microsoft Open XML standards vote foments politics, dismay" (CNET Networks, 31.08.2007) -- http://news.com.com/8301-10784_3-9769670-7.html

Война стандартов (об усилении противостояния ODF и OpenXML со стороны Google и Sun):
1. "Google взяла в союзники Sun StarOffice" (PC Week/RE, 16.08.2007) -- http://pcweek.ru/?ID=633119
2. "Конфликт вокруг OOXML докатился до Беларуси" (БелГазета, 27.08.2007) -- http://www.belgazeta.by/20070827.34/470205671
3. "Дело OOXML" в Беларуси будет отправлено на "доследование" -- (Компьютерная газета, 06.08.2007) -- http://www.nestor.minsk.by/kg/news/2007/08/0608.html

Кампания протеста в России против принятия стандарта на OpenXML: "НЕТ формату Microsoft Office в качестве стандарта ISO" -- http://www.noooxml.org/petition-ru


P.S. Результаты голосования членов комитета по OpenXML должны быть известны уже сегодня.

Ответ на »сообщение 2550« (Руслан Богатырев)
___________________________


1. "Модель или алгоритм: новая парадигма информационной технологии" -- http://www.artint.ru/articles/narin/PARAD-R1.htm
2. "Национальная идея и российский путь в информационные технологии 21 века" -- http://www.artint.ru/articles/narin/r_put2.htm

Насчёт национальной идеи и ИТ какая-то наивность.
Насчёт роли моделей - изумительный резонанс. Давно думаю на эту тему и думал, что куда-то не в ту сторону думаю. Оказывается, есть умные люди, которые думают так же. Конечно же модели должны быть во главе угла и тут визуальные методы рулят. А то ничего, кроме текстового редактора с компилятором не обсуждается.

Ответ на »сообщение 2549« (Руслан Богатырев)
___________________________

Ниже приведу немного критики кажется намертво устоявшейся модели межмодульного взаимодействия. Роль у меня, конечно, незавидная - трясти железобетонные устои, поэтому не судите сурово.

1. Жесткая иерархическая модель взаимодействия модулей в кластере (в отличие от сетевой), как и всякая иерархическая модель, дешева в изготовлении и содержании, легка в управлении и быстра в достижении сформулированной цели, но расточительна по отношению к внешним ресурсам, плохо вписывается во внешнюю среду (как слон в посудную лавку) и плохо приспосабливается к переменам. Речь идет повторном использовании модулей (их придется дублировать), об отсутствии обратной связи по отношению к управляющим воздействиям, о сложности изменения ролей модулей на протяжении жизненного цикла программного продукта, о трудноразрешимых конфликтах между новыми потребностями в импорте модулей и жестко установленной схемой - в процессе разработки и обновления ПО и т.п.

2. Жесткая принадлежность модуля только к одному кластеру противоречит идеологии формирования библиотек функций, компонентному подходу и т.п.

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

Теперь предложения:

1. Предложение первое: Сборка модулей в кластеры должна быть динамической - на основе их текущих значений атрибутов и текущей потребности в импорте у загруженных модулей. Один и тот же модуль может одновременно относиться к разным кластерам.

2. Предложение второе: Вместо языка межмодульного взаимодействия разработать графический инструмент в составе среды разработки. Разве топологию не легче описывать графически, чем словами? Указанный инструмент может отображать текущую топологию модулей в кластерах в реальном времени. Например, выделяете в списке название кластера, и одновременно на сетевой схеме выделяются те модули, которые к нему относятся.

Ответ на »сообщение 2543« (Сергей Прохоренко)
___________________________
Не проще ли одинаковые по семантике (и желательно близкие по синтаксису) функции межмодульного взаимодействия включить во все поддерживаемые языки, а вместо компилятора лишнего языка сделать хороший компоновщик?
Может быть проще, если все они будут языками в привычном смысле слова, т.е. представляться последовательностью символов.
Если же я запускаю среду программирования конечных автоматов и вижу окно для списка состояний, окно для списка сигналов и таблицу переходов состояний, то мне не очень понятно, как добавить к этой модели синтаксис межмодульного взаимодействия.

Информационный фон к проекту новой ОС.

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

Летом Microsoft продемонстрировала ярко выраженные шаги по трем направлениям: телекоммуникации (альянс с Cisco), Интернет (Web-сервисы, Nokia), игровая индустрия (во главе IEB будет Дон Мэттрик). Дон Мэттрик (Don Mattrick), бывший президент корпорации Electronic Arts в июле возглавил подразделение Interactive Entertainment Business (IEB) в корпорации Microsoft, отвечающее за направления Xbox и Games for Windows.

Еще одна иллюстрация новых тенденций -- "Пиратская Windows осталась без обновлений" -- http://www.cnews.ru/news/top/index.shtml?2007/09/03/264574


В России на фоне нашумевших дел по линии УК РФ (включая школы) среди последних шагов Microsoft -- кампания по упрощению перехода на лицензионное ПО (Microsoft И "Аквариус") -- http://www.microsoft.com/rus/news/issues/2007/08/Microsoft_and_Aquarius.mspx

Можно предположить, что в 2008 г. картина еще заметнее изменится. С 1 января 2008 г. вступит в силу четвертая часть Гражданского Кодекса РФ, которая отменяет действие ряда законов по охране интеллектуальной собственности, проводя новую регламентацию.

Вот выдержка из "Российской газеты" (РГ) -- официального гос. источника публикации законодательных актов: http://www.rg.ru/2007/07/03/zakonoproekt.html

Вошедший в Гражданский кодекс РФ Федеральный закон "Права на результаты интеллектуальной деятельности и средства индивидуализации" заменит собой все прежние, касающиеся авторских прав регламенты. Его введение с 1 января 2008 года считается одним из условий вступления нашей страны в ВТО. Правовой охране теперь подлежат произведения науки, литературы и искусства, секреты производства, изобретения, промышленные образцы и полезные модели, фирменные наименования, программы для ЭВМ, товарные знаки и многое другое. Впервые в российском законодательстве вводится норма, по которой за неоднократное или грубое нарушение прав интеллектуальной собственности суд может принять решение о ликвидации юридического лица или о прекращении деятельности индивидуального предпринимателя. Регламентируется порядок использования результатов интеллектуальной деятельности - путем договора об отчуждении исключительного права или лицензионного договора. Потенциально конфликтной представляется статья законопроекта, по которой пользоваться электронными изданиями можно будет только в читальных залах библиотек. Тем самым жителям малых городов и сел затрудняется доступ к образовательным программам, да и вообще станет невозможно скачивать из Интернета какую-либо информацию.

Вот дополнительный комментарий из РГ: http://www.rg.ru/2007/01/24/gk4.html
Вот официальный текст четвертой части ГК РФ: http://base.consultant.ru/cons/cgi/online.cgi?req=doc;base=LAW;n=64629

Новая законодательная база, отменяющая прежние правила игры, может существенно изменить картину с интеллектуальной собственностью в РФ.

P.S. У нашего проекта появились сильные юридические консультанты в области защиты интеллектуальной собственности, поскольку правовые вопросы для нас будут крайне важны.

Ответ на »сообщение 2543« (Сергей Прохоренко)
___________________________

Ответ на »сообщение 2542« (Сергей Перовский)
___________________________
Не проще ли одинаковые по семантике (и желательно близкие по синтаксису) функции межмодульного взаимодействия включить во все поддерживаемые языки, а вместо компилятора лишнего языка сделать хороший компоновщик? А то получится, что для компоновки программы из нескольких модулей на обероне потребуется изучать еще какой-то язык, без которого раньше прекрасно обходились (я не имею в виду Блэкбокс, в котором создание исполнимых файлов - очень большая головная боль).

А кто сказал, что в современной ОС вообще должен быть рудимент статической компоновки? Головная боль-то возникает не от Блэкбокса, а от того, что он не вписывается в идеологию древней ОС с монолитными EXE и в привычки... Если бы Вы могли запускать команды модулей и документы-формы среды прямо из ОС, щелчком мышки из файлового менеджера, то разве бы это не ликвидировало Ваши страдания?

Ответ на »сообщение 2533« (Сергей Перовский)
___________________________

Ответ на »сообщение 2515« (Руслан Богатырев)
___________________________
Блок находится в ядре. Изъять его может тот, кто имеет возможность пересобирать (реконфигурировать) ядро.
Что значит "монолитное включение" для модульной системы? Размазанное так, чтобы никто концов не сыскал? Или залитое эпоксидкой так, чтобы отодрать было нельзя, разве что с мясом?.
Если есть "блок проверки прав", то можно считать, что никакой проверки нет :(
Если проверка не проводится на каждом шаге (как Вы выразились "размазанно"), то система становится легкой добычей хакеров средней руки.

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

Ответ на »сообщение 2552« (Руслан Богатырев)
___________________________

Ответ на »сообщение 2541« (12)
___________________________

Пока синтаксис Norebo-0 (а не сократить ли до R?) не определен, можно ли предложить частично позаимствовать нотацию у С?

А зачем? С имитацией Norebo-0 на стадии макета успешно справится XDS Modula-2. С этим языком как раз ясность наблюдается. Синтаксис вряд ли будет Си-шный. Наверное, сохраним Модула/Оберон-подобный. Но реально работы по балансировке идей в новых языках (и интеграции с Haskell и Python) будет много.Раз справится вопросов больше не имею. Речь шла о заимствовании некоторой символики. Для облегчения того преобразования о котором шла речь ниже.