PauzNIKI

Здесь каждый знает то. что есть и каждый силен вновь и снова!

Навигация

Наши статьи

Наши сборники

Методология организации решения задач над множественными распределенными неоднородными источниками информации

Определение предметного посредника и регистрации в нем информационных источников рассматриваются в ЛКМП ИПИ РАН как задача композиционного проектирования систем. Регистрация источников есть процесс целенаправленной трансформации спецификаций, включающий декомпозицию спецификаций посредника на непротиворечивые фрагменты, поиск среди спецификаций релевантных источников подходящих типов данных - кандидатов для уточнения ими спецификаций типов посредника, построение выражений, определяющих классы источников в виде композиции классов посредника.

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

На основе частично упорядоченного множества спецификаций типов определены также решетка и алгебра типов. Эти структуры послужили теоретической базой для разработки репозитория метаинформации, хранящего спецификации требований, компонентов, а также промежуточные спецификации, возникающие в процессе композиционного проектирования. Репозиторий метаинформации, представленной на языке СИНТЕЗ, реализован на основе СУБД Oracle.



Популярные материалы



Структурная схема системы проводной связи

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

Способ соединения абонентов

Такой способ соединения абонентов, в принципе, является разумным, поскольку обеспечивается достаточная надежность соединения, но реализация его дорогая. Подробнее... 

Сокращенное название модем

УПС, состоящее из модулятора (М) на передаче и демодулятора (ДМ) на приеме, носит сокращенное название модем. Процесс передачи сообщений в схеме, изображенной на рис 3. Подробнее... 

Воздействие интернета на людей

Около 5 лет назад в школе, для школьников имя интернет не представляло ни какого смысла. В то время самые умные могли скачать игры и программы для телефонов, другие же просили загрузить в телефон за них. Подробнее... 



Сельскохозяйственное оборудование и агрохимия

«CLAAS представил новые комбайны»Шоу машин, устроенное компанией CLAAS для покупателей и дилеров Восточной Европы и Центральной Азии близ Лейпцига, принесло две сенсации. Подробнее...

© PauzNIKI Все права защищены. Копировать только с указанием ссылки на источник!