Logo    
Деловая газета CitCity.ru CITKIT.ru - все об Open Source Форумы Все публикации Учебный центр Курилка
CitForum    CITForum на CD    Подписка на новости портала Море(!) аналитической информации! :: CITFORUM.RU
IT-консалтинг Software Engineering Программирование СУБД Безопасность Internet Сети Операционные системы Hardware

17.01.2017

Google
WWW CITForum.ru
С Новым годом!

«Семантика» семантики

Сергей Кузнецов
17.11.2004
Открытые системы, #11/2004

Тема октябрьского номера журнала Computer (IEEE Computer Society, Vol. 37, No. 10, October 2004) — моделирование архитектуры программного обеспечения. Этой теме посвящены три из шести больших статей номера.

Первая статья тематической подборки написана пятью авторами из университета Карнеги-Меллон; первым в списке авторов указан Дэвид Гарлан (David Garlan). Название статьи — «Rainbow: основанная на архитектуре самоадаптация с использованием повторно используемой инфраструктуры» (Rainbow: Architecture-Based Self-Adaptation with Reusable Infrastructure). Современные программные системы все чаще функционируют в изменяющихся средах с пользователями, имеющими различные потребности. Для управления этими системами необходимы большие усилия администраторов. Чтобы сократить накладные расходы администрирования, программные системы стараются делать адаптивными по отношению к изменяющимся объемам ресурсов и потребностям пользователей, равно как и к системным сбоям. В настоящее время для построения адаптивных программных систем обычно используются специальные средства языков программирования (например, исключения) и особые виды протоколов. Однако обычно эти механизмы тесно связаны с особенностями приложений, и их использование прямо отражается в программном коде. В результате, такие системы становятся дорогими при производ­стве, трудно модифицируемыми и адаптирующимися только к заранее предусмотренным изменениям среды. Альтернативой является использование внешних моделей и механизмов, которые отслеживают и адаптируют поведение программных систем во время выполнения. Для реализации этого внешнего подхода требуется модель, позволяющая понимать поведение системы. Одним из перспективных вариантов является использование архитектурной модели, в которой система представляется как композиция компонентов, их взаимосвязей и свойств, представляющих интерес. Абстрактная архитектурная модель может обеспечить глобальное представление системы и раскрыть важные свойства системы и ограничения целостности. Отмечая общую перспективность этого направления, авторы указывают на наличие двух проблем, требующих тщательного изучения. Во-первых, разные системы обладают совершенно разными архитектурными стилями, свойствами и механизмами динамической модификации. Необходимо обеспечить привязку архитектурной управляющей модели и стратегий модификации к конкретной системе. Во-вторых, необходимо добиться того, чтобы добавление внешнего управления системой не порождало высоких накладных расходов. В прототипе Rainbow решаются обе проблемы. Обеспечиваются повторно используемая инфраструктура и механизмы специализации этой инфраструктуры применительно к нуждам конкретных систем. Такие механизмы специализации позволяют разработчику выбрать аспекты системы, которые требуется моделировать и отслеживать, указать условия, которые должны инициировать адаптацию, а также определить адаптирующие операции.

Статья «Использование основанного на UML монотонного анализа пропорций для предсказания возможности планирования» (Using UML-Based Rate Monotonic Analysis to Predict Schedulability) написана Хусейном Сейедином (Hossein Saiedian) и Срикришнаном Рагураманом (Srikrishnan Raguraman). Под возможностью планирования смеси задач в системе реального времени понимается возможность статического или динамического назначения приоритетов задачам, при котором любая активизируемая задача успевает выполнить требуемые от нее действия в течение заранее известного промежутка времени. Один из наиболее известных методов анализа возможности планирования систем реального времени — метод Rate Monotonic Analysis (RMA), основанный на статических приоритетах задач. При заданных периодичности активизации каждой задачи, предельного времени реакции и времени выполнения задачи алгоритм в наихудшем случае позволяет определить, имеется ли для данной смеси задач возможность планирования. Авторы исследуют возможность применения UML-профиля, предназначенного для моделирования систем реального времени, для построения моделей, для анализа возможности планирования. Приведен пример анализа для модели приложения управления роботом. В настоящее время начинают появляться инструментальные средства, работающие с UML-моделями и автоматизирующие метод RMA; в качестве примера приводится RapidRMA компании Tri-Pacific Software. Однако даже при наличии подобных CASE-средств разработчики систем реального времени, использующие UML-профиль для RMA, должны быть готовы к большому объему ручной работы.

Последняя статья подборки — «Выразительное моделирование: что является семантикой ‘семантики’?» (Meaningful Modeling: What’s the Semantics of «Semantics»?) — написана Дэвидом Харелом (David Harel) и Берндхардом Румпе (Bernhard Rumpe). Процесс стандартизации языка UML породил обширное обсуждение его семантики и способов ее представления. Существуют различные точки зрения относительно того, что составляет семантику подмножеств и адаптаций UML. Авторы статьи выделяют ряд утверждений, являющихся, по их мнению, ошибочными. Семантика — это метамодель. В действительности, метамодель является средством описания синтаксиса.

Семантика — это семантический домен. Здесь отсутствует важная часть семантики — семантическое отображение.

Семантика — это контекстные условия. В этом утверждении не упоминаются ни семантический домен, ни семантическое отображение.

Семантика относится к поведению. описания структур тоже обладают семантикой, так что нельзя путать семантику с поведением.

Семантика — это возможность исполнения. Однако не все языки позволяют специфицировать поведение и поэтому не обеспечивают возможности исполнения языковых конструкций.

Семантика означает понимание индивидуальных конструкций. Но семантика конкретной системы не есть семантика языка.

Семантика означает использование математической нотации. Математическая нотация не имеет никакого отношения к семантике.

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

Перейдем к статьям, не вошедшим в тематическую подборку. Статью «Борьба с мошенничеством вокруг Internet-аукционов: мнение и предложение» (Fighting Internet Auction Fraud: An Assessment and Proposal) написали Сесил Ен Хуан Чуа (Cecil Eng Huang Chua) и Джонотан Веархэм (Jonathan Wareham). Мошенничество вокруг Internet-аукционов получает все большее распространение, ставя под угрозу будущее этой бизнес-модели. Совместные усилия государственных ведомств, некоммерческих организаций, аукционных домов и аукционных сообществ могут оказаться достаточными для смягчения проблемы. К сожалению, все они действуют в односторонней и даже противоречивой манере, что снижает общий эффект.

Брайан и Элизабет Уитворт (Brian Whitworth, Elizabeth Whitworth) написали статью «Спам и социально-технический разрыв» (Spam and the Social-Technical Gap). Если спамер рассылает миллион сообщений, то он останется в выгоде, даже если отфильтруется 99,99%. Фильтрация до передачи по Сети приведет к тому, что станет невозможно гарантированно отправить законное сообщение. Если сделать платной услугу отправки электронной почты, то в мире Internet немедленно появятся новые бесплатные возможности, подверженные спаму (примером служит быстрое освоение спамерами систем, подобных ICQ). Для успешной борьбы со спамом нужно преодолеть разрыв между социальными и техническими аспектами Internet. Авторы представляют несколько идей относительно внесения элементов законности в систему электронной почты. Первая состоит в том, чтобы потенциальный получатель сообщения мог отказаться от его получения, вынуждая программное обеспечение почтовой системы послать его обратно отправителю. Далее, можно ввести специальную службу запроса разрешения на посылку сообщения электронной почты. Без такого разрешения сообщения спамера просто не дойдут до адресатов.

Завершим обзор рассказом о статье «ActiveCampus: эксперименты с повсеместным применением компьютеров, ориентированным на сообщество» (ActiveCampus: Experiments in Community-Oriented Ubiquitous Computing). У статьи семь авторов; первый в их списке — Вильям Грисуолд (William Griswold). Проект ActiveCampus посвящен изучению проблем использования технологии карманных компьютеров в беспроводной сетевой среде для поддержки деятельности студентов и преподавателей большого город­ского университета. В техническом отношении проект опирается на использование карманных компьютеров Jornada Pocket PC с поддержкой беспроводной связи в стандарте IEEE 802.22b. Серверная часть системы основывается на обычном Web-сервере, реализованном с использованием MySQL и PHP. Были разработаны два приложения: ActiveClass и ActiveCampus Explorer. Первое поддерживает лекционные занятия, включая составление вопросов к лектору. Второе помогает участникам сообщества общаться в дистанционном режиме и находить друг друга для прямого общения.

Подписка на новости IT-портала CITForum.ru
(библиотека, CITKIT.ru, CitCity)

Новые публикации:

24 декабря

CITKIT.ru:

  • Новогодние поздравления
  • Сергей Кузнецов. Цикл Операционные системы: Ностальгия по будущему:

  • Алексей Федорчук. OpenSolaris 2008.11 Release

  • Сергей Голубев:

  • Евгений Чайкин aka StraNNik (Блогометки):

    17 декабря

  • С.Д.Кузнецов. Базы данных. Вводный курс

    10 декабря

    CITKIT.ru:

  • OpenSolaris 2008.11 Release

  • Альтернативные ОС: две грустные истории (С.Кузнецов)
  • Nokia N810 — доведение до ума
  • CitCity:

  • Платформа 2009: заоблачные перспективы Microsoft

    4 декабря

  • Лекция С.Д.Кузнецова Понятие модели данных. Обзор разновидностей моделей данных

    CITKIT.ru:

  • OpenSolaris 2008.11 Release. Первые впечатления

  • Linux vs FreeBSD: продолжим "Священные войны"?

  • Nokia N810 as is

  • Индульгенция для FOSS

  • Друзья СПО'2008

    26 ноября

  • Нечеткое сравнение коллекций: семантический и алгоритмический аспекты

    CitCity:

    CITKIT.ru:

  • Глава из книги А.Федорчука
    Сага о FreeBSD:
  • 19 ноября

  • Проблемы экономики производства крупных программных продуктов

  • Язык модификации данных формата XML функциональными методами

    CITKIT.ru:

  • Главы из книги А.Федорчука
    Сага о FreeBSD:

    Заметки к книге:

  • FreeBSD: монтирование сменных устройств и механизм HAL
  • Текстовый редактор ee

    12 ноября

  • Правило пяти минут двадцать лет спустя, и как флэш-память изменяет правила (Гоц Грейф, перевод: Сергей Кузнецов)

    CITKIT.ru:

  • Главы из книги А.Федорчука
    Сага о FreeBSD:
  • OSS в России: взгляд правоведа (В.Житомирский)

  • Новая статья из цикла С.Голубева "Железный марш":

    29 октября

  • О некоторых задачах обратной инженерии

  • Веб-сервисы и Ruby

  • Тестирование web-приложений с помощью Ruby

    CITKIT.ru:

  • Главы из книги А.Федорчука
    Сага о FreeBSD:

  • PuppyRus Linux - беседа с разработчиком (С.Голубев)

  • Сергей Кузнецов. Заметка не про Linux

    22 октября

  • Обзор методов описания встраиваемой аппаратуры и построения инструментария кросс-разработки

    CITKIT.ru:

  • Сергей Кузнецов. Почему я равнодушен к Linux

  • Глава из книги А.Федорчука
    Сага о FreeBSD:
  • Что надо иметь
    3. Базовые познания

    CitCity:

  • Управление IT-инфраструктурой на основе продуктов Microsoft

    15 октября

  • Методы бикластеризации для анализа интернет-данных

    CitCity:

  • Разъемы на ноутбуках: что они дают и зачем их так много?
  • AMD Puma и Intel Centrino 2: кто лучше?

    CITKIT.ru:

  • Новый цикл статей С.Голубева
    Железный марш:

  • Главы из книги А.Федорчука
    Сага о FreeBSD:

    8 октября

  • Автоматизация тестирования web-приложений, основанных на скриптовых языках
  • Опыт применения технологии Azov для тестирования библиотеки Qt3

    Обзоры журнала Computer:

  • SOA с гарантией качества
  • Пикоджоуль ватт бережет
  • ICT и всемирное развитие

    CitCity:

  • Пиррова победа корпорации Microsoft

    CITKIT.ru:

  • Главы из книги А.Федорчука
    Сага о FreeBSD:

    Статья из архива:

  • Я живу в FreeBSD (Вадим Колонцов)

    Новые Блогометки:

  • Перекройка шаблона Blogger или N шагов к настоящему
  • Blogger. Comment style
  • Screenie или глянцевый снимок экрана

    2 октября

    CITKIT.ru:

  • Сага о FreeBSD (А. Федорчук)

    Zenwalk: пакет недели

  • Банинг — интеллектуальное развлечение (С.Голубев)

    CitCity:

    25 сентября

  • Клермонтский отчет об исследованиях в области баз данных

    CITKIT.ru:

  • Пользователям просьба не беспокоиться... (В.Попов)

  • Снова про ZFS: диск хорошо, а два лучше
  • Командная оболочка tcsh (А.Федорчук)

    Zenwalk: пакет недели

    17 сентября

  • T2C: технология автоматизированной разработки тестов базовой функциональности программных интерфейсов
  • Технология Azov автоматизации массового создания тестов работоспособности

    CITKIT.ru:

  • FreeBSD: ZFS vs UFS, и обе-две — против всех (А.Федорчук)

    Zenwalk: пакет недели

  • Дачнет — практика без теории (С.Голубев)

    10 сентября

  • За чем следить и чем управлять при работе приложений с Oracle
  • Планировщик заданий в Oracle
    (В.Пржиялковский)

    CITKIT.ru:

  • Microsoft: ответный "боян" (С.Голубев)

  • Причуды симбиоза, или снова "сделай сам" (В.Попов)

  • Файловые системы современного Linux'а: последнее тестирование
  • Zsh. Введение и обзор возможностей
    (А.Федорчук)

    Описания пакетов Zenwalk: Zsh, Thunar, Thunar-bulk-rename, Xfce4-places-plugin, Xfce4-fsguard-plugin

    Блогометки:

  • Google Chrome
  • Лончер для ASUS Eee PC 701

    3 сентября

    CITKIT.ru:

  • Заметки о ядре (А.Федорчук):

    Добавлены описания пакетов Zenwalk: Galculator, Screenshot, Gnumeric, Pidgin

    В дискуссинном клубе:

  • И еще о Википедии и Google Knol

  • Лекция для начинающего линуксоида (С.Голубев)

    26 августа

  • Транзакционная память (Пересказ: С. Кузнецов)

    CITKIT.ru:

  • Открыт новый проект Zenwalk: пакет недели

  • Статья Текстовые процессоры и их быстродействие: конец еще одной легенды?

    21 августа

    CITKIT.ru:

  • Почему школам следует использовать только свободные программы (Ричард Столлман)
  • Беседа Сергея Голубева с учителем В.В.Михайловым

  • Википедия или Гуглезнание? Приглашение к обсуждению (Алексей Федорчук)
  • Народная энциклопедия от Google (StraNNik)

  • Обзор Mandriva 2009.0 Beta 1 Thornicrofti
  • Новичок в Линукс: Оптимизируем Mandriva 2008.1

  • Книга Zenwalk. Приобщение к Linux:

    13 августа

    CitCity:

  • Мирный Atom на службе человеку. Обзор платы Intel D945GCLF с интегрированным процессором
  • Обзор процессоров Intel Atom 230 на ядре Diamondville

  • iPhone - год спустя. Скоро и в России?

    CITKIT.ru:

  • Интермедия 3.4. GRUB: установка и настройка (из книги Zenwalk. Приобщение к Linux)

    6 августа

  • СУБД с хранением данных по столбцами и по строкам: насколько они отличаются в действительности? (Пересказ: С. Кузнецов)

    CITKIT.ru:

  • Интермедия 2.2. Что неплохо знать для начала (из книги Zenwalk. Приобщение к Linux)

  • И снова про шрифты в Иксах (А.Федорчук)

  • 20 самых быстрых и простых оконных менеджеров для Linux

  • Дело о трех миллиардах (С.Голубев)

    30 июля

  • OLTP в Зазеркалье (Пересказ: С. Кузнецов)

    CitCity:

  • Будущее BI в облаках?
  • Тиражные приложения и заказная разработка. Преимущества для заказчика
  • Дискуссия со сторонниками заказной разработки

    CITKIT.ru:

  • Новые главы книги Zenwalk. Приобщение к Linux:
  • Глава 8. Пакеты: средства установки, системы управления, системы построения
  • Глава 9. Zenwalk: репозитории, пакеты, методы установки

    23 июля

    CITKIT.ru:

  • Все против всех. 64 vs 32, Intel vs AMD, tmpfs vs ext3
  • Две головы от Intel

  • Zenwalk: обзор штатных приложений (глава из книги "Zenwalk. Приобщение к Linux")

  • Нормально, Григорий...

    16 июля

    Обзоры журнала Computer:

  • Перспективы и проблемы программной инженерии в XXI веке
  • Большие хлопоты с большими объемами данных
  • Перспективы наноэлектроники

    CITKIT.ru:

  • Интермедия о лицензиях (А.Федорчук. "Zenwalk. Приобщение к Linux")

  • Есть ли будущее у KDE?

  • Linux в школе: альтернативный вариант в задачах

  • Шифр (приключения агента Никодима)

    10 июля

    CITKIT.ru:

  • Новые разделы книги А. Федорчука Zenwalk. Приобщение к Linux:
  • Интермедия вступительная. Linux или GNU/Linux? Как вас теперь называть?
  • Глава 5. Среда Xfce
  • Глава 6. Xfce: приложения и плагины

  • ZUR (Zenwalk User Repository) FAQ

    2 июля

  • Персистентность данных в объектно-ориентированных приложениях (С. Кузнецов)

    CITKIT.ru:

  • Новые разделы книги А. Федорчука Zenwalk. Приобщение к Linux:
  • Интермедия 1.2. Дорога к Zenwalk'у. Период бури и натиска
  • Интермедия 3.3. Немного о Linux'е и "железе"
  • Глава 4. Настройка: инструментами и руками
  • Интермедия 4.1. Zenpanel и конфиги: поиски корреляции

  • Интервью с Жан-Филиппом Гийоменом, создателем дистрибутива Zenwalk

  • Linux в школе: первые итоги (С. Голубев)

    25 июня

    CITKIT.ru:

  • Zenwalk. Приобщение к Linux (А. Федорчук)

  • Логика и риторика (С.Голубев)

  • Технология Tru64 AdvFS

  • Ханс Райзер предлагает отвести полицейских к телу Нины

    18 июня

  • Проекты по управлению данными в Google (Пересказ: С. Кузнецов)

    CITKIT.ru:

  • ОС и поддержка "железа": мифы и реальность (А. Федорчук)

  • Linux в школе: другие дистрибутивы

  • Пинок (С. Голубев)

    4 июня

  • Ландшафт области управления данными: аналитический обзор (С. Кузнецов)

    CITKIT.ru:

  • Linux в школе: слово заинтересованным лицам

  • SlackBuild: пакеты своими руками

  • Linux от компании Novell. Установка и обзор openSUSE Linux

    Все публикации >>>




  • IT-консалтинг Software Engineering Программирование СУБД Безопасность Internet Сети Операционные системы Hardware

    Информация для рекламодателей Пресс-релизы — pr@citcity.ru
    Послать комментарий
    Информация для авторов
    Rambler's Top100 This Web server launched on February 24, 1997
    Copyright © 1997-2017 CIT, © 2001-2017 CIT Forum
    Внимание! Любой из материалов, опубликованных на этом сервере, не может быть воспроизведен в какой бы то ни было форме и какими бы то ни было средствами без письменного разрешения владельцев авторских прав. Подробнее...