Технологии проектирования и создания информационных порталов на основе спецификации функциональной структуры обобщенными сетями Петри тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Чернев, Сергей Петрович
- Специальность ВАК РФ05.13.11
- Количество страниц 178
Оглавление диссертации кандидат технических наук Чернев, Сергей Петрович
Технологии проектирования и создания информационных порталов на основе спецификации функциональной структуры обобщенными сетями Петри
Введение
1 Информационные порталы: методические и инструментально-технологические аспекты их создания
1.1 Информационные системы и современные технологические подходы их реализации
1.2 Информационные порталы, их функциональная структура и сервисы
1.3 Сценарий реализации жизненного цикла и инструментально-технологические аспекты промышленных методов производства информационных порталов
2 Спецификация и моделирование информационного портала и его компонент
2.1 Сети Петри как язык спецификации и моделирования систем
2.2 Основные определения сетей Петри и их свойств
2.2.1 Классические (простые) сети Петри
2.2.2 Высокоуровневые сети Петри
2.3 Спецификация и моделирование информационного портала на основе аппарата сетей Петри
2.3.1 Обобщенная модель информационного портала
2.3.2 Спецификация работы информационного портала временной сетью Петри
2.3.3 Спецификация процесса персонификации информационного портала
2.3.4 Спецификация процесса кастомизации в информационном портале
2.3.5 Спецификация работы системы новостей в информационном портале
2.3.6 Спецификация работы форума в информационном портале
2.3.7 Анализ и свойства построенной модели информационного портала
2.4 Компьютерное моделирование информационного портала на основе сети Петри
3 Разработка портальных решений на основе предложенных технологических и методологических схем
3.1 Апробация методологий на примере создания портала Югорского НИИ информационных технологий
3.2 Апробация методологических и инструментально-технологических решений при разработке прототипа образовательного портала
3.3 Документирование и сопровождение
Рекомендованный список диссертаций по специальности «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», 05.13.11 шифр ВАК
Разработка методов и моделей проектирования образовательного портала для управления учебным процессом вуза2006 год, кандидат технических наук Шакаримова, Алмагуль Бимулдиновна
Инструментальные средства разработки бизнес-приложений на базе интранет-технологий2004 год, кандидат технических наук Садретдинова, Нелли Маратовна
Разработка методов и средств построения распределенного информационно-справочного портала дистанционного обучения2004 год, кандидат технических наук Хапланов, Николай Леонидович
Программно-технологический комплекс для развития информационной среды образовательного учреждения на основе системы электронного документооборота2013 год, доктор технических наук Гудов, Александр Михайлович
Разработка и исследование методов моделирования Интернет портала2007 год, кандидат технических наук Хачумов, Максим Александрович
Введение диссертации (часть автореферата) на тему «Технологии проектирования и создания информационных порталов на основе спецификации функциональной структуры обобщенными сетями Петри»
Актуальность исследования. Ключевым фактором, формирующим мировые тенденции развития информационных технологий, является совершающийся переход к информационному обществу. На рубеже ХХ-ХХ1 столетий происходит очередная смена технологических укладов, определяющих развитие экономики и общества в целом: в число основных технологий нового уклада входят рассматриваемые нами информационно-коммуникационные технологии. Информация и знания становятся единственным источником долговременного устойчивого развития экономики и общества в условиях конкурентной среды. Производство программных продуктов, информационных систем и ресурсов, компьютеров и средств телекоммуникаций является одной из наиболее динамично развивающихся отраслей экономики. При этом все сферы человеческой деятельности тем или иным образом испытывают влияние информационных технологий (в т.ч. компьютеров и компьютерных сетей), а некоторые претерпевают коренную перестройку. Знаковым событием на пути выхода России из социально-экономического кризиса можно считать:
• Отнесение к государственным приоритетам на совместном заседании Совета Безопасности РФ, Президиума Госсовета и Совета по науке и высоким технологиям (20.03.2002г.) развитие информационных технологий и их приложений.
• Принятие Правительством России в 2001г. двух взаимодополняющих Федеральных Целевых Программ (ФЦП) "Развитие единой образовательной информационной среды на 2001-2005 годы" и "Электронная Россия на 2002-2010 годы".
Технологии "Электронного правительства", телемедицины и дистанционного обучения, электронные расчетные системы и системы электронных сделок, ERP и CRM-системы - далеко не полный перечень современных направлений, где применение современных систем коммуникаций, Интернет-решений, информационных хранилищ и электронного документооборота, специализированных систем автоматизации, информационных порталов предоставляет расширенные возможности для персонала в соответствии с их полномочиями в оперативном получении корректной информации и создает условия для организации эффективной современной среды взаимодействия в различных корпоративных инфраструктурах. Внедрение Интернет-технологий в инфраструктуру корпоративных информационных систем изменило взгляд ведущих поставщиков программных решений. Начиная с середины 90-х годов прошлого столетия, особый акцент ставится на Интернет-решениях, развитии соответствующих инструментальных программных средств и прикладных программных систем [85,95,100,104,113,114].
В развитие методологии, технологий, математического и программного инструментария для создания интегрированных информационных систем управления различного назначения в разные годы внесли вклад Марчук Г.И., Гончаров С.С., Ершов Ю.Л., Ехлаков Ю.П.,Перегудов Ф.И., Тарасенко Ф.П., Макаров B.JL, Ямпольский В.З., Бобко И.М., Котов В.Е., Манцивода А.В., Тихонов А.Н., Ломазова И.А. и др. Комплексные решения (технологические, инструментальные и прикладные) созданы и развиваются ведущими мировыми софтверными компаниями (Microsoft, Oracle, IBM, Rational [147,85,154] и др.) и Российскими компаниями (АйТи, IBS и др.).
Развитие сетевой инфраструктуры и Интернет/интранет-технологий, современный программный инструментарий и методологии создали объективные предпосылки перехода от отдельных проблемно-ориентированных информационных систем к интегрированным информационным средам различного назначения. Информационные технологии из разряда вспомогательных средств переместились в состав основных и стали одним из главных условий развития и эффективности корпоративных, региональных и отраслевых систем управления [106,112,117]. Одним из системообразующих элементов, который ориентирован на интеграцию в рамках единой корпоративной информационной среды различных проблемно-ориентированных информационных систем, сервисов и информационных ресурсов (БД и т.д.) с организацией консолидированной точки доступа к ним пользователей различных категорий с учетом их полномочий и решения задач информационной безопасности в числе Интернет/интранет - решений, рассматривается информационный портал [95,100]. "Информационный портал" как одно из базовых Интернет-решений появилось и развивается в последние несколько лет [104,105,106]. Тот факт, что информационный портал становится массовым информационно-программным продуктом как в глобальном Интернет-пространстве, так и в корпоративных информационных средах, придает актуальность решению комплекса методических, технологических и инструментальных проблем создания индустриального подхода к производству информационных порталов различного назначения.
Диссертационная работа отражает исследования автора в области методологических, технологических и инструментальных решений для создания информационных порталов, формирования индустриального подхода к их производству. Предлагаемый подход и решения подтверждаются результатами их апробации на примере создания конкретных информационных порталов.
Цель работы заключается в разработке методических, технологических и инструментальных решений для создания информационных порталов как системообразующих подсистем в Интернет/интранет - средах, ориентированных на организацию систематизированного взаимодействия пользователей с проблемноориентированными информационными системами, ресурсами и сервисами в корпоративных информационных средах, формирования индустриального подхода к производству информационных порталов.
В соответствии с обозначенной целью, основными задачами данного исследования являлись:
1. Развитие концепции информационного портала с определением его места в корпоративных и отраслевых информационных Интернет/Интранет - средах, анализ и классификация информационных порталов.
2. Разработка подхода к спецификации функциональной модели портала и его подсистем на основе аппарата сетей Петри как основы индустриализации процесса создания информационных порталов.
3. Спецификация функциональной модели портала и его базовых функциональных подсистем в виде обобщенных сетей Петри.
4. Отработка технологии компьютерного моделирования на основе спецификаций функциональных моделей портала с целью анализа проектных решений.
5. Анализ и выбор инструментально-технологических решений для создания информационно-программных портальных комплексов на основе формальных спецификаций функциональных моделей портала.
6. Апробация разработанных решений для создания информационных порталов как законченных продуктов, решающих определенные бизнес-задачи.
Методы исследования. При решении поставленных в работе задач использовались: система стандартов в области обеспечения жизненного цикла и качества программных средств (ISO 12207: 1995, ISO 9001, ISO 9000 и т.д.), системный анализ, математическое моделирование, аппарат сетей Петри, CASE-технологии, Интернет-технологии, методологии создания информационных систем, современные инструментальные программные средства.
Научная новизна заключается в формировании и реализации методических, технологических и инструментальных решений создания информационных порталов на основе спецификации их функциональной структуры сетями Петри, в частности:
• реализации подхода к спецификации информационных порталов и их функциональных подсистем на основе аппарата обобщенных сетей Петри, разработке реализационно-независимых спецификаций для функциональной модели портала и его базовых подсистем в виде раскрашенных временных сетей Петри;
• применении компьютерного моделирования разработанных раскрашенных временных сетей Петри, специфицирующих функциональную модель портала, как инструмента анализа и оценки проектных решений;
• предложении концепции депозитария спецификаций функциональных моделей портала и его подсистем как основы перехода от индивидуальной разработки порталов к серийным и поточным методам их производства.
Автор выносит на защиту:
1. Концептуальные и методические решения, включающие:
• актуализацию понятия информационного портала в качестве системообразующего решения (подсистемы) по интеграции различных информационных систем, ресурсов и сервисов в Интернет/интранет - среде и организации территориально-распределенного доступа к ним различных категорий пользователей;
• создание депозитария формализованных реализационно-независимых спецификаций функциональных моделей портала и его базовых подсистем в качестве одного из основных факторов организации их промышленного производства;
• выбор инструментально-технологических решений по проектированию и созданию информационно-программных портальных комплексов;
• технологические аспекты информационной безопасности, оценку сетевого трафика и требований к аппаратным ресурсам.
2. Решения по спецификации функциональных моделей информационных порталов на основе аппарата раскрашенных сетей Петри, в том числе комплекс разработанных спецификаций в виде раскрашенных временных сетей Петри для функциональной модели портала и его базовых подсистем.
3. Решения по компьютерному моделированию предложенных вариантов сетей Петри для спецификации функциональной модели портала в качестве инструмента анализа проектных портальных решений, результаты анализа производительности портального программно-технического комплекса.
4. Результаты апробации методических, функциональных и технологических решений на примере создания конкретных информационных порталов.
Практическая значимость работы. Практическая значимость работы заключается в предлагаемых методических, технологических и инструментальных решениях для создания информационных порталов различного назначения в условиях, когда "информационный портал" как информационно-программный продукт приобретает одну из системообразующих ролей в информационных средах различного назначения. Работы, результаты которых изложены в данной диссертации, выполнялись в рамках проектов: Федеральной целевой программы "Развитие единой образовательной информационной среды (2001 - 2005 годы)"
2002Гг.; межведомственной программы "Создание национальной сети компьютерных телекоммуникаций для науки и высшей школы" (Миннауки 9
РФ, РФФИ, Минобразование РФ, РАН, Минсвязи РФ)- 1998-2002г.; НТП "Информационные технологии в образовании и науке" (Минобразование РФ) - 1999г.; НТП "Государственная поддержка региональной научно-технической политики высшей школы и развитие ее научного потенциала" (раздел "Развитие научно-аналитических центров мониторинга ресурсов регионов, Минобразование РФ) -2002г.
Публикации и апробация результатов работы. По результатам исследований опубликовано 7 печатных работ [96,97,98,99,100,101,102].
Основные положения работы докладывались и обсуждались:
• На Международной научно-практической конференции "Новые информационные технологии в университетском образовании", ИДМИ, Новосибирск, 1999.
• На седьмой Всероссийской научно-методической конференции "Телематика-2000", Санкт-Петербург, 2000
• На Международной научно-методической конференции "Новые информационные технологии в университетском образовании", ТПУ-ИДМИ, Томск, 2000.
• На Международной научно-методической конференции "Новые информационные технологии в университетском образовании", СГУПС-ИДМИ, Новосибирск, 2001.
• На Международной научно-методической конференции "Новые информационные технологии в университетском образовании", КемГУ- ИДМИ, Кемерово, 2002
• На II Региональной конференции "ИНФОРМАЦИОННЫЕ НЕДРА КУЗБАССА - 2003", КемГУ, Кемерово, 2003
Результаты внедрения. Результаты работы вошли в итоговый научно-технический отчет НИР "Разработка методологии создания системы образовательных порталов" Федеральной целевой программы "Развитие единой образовательной информационной среды (2001 - 2005 годы)",
10 выполненной на базе Государственного научно-исследовательского института информационных технологий и телекоммуникаций (Государственный контракт № 638 от 11.07.2002 (с дополнением №2388 от 20.11.2002г.)). Данное исследование, в свою очередь, направлено на формирование стратегии и технологий создания системы образовательных информационных порталов для национальной системы образования. Результаты диссертации стали основой функциональных и технологических решений при создании информационного портала Югорского НИИ ИТ и прототипа типового образовательного информационного портала на основе инструментария и технологий Oracle для системы создаваемых в рамках ФЦП "Развитие единой образовательной информационной среды (2001 -2005 годы)" порталов, отрабатывались в рамках эволюции Web-сайта НГУ.
Структура и объём диссертации. Диссертация состоит из введения, четырех глав, заключения, списка использованной литературы. В работе также представлено 28 рисунков, 5 таблиц, 2 приложения.
Похожие диссертационные работы по специальности «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», 05.13.11 шифр ВАК
Алгоритмическое и программное обеспечение реинжиниринга корпоративных информационно-управляющих систем2005 год, кандидат технических наук Андрианова, Елена Гельевна
Объектно-функциональная верификация информационной безопасности распределенных автоматизированных информационных систем таможенных органов2009 год, доктор технических наук Скиба, Владимир Юрьевич
Математическое и программное обеспечение проактивных образовательных систем2011 год, кандидат технических наук Петунин, Ярослав Юрьевич
Образовательные порталы как средство систематизации и структурирования информации2004 год, кандидат педагогических наук Комаревцев, Евгений Михайлович
Повышение эффективности построения имитационных моделей предприятия2008 год, кандидат технических наук Фадин, Дмитрий Николаевич
Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Чернев, Сергей Петрович
Основные результаты работы содержат:
1. Концептуальные и методические решения для перехода к промышленным методам создания информационных порталов в части:
• актуализации для порталов системы международных и отечественных стандартов определения жизненного цикла и качества программных средств в сочетании инстументально-методическими средствами поддержки их реализации;
• позиционирования информационного портала в качестве системообразующего решения по интеграции различных информационных систем, ресурсов и сервисов в Интернет/Интранет - среде и организации территориально-распределенного доступа к ним различных категорий пользователей;
• идеи создания депозитария формализованных реализационно-независимых спецификаций функциональных моделей портала и его базовых подсистем в сочетании с развитыми инструментально-технологическими средствами разработки на их основе программных портальных комплексов.
2. Актуализирован аппарат обобщенных сетей Петри в классе раскрашенных и временных для спецификации и моделирования информационных порталов и их подсистем. Разработаны в виде раскрашенных временных сетей Петри спецификации функциональной модели портала и его базовых функциональных подсистем (персонификации, кастомизации и др.).
3. Разработана на основе инструментального программно-технологического комплекса Design CPN компьютерная модель функционирования раскрашенной временной сети Петри, предложенной для спецификации общей функциональной модели портала. На предложенной компьютерной модели:
• проведен анализ ограниченности, квазиживости сети и выявление мертвых переходов (наиболее актуальных для функционирования программной системы портала свойств);
• предложена схема и проведены численные эксперименты с целью анализа проектных портальных решений (оценка производительности портального программно-технического комплекса на на одно- и двухпроцессорных системах с процессорами разной тактовой частоты при различных по мощности потоках запросов пользователей к порталу для предложенной функциональной модели).
4. Сформулированы технические условия и рекомендации по их реализации для обеспечения возможностей повышенной надежности, производительности и масштабирования при создании информационных порталов
5. Предложены технологические способы реализации базовых функциональных подсистем и проблемно-ориентированных компонент портала в различных инструментально-технологических программных средах (с использованием технологий J2EE, Oracle9iAS Portal).
6. На основе разработанных реализационно-независимых спецификаций функциональной моделей портала и его базовых функциональных подсистем на базе технологий J2EE и СУБД Oracle создан программный комплекс, который инсталлирован в виде информационного портала Югорского НИИ ИТ.
7. На основе разработанных реализационно-независимых спецификаций функциональной моделей портала и его базовых функциональных подсистем на основе инструментария и технологий Oracle создан прототип одного из типовых вариантов образовательного информационного портала для системы создаваемых в рамках ФЦП«Развитие единой образовательной информационной среды (2001 - 2005 годы)» порталов.
Заключение
Портальные решения при создании и функционировании в Интернет/Интранет-средах современных отраслевых и корпоративных информационных систем обеспечивают возможности повышенной производительности, масштабируемости, простоты администрирования и персонифицированного доступа к ресурсам и сервисам. Средства интеграции обеспечивают межпортальную интеграцию: баз данных; метаданных (импорт, экспорт, координация); поисковых процедур; систем безопасности; проблемных, событийных и справочных информационных систем.; формирование кооперативной системы «зеркал» и виртуальных серверов (для корпоративного или персонального хостинга). В качестве одного из основных конкурентных преимуществ создания системы порталов, как среды доступа к информационным ресурсам и системам, рассматривается возможность предоставления пользователям персонифицированных инфокоммуникационных услуг (за счет реализации развитых систем регистрации, персонификации и кастомизации при взаимодействии пользователей с системой порталов) в информационных средах. Как показали исследования данной работы, обозначенные свойства позиционируют информационный портал в качестве одного из системообразующих решений в корпоративных и отраслевых информационных средах, в публичных информационных системах. Анализ многообразия информационных порталов, возможность кластеризации их на достаточно однородные классы (каждый из которых имеет инвариантный набор функциональных компонент) создают предпосылки для реализации промышленных методов производства информационно-программных портальных комплексов. Актуальным направлением для решения задачи индустриализации создания информационных порталов рассматривается формирование предметно-ориентированной (или корпоративной) среды их разработки и решение вопросов реализационно-независимой спецификации функционального представления портала.
Список литературы диссертационного исследования кандидат технических наук Чернев, Сергей Петрович, 2003 год
1. Агафонов В.Н. Спецификация программ: понятийные средства и их организация. Новосибирск: Наука. Сиб. Отд-ние, 1990. - 224с.
2. Алешников С.И., Болтнев Ю.Ф. Математические методы защиты информации. -Калининград:Изд-во Калинингр. Ун-та, 2000. 41 113с.
3. Ачасова С.М., Бандман O.JI. Корректность параллельных вычислительных процессов Н. Наука, Сибирское отделение, 1990.
4. Бартси М. , Блэр Р. , Болоньи JI. и др. ASP XML для профессионалов : М: Лори, 2002 704 с.
5. Башарин Г.П. Анализ очередей в вычислительных сетях: Теория и методы расчета. -М.:Наука, 1989-334с.ил.
6. Ю.Березовский Б.А., Гнедин A.B. Задача наилучшего выбора : -М.: Наука, 1984- 196с.
7. Бусленко В.Н. Автоматизация имитационного моделирования сложных систем : Главная редакция физико-математической литературы изд-ва "Наука", -М., 1977, 240 с.
8. Бусленко Н.П. Моделирование сложных систем : Главная редакция физико-математической литературы изд-ва "Наука", -М., 1968, 356 с.
9. Н.Вагнер Г. Основы исследований операций : Пер. с англ. Том 1-3. -М.: Мир, 1972
10. Вагнер Г. Основы исследования операций. Том 1,2.- М.: Издательство "МИР", 1973.487 с.
11. Вентцель Е.С. Введение в исследование операции : -М. Советское Радио, 1964-388с.
12. Вентцель Е.С. Исследование операции: Задачи, принципы, методология : -М. Советское Радио, 2001 308с.
13. Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри : Под редакцией В.А. Непомнящего, Н.В. Шилова РАН Сибирское отделение Институт систем информатики имени А.П. Ершова -Новосибирск: 1998-139с.
14. Вилкас Э.И., Майминас Е.З. Решения: теория, информация, моделирование -М.: Радио и связь, 1981 328с. ил.
15. Вирт Н. Систематическое программирование: введение. Пер. с англ. М.:Мир, 1977-183с.
16. Воеводин В.В. Математические модели иметоды в параллельных процессах. М.:Наука, 1986-296с.ил.
17. Волкович B.JL, Волошин А.Ф., Горлова Т.М. и др. Методы и алгоритмы автоматизированного проектирования сложных систем управления. Киев : Наук. Думка, 1984. 216с.
18. Герасимов В.В., Курмышев Н.В. От университетского сайта к порталу. Что за этим скрывается. // Труды X Всероссийской научно-методической конференции "Телематика'2003"
19. Гарольд Э. Р. , Мине У. С. XML: Справочник : СПб: Символ-Плюс, 2001 -576 с.
20. Гнедко Б.В., Коваленко И.Н. Введение в теорию массового обслуживания. -М.:Наука, 1987-336с.ил.
21. Городилов В.В., Зыбарев Ю.М. Создание и развитие университетских информационных ресурсов: проблемы и направления их решения.138
22. Новые информационные технологии в университетском образовании. -Новосибирск: изд-во НИИ МИОО НГУ, 1995, с.211-214.
23. Готье Р. Руководство по операционной системе UNIX. Пер. с англ. -М.: Финансы и статистика, 1985-232с.
24. Дал У., Дейкстра Э., Хоор К. Структурное программирование. М.:Мир,1975-247с.
25. Дейв Энсор, Иен Стивенсон Oracle 8.'рекомендации разработчикам: Пер. с англ. К.: Издательская группа BHV, 1998, - 128 с.
26. Дейтел Г. Введение в операционные системы. Пер. с англ. —М.: Мир, 1987 Том 1,2
27. Джейсуол Н.К. Очереди с приоритетами. Пер. с англ. -М.:Мир, 1973-279с.ил.
28. Дорошенко А.Е. Математические модели и методы организации высокопроизводительных параллельных вычислений. Алгебродинамический подход. Киев: Наук. Думка, 2000- 176с.
29. Дубова Наталья. Системы управления производственной информацией. // Открытые системы №03/96
30. Евстигнеев В.А., Касьянов В.Н. Сводимые графы и граф-модели в программировании. -Новосибирск: Издательство ИДМИ, 1999-288с. ил.
31. И.Н. Альянах Моделирование вычислительных систем : -Д.: Машиностроение. Ленингр. Отд-ние, 1988. 223 с.
32. Иртегов Д.И. Операционные системы и системные вызовы. Метод, пособие. -Новосибирск, 2002-161 с.ил.
33. Йодан Э. Структурное проектирование и конструирование программ : Пер с англ. -М.: Издательство "МИР", 1979. 416 с.
34. Каплунов Д.А., Лисьих И.Г, Ловцкий К.Э. Использование схем данных при проектировании служб порталов. // Труды X Всероссийской научно-методической конференции "Телематика'2003"
35. Керниган Б., Пайк P. UNIX универсальная среда программирования. Пер. с англ. -М.:Финансы и статистика, 1999-303с.ил.
36. Керниган Б., Пайк Р. Практика программирования. Пер. с англ. -М.:Бином; СПб: Невский Диалект, 2001-380с.ил.
37. Керниган Б., Плоджер Ф. Элементы стиля программирования. Пер. с англ. -М.:Радио и связь, 1984, 158с.
38. Клейнрок Л. Вычислительные системы с очередями. Пер. с англ. -М.:Мир, 1979- бООс.ил.
39. Кнут Д. Искусство программирования. Пер. с англ. -М и др:Вильямс, 2000 Том 1,2,3
40. Котов В.Е. Сети Петри М. Наука, 1984.
41. Котов В.Е., Сабельфельд В.К. Теория схем программ. — М.: Наука. Гл. ред. Физ.-мат. Лит., 1991. 248 с.
42. Кристиан К. Введение в операционную систему UNIX (The UNIX operating system). Пер. с англ. M.: Финансы и статистика, 1985-318с.
43. Левин В.И. Структурно-логические методы исследования сложных систем с применением ЭВМ. — М.: Гл.ред.физ.-мат.лит., 1987.-304с.
44. Леоненков A.B. Самоучитель UML. СПб.: БХВ-Петербург, 2001. 304с.: ил.5 7.Леонтьева Е.А. Модели жизнедеятельности WWW-сервера. // Труды X Всероссийской научно-методической конференции "Телематика'2003"
45. Лескин A.A. и др. Сети Петри в моделировании и управлении -Л.: Наука Ленингр. Отделение, 1989-135с.
46. Либман Лени. Электронная коммерция: воздаяние за веру. // LAN/Журнал сетевых решений. №06/98
47. Лингер Р., Миллс X., Уитт Б. Теория и практика структурного программирования : Пер. с англ. -М.: Мир, 1982. 406 е., ил.
48. Липаев В.В. Качество программных средств. М.: Янус-К, 2002, 400 с.
49. Логические методы в программировании. Сб. науч. тр. Научный редактор Ю.Л. Ершов, С.С. Гончаров -Новосибирск, ИМ, 1987-161с.
50. Ломазова ИА. Анализ семантических свойств некоторых классов программ и сетей Петри. Диссертация на соискание ученой степени доктора физико-математических наук. Переславль-Залесский, 2001
51. Малашенко Ю.Е. Новикова Н.М. Модели неопределенности в многопользовательских сетях -М.: Эдиториал УРСС, 1999 159с. ил.
52. Манцивода A.B., Петухин В.А. Порталы, обработка структурированной информации и языки искусственного интеллекта. // Труды X Всероссийской научно-методической конференции "Телематика'2003"
53. Математические методы в исследовании операции. Сб. Статаей. -М.: издательство Московского университета, 1981 192с.
54. Месарович М., Мако Д., Такахара И. Теория иерархических многоуровневых систем : Пер. с англ. М: Издательство "МИР", 1973. 344 с.
55. Миронов Александр. Опыт разработки и продвижения комплексных ИС. // Открытые системы №02/98
56. Морган Майкл. Java 2. Руководство разработчика. : Пер. с англ. : Уч. Пос. — М.: Издательский дом "Вильяме", 2000. 720с.
57. Перегудов Ф.И., Тарасенко Ф.П. Основы системного анализа : Учеб. 2-е изд., доп. Томск: Изд-во НТЛ, 1997. - 396с., ил.
58. Петерсон Р. LINUX: руководство по операционной системе. Кмев: BHV, 1999 Том 1,2.
59. Питерсон Дж. Теория сетей Петри и моделирования систем: Пер. с англ. -М.: Мир, 1984. -264 е., ил.
60. Питтс Д. XML для профессионалов: W3C DOM, SAX, CSS, XSLT, DTD, XML Schemas, Xlink, Xpoiner, Xpath, электронная коммерция, BizTalk, B2B, SOAP, WAP, WML.: M: Мир,2002 444 с.
61. Проблемы спецификации и верификации параллельных систем. Сб. науч. тр. РАН, Сибирское отд-ние, Институт систем информатики им А.П. Ершова -Новосибирск: 1995 237с.
62. Пытьев Ю.П. Методы математического моделирования измерительно-вычислительных систем. -М.: Физматлит, 2002 — 383с. ил.
63. Развитие информационного общества в России. Том 1. Теория и практика: Сб. статей / под ред. Борисова Н.В., Хохлова Ю.Е. — СПб.: Изд-во С.-Петерб. Ун-та, 2001. 240 с.
64. Рассел Ч., Кроурорд Ш. UNIX и Linux: Книга ответов. Пер. с англ. СПб.: М.: Харьков: Минск: Питер, 1999-296с.ил.
65. Седжвик Роберт. Фундаментальные алгоритмы на С++. Пер. с англ.-Киев: ДиаСофт, 2001-687с.ил.
66. Симкин С., Бартлетт Н., Лесли А. Программирование на JAVA. Путеводитель: Пер. с англ. К.: НИПФ "ДиаСофт Лтд.", 1996 -736с.
67. Стандарты в проектах современных информационных систем. Сборник трудов 2 всероссийской практической конференции. М.:, Изд-во "Открытые Системы", 2002. 240 с.
68. Стивен Теллин, "Интранет и Адаптивные Инновации: переход от управления к координации в современных сетях", Jetinfo, № 21-22, 1996
69. Taxa Хэмди А. Введение в исследование операции : в 2-х книгах. Пер. с англ. -М.: Мир, 1985
70. Теория вычислений и языки спецификации. Сб. науч. тр. Научный редактор Ю.Л. Ершов, С.С. Гончаров -Новосибирск, ИМ, 1995-219с.
71. Технологические решения для электронной России. Специальный выпуск eRussia ФОРУМ. ¡Business новые решения для новой экономики номер 12 2001 г.
72. Тихонов А.Н., Абрамешин А.Е., Воронина Т.П., Иванников А.Д., Молчанова О.П. Управление современным образованием: социальные и экономические аспекты. Под ред. Тихонова А.Н. — М.: Вита-Пресс, 1998.-256с.
73. Тихонов А.Н., Иванников А.Д., Ижванов Ю.Л., Скуратов А.К., Булгаков М.В., Гридина Е.Г., Внотченко С.С. Методология построения порталов системы образования. // Труды X Всероссийской научно-методической конференции "Телематика'2003"
74. Трофимов С.А. Case-технологии: практическая работа в Rational Rose -М.: ЗАО "Издательство БИНОМ", 2001г. 272с.: ил.
75. Уэнди Боггс, Майкл Боггс UML и Rational Rose. Пер. с англ. — М. "Издательство Лори", 2000г. 580с.: ил.
76. Хорафас Д. Системы и моделирование : Пер. с англ. -М.: Мир, 1967 -419с. ил.
77. Чеботарев Валерий. Интегрированные системы управления предприятием: взгляд системного аналитика. // PCWeek №14(188),1999
78. Чернев С.П., Зыбарев Ю.М. "Спецификация функциональной модели информационного портала сетями Петри", ж. "Исследовано в России", 2003, http://zhurnal.aDe.relarn.ru/articles/2003/095.pdf
79. Чернев С.П., Серебрянский В.В. "Опыт реализации асимметричной схемы 1Р-маршрутизации на однонаправленных информационных каналах." // Материалы Всероссийской научно-методической конференции "Телематика-2000", Санкт-Петербург, 2000, с. 123-124
80. Чернев С.П. "Технологии создания корпоративных информационных порталов" // Материалы II Региональной конференции "ИНФОРМАЦИОННЫЕ НЕДРА КУЗБАССА 2003", КемГУ, Кемерово, 2003
81. Чернев С.П. "Информационные порталы и технологии их реализации", // Материалы Международной научно-методической конференции "НОВЫЕ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В УНИВЕРСИТЕТСКОМ ОБРАЗОВАНИИ", 2002, Кемерово, 2002, с225-226
82. Чернев С.П. "Служба контроля удаленного доступа к ресурсам" // Материалы Международной научно-практической конференции "Новые информационные технологии в университетском образовании", ИДМИ, Новосибирск, 1999.
83. Чернев С.П. "Отчет по теме "Исследование и отработка технологий создания информационных порталов на примере портала Югорского научно-образовательного комплекса". // Институт дискретной математики и информатики. Новосибирск, 2002г.
84. Черняк Леонид. "Корпоративный портал", http://kis.pcweek.rU/kis/win/techno/p.html
85. Черняк Леонид. Порталы и жизненные циклы : Журнал "Открытые системы", #02, 2002 год // Издательство "Открытые Системы" (www.osp.ru) Постоянный адрес статьи: http://www.osp.ru/os/2002/02/060.htm
86. Черняк Леонид. "Управление кораблем корпорации", журнал БОСС, 1997, № 1
87. Шеннон Р. Имитационное моделирование систем: искусство и наука.: Пер. с английского. М.: Издательство "МИР", 1978, - 418с.
88. Шоу А. Логическое проектирование операционных систем : Пер. с англ. — М.: Мир, 1981.-360 е., ил.
89. Электронное Правительство-2002. Каталог решений eGovernment.
90. Якоб Нильсен О персонализации веб-сайта // http://www.webmascon.com/development/16a.asp
91. Abhishek Singh, Jonathan Billington Creating an Internet Inter-ORB Protocol Service Specification // http://www.jrpit.flinders.edu.au/confpapers/CRPITV12Singh.pdf
92. Alfred Kobsa, Jurgen Koenemann, Wolfgang Pohl Personalised hypermedia presentation techniques for improving online customer relationships. The Knowledge Engineering Review, Vol. 16:2, 111-155. c 2001, Cambridge University Press
93. Bernard Berthomieu and Michel Diaz. Modelling and verification of Time Dependent Systems Using Time Petri Nets. IEEE Transactions on Software Engineering, 17(3): 259-273, 1991.
94. Braner W., Rezig W., Rozenberg G.Petri Nets: Central Models and Their Properties/Ed. Berlin a. o.: Springer-Verlag, 1987.
95. B. Murphy and T. Gant. Measuring system and software reliability using an automated data collection process. Quality and Reliability Engineering International Vol 11, 341-353 (1995).
96. Bruce Robertson, Val Sribar, "The Adaptive Enterprise: IT Infrastructure Strategies to Manage Change and Enable Growth". Intel Press, IT Best Practices Series, 2001
97. Cranefield S. UML and the Semantics Web // http://citeseer.nj.nec.com/correct/460249
98. David Reed, "The Law of the Pack". Harvard Business Review, 2000, February
99. Design/CPN Reference Manual for X-Windows // Meta Software Corporationhttp://www.daimi.au.dk/designCPN/man/Reference/Reference.All.pdf
100. Design/CPN Computer Tool for Coloured Petri Nets // http://www.daimi.au.dk/designCPN/
101. Erick Rivas. "Maximize Enterprise Portal ROI", KM World, 2001, July/August
102. Fuller, R and de Graaff, JJ, 1996, "Measuring user motivation from server log file" in Proceedings of the 'Designing for the Web: Empirical Studies' Microsoft Usability Group. http://www.microsoft.com/usability/webconf7fuller/fuller.htm
103. Jensen K. Coloured Petri Nets Berlin a. o.: Springer-Verlag, 1996.
104. J. Billington Many-sorted High-level Nets. Proceedings of the Third International Workshop on Petri Nets and Performance Models, Kyoto 1989, 166-179.
105. Henrik Hulgaard and Steven M. Burns. Efficient Timing Analysis of a Class of Petri Nets. In Computer Aided Verification 7th International Workshop CAV'95, vol. 939 of LNCS, 423-436, Springer-Verlag, 1995.
106. Hothi, J and Hall, W, 1998, "An evaluation of adapted hypermedia techniques using static user modelling" Proceedings of the 2nd Workshop on Adaptive Hypertext and Hypermedia at H YPERTEXT'98 45-55. http://wwwis.win.tue.nl/ah98/Hothi/Hothi.html
107. Louchka Popova. On Time Petri Nets. Journal Inform. Process. Cybern. EIK, 27(4): 227-244, 1991.
108. Michael Weber, Ekkart Kindler The Petri Net Markup Language // http://www.informatik.hu-berlin.de/top/pnml/download/PNMLLNCS.pdf
109. Michel S., Nikoludakis K., Reiher P., Zhang L. URL Forwarding and Compression in Adaptive Web Caching // http://citeseer.nj.nec.com/update/409834
110. Paolo Magrassi, Bill Rosser "The Productivity Paradox", Gartner Group European Symposium/Itxpo, 2001
111. Paolo Magrassi, Bill Rosser, "The Productivity Paradox". Gartner Group European Symposium/Itxpo, 2001
112. Peter Domokos, Daniel Varr An Open Visualization Framework for Metamodel-Based Modeling Languages // http://www.inf.mit.bme.hu/FTSRG/Publications/grabats2002.pdf
113. Peterson J.L. Petri Net Theory and the Modelling of Systems. Prentice-Hall, 1981.
114. Philip M. Merlin and David J. Farber. Recoverability of Communication Protocols Implications of a Theoretical Study. IEEE Transactions on Communications, 24(9): 1036-1043, 1976.
115. Ramchandani C. Analysis of Asynchronous Concurrent Systems by Petri Nets. Cambridge: MIT, 1974.
116. Reisig W. Petri Nets: An Introduction // EATCS Monographs on Theoretical Computer Science 1985. - Vol. 10.
117. Robert Papaj, Donald Burleson Oracle Database on the WEB. The Coriolis Group, Inc. 1997r. - 572c.: hji.
118. Steffen Staab, Alexander Maedche Knowledge Portals Ontologies at Work Institute AIFB, University of Karlsruhe, D-76128 Karlsruhe, Germany // http://www.aifb.uni-karlsruhe.deAVBS/sst/Research/Publications/ai-magazine-staab-maedche.pdf
119. Steven L. Tellen, "Intranets as Knowledge Management Systems basic concepts and definitions", 1997, http://www.dhs.vic.gov.au/phkb
120. Thomas M., Dahan M., Mueller K., Mock S. Application Portals: Practice and Experience // http://citeseer.nj.nec.com/cachedpage/457078/
121. Tokmakoff Andrew. " Modelling, Analysis and Prototyping of the ODP Trader using Coloured Petri Nets and Java" // A thesis submitted in total fulfilment of the requirements for the degree of Doctor of Philosophy. University of South Australia. 1998
122. Transaction Processing Performance Council // http://www.tpc.org/
123. Tuomas Aura and Johan Lilius. Time Processes for Time Petri Nets. 18th International Conference ICATPN'97, vol. 1248 of LNCS, 136-155, Springer-Verlag, 1997.
124. UML в кратком изложении. Применение стандартного языка объектного моделирования: Пер. с англ. М.: Мир, 1999. - 191с., ил.
Обратите внимание, представленные выше научные тексты размещены для ознакомления и получены посредством распознавания оригинальных текстов диссертаций (OCR). В связи с чем, в них могут содержаться ошибки, связанные с несовершенством алгоритмов распознавания. В PDF файлах диссертаций и авторефератов, которые мы доставляем, подобных ошибок нет.