Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Пособие ТСиСА

.pdf
Скачиваний:
78
Добавлен:
06.03.2016
Размер:
4.72 Mб
Скачать

ввода кода авторизации; t4 – проверка доступности суммы (сумма доступна); t 5 – проверка доступности суммы (сумма недоступна); t6 – проверка перевода средств с пластиковой карты клиента на но-

мер лицевого счета университета (перевод выполнен);

t7

– запрос

повторного набора суммы или номера лицевого счета;

t8

– провер-

ка перевода средств с пластиковой карты клиента на номер лицевого чета университета (перевод отклонен); t9 – выдача карты; t10 – проверка введенного кода авторизации (отрицательный результат).

8. Рассмотреть сеть Петри, которая моделирует общий принцип взаимодействия клиент-серверных веб-систем портала кафедры Автоматизированных систем управления (рис. 46).

Рассмотрим общую схему взаимодействия клиента и интернетприложения. Серверная сторона находится в состоянии ожидания до тех пор, пока от клиента не поступит запрос со стороны клиента, который обрабатывается, а результат возвращается на клиентскую сторону. Таким образом, взаимодействие клиент-серверных вебсистем начинается с инициализации соединения и отправки URLзапроса. В случае если клиентский запрос принимается на определенную статическую страницу, то серверное приложение, самостоятельно обслужив запрос, отправляет HTML-содержимое запрашиваемой страницы.

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

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

Опишем данное взаимодействие, используя аппарат сетей Петри, где переходы и позиции имеют следующий содержательный

100

смысл: P1 – изображение интернет-страницы, отображаемое пользо-

вателю

в окне браузера

для

следующего

шага взаимодействия;

P2 – отправка URL-запроса на сторону сервера; P3 – обработка сер-

верной

стороной запроса

от

клиента; P4

– поиск статической

HTML-страницы на стороне сервера; P5 – формирование изображения на основе HTML-разметки клиентской стороной; P6 – включение информационных объектов, предназначенных для дальнейшей интерпретации на стороне клиента; P7 – включение описания внешнего ви-

да документа, написанного с использованием языка разметки;

P8 – включение клиентских сценариев; P9 – отправка HTML-разметки

на сторону клиента; P10

выполнение действий, предусмотренных

серверным сценарием; P11

извлечение серверного сценария со сто-

роны сервера; P12 – обращение к дополнительным источниках хране-

ния информации; P13 – обращение к базе данных; P14 – обращение к различным файлам, например, XML; P15 – формирование ответа для клиента серверной стороной.

t1 – инициализация взаимодействия с клиентом; t2 – получение запроса серверной стороной; t3 – проверка присоединенных к запросу данных (клиентский запрос принимается на определенную статическую страницу); t4 – проверка присоединенных к запросу данных (клиентский запрос принимается на серверный сценарий); t5 – извлечение статической HTML-страницы на стороне сервера; t6 и t11 – проверка необходимости включения объектов, предназначенных для дальнейшей интерпретации на стороне клиента (объекты не обнаружены); t7 и t12 – проверка необходимости включения объектов, предназначенных для дальнейшей интерпретации на стороне клиента (объекты обнаружены); t8 и t13 – проверка успешного включения объектов; t9 – формирование изображения интернет-страницы, отображаемое пользователю браузером; t10 – получение серверного сценария на стороне сервера.

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

101

 

 

P8

 

t8

t7

 

 

P6

t9

 

P7

P9

t6

 

 

 

 

 

t3

P4

t5

P5

 

 

 

 

 

 

P1 t1

P2

t2

P3

 

 

 

 

 

 

t4

P10

t10

P11

 

 

 

 

 

 

 

P15

 

 

 

t11

 

 

 

 

 

 

 

 

P13

t13

t12

 

P12

 

P14

Рис. 46. Модель взаимодействия клиент-серверных веб-систем

9. Рассмотреть сеть Петри, которая описывает процесс поступления в университет (рис. 47).

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

Смысл состояний модели: P1 – абитуриент имеющий комплект документов для поступления в университет; P2 – принятие решения

102

о поступлении в первый университет; P3 – принятие решения о поступлении во второй университет; P4 – принятие решения о поступлении в третий университет; P5 – подача комплектов документов на участие в конкурсе на бюджетные места на первую специальность первого университета; P6 – предоставление комплекта документов на участие в конкурсе на бюджетные места на вторую специальность первого университета; P7 – предоставление комплекта документов на участие в конкурсе на бюджетные места на третью специальность первого университета; P8 – предоставление комплекта документов на места с оплатой стоимости обучения по договору на четвертую специальность первого университета; P9 – предоставление комплекта документов на участие в конкурсе на бюджетные места на первую специальность второго университета; P10– предоставление комплекта документов на участие в конкурсе на бюджетные места на вторую специальность второго университета; P11 – предоставление комплекта документов на участие в конкурсе на бюджетные места на третью специальность второго университета; P12 – предоставление комплекта

документов на места с оплатой

стоимости обучения по договору

на четвертую специальность второго университета; P13 – предостав-

ление комплекта документов на

участие в конкурсе на бюджетные

места на первую специальность третьего университета; P14– предоставление комплекта документов на участие в конкурсе на бюджетные места на вторую специальность третьего университета; P15 – предоставление комплекта документов на участие в конкурсе на бюджетные места на третью специальность третьего университета; P16 – предоставление комплекта документов на места с оплатой стоимости обучения по договору на четвертую специальность третьего университета; P17 – результаты зачисления для первого университета; P18 – результаты зачисления для второго университета; P19 – результаты зачисления для третьего университета; P20 – выбранный университет

и специальность для поступления

абитуриентом; P21 – заключение

договора на оплату стоимости обучения и оплата обучения; P22– ори-

гиналы документов абитуриента; P23 – заключение договора для обу-

чения на бюджетной основе; P24

– зачисление в университет абиту-

риента. Смысл переходов модели: t1 – выбор университета для поступления; t2 –– проверка комплекта документов приемной комиссией первого университета; t5–– проверка размещения на официальном

103

сайте первого университета или на информационном стенде приемной комиссии приказа о зачислении; t8–– обработка результатов приказов о зачислении абитуриентом; t9–– проверка оригиналов документов на обучение на бюджетное место приемной комиссией; t10

– проверка оригиналов и согласование договора на оплату стоимости обучения с приемной комиссией; t11–– зачисление на бюджетное место; t12–– зачисление по договору на оплату стоимости обучения.

10. Описать с помощью сети Петри процесс допуска к экзамену. В рассматриваемом процессе принимают участие четыре преподавателя и один студент. Преподаватели А, В и С принимают курсовую работу, а также лабораторные и практические работы, соответственно, а преподаватель D принимает экзамен. Для получения допуска к экзамену необходимо выполнить курсовую работу, защитить шесть лабораторных и пять практических работ. Пока все работы не будут защищены студентом, преподаватель D не может начать принятие экзамена.

11. Построить в виде сети Петри модель процесса зачисления на подготовительные курсы для поступления в вуз, используя при этом приблизительно следующие состояния системы.

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

104

t5

P5

P2

P1 t2 P6 P17

P7

t1

P8

t6

P3

 

P9

 

 

t3

P10

P18

 

 

 

P11

 

P12

 

 

 

 

t7

 

 

P13

P4

 

 

t4

P14

P19

 

 

 

P15

 

P16

 

 

t9

P21

t8

P24

P22

P20

t11

P23

Рис. 47. Сеть Петри, описывающая процесс поступления в университет

105

12.Построить в виде сети Петри модель процесса поступления

вуниверситет, используя при этом приблизительно следующие состояния системы.

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

о количестве поданных

заявлений,

прием оригиналов документов;

подготовка приказа о

зачислении;

объявление дополнительного

приема; организация дополнительного приема.

13. Построить в виде сети Петри модель процесса пользования библиотекой вуза.

Регистрация в отделе обслуживания учебной литературой; получение доступа к локальной сети УГАТУ; ввод аутентификационных данных пользователя; выполнение процедуры аутентификации на сайте библиотеки УГАТУ; выполнение процедуры авторизации на сайте библиотеки и получение соответствующих прав к доступу; выбор преподающей кафедры; выбор семестра; формирование отчета книгообеспеченности по преподающей кафедре; изменение выбранной преподающей кафедры; изменение выбранного семестра; выбор выпускающей кафедры; выбор семестра; формирование отчета книгообеспеченности по выпускающей кафедре; изменение выбранной выпускающей кафедры; ожидание полной загрузки данных; получение отчета книгообеспеченности по преподающей кафедре; изменение преподающей кафедры; выбор специальности; выбор семестра; получение отчета книгообеспеченности по выбранной специальности; изменение выбранной специальности; выбор дисциплины; получение отчета книгообеспеченности по выбранной дисциплине; изменение выбранной дисциплины; предварительный заказ литературы;

106

контроль исполнения заказа по номеру заказа или по дате заказа; получение заказанных книг.

14.Построить в виде сети Петри модель процесса выполнения курсовой работы, используя при этом приблизительно следующие состояния системы.

Выбор темы курсовой работы; одобрение темы курсовой работы; изменение темы; получение задания; выполнение задания; получение методических указаний для выполнения; консультация с преподавателем в соответствии с графиком выполнения курсовой работы; затруднения в процессе выполнения курсовой работы; работа

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

15.Построить в виде сети Петри модель принятия решения об обеде в столовой УГАТУ, используя при этом приблизительно следующие состояния системы.

Осознание голода; выбор зала; занятие очереди; выбор блюда; проверка наличия блюда; проверка наличия денег; переход к другому блюду; переход в другой зал; отказ от обеда; расчет с кассиром; выбор столовых приборов; выбор свободного стола и занятие стола; потребление пищи; принятие решения о покупке дополнительных блюд; принятие решения о передачи использованной посуды в моечную машину; передача использованной посуды в моечную машину; выход из столовой.

16.Построить в виде сети Петри модель процесса прохождения преддипломной практики студентом университета, используя при этом приблизительно следующие состояния системы.

Получение необходимой информации на собрании студентов перед началом практики; выбор предварительной темы дипломной работы; выбор предприятия (базы) для прохождения преддипломной практики; проверка базы практики на соответствие получаемой спе-

107

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

17. Построить в виде сети Петри модель процесса написания дипломной работы студентом вуза, используя при этом приблизительно следующие состояния системы.

Назначение руководителя из профессорско-преподавательского состава кафедры; согласование темы дипломной работы с руководителем; утверждение темы дипломной работы руководителем на заседании кафедры; правка темы дипломной работы на заседании кафедры; изучение методических указаний к написанию дипломной работы студентом; консультирование по проблематике работы; изменение темы дипломной работы; получение помощи в разработке теоретической и методологической базы исследования; подбор литературы; поиск информации; сбор данных; контроль работы по дипломной работе и ее соответствием утвержденному руководителем плану; обсуждение промежуточных результатов работы с руководителем; опубликование научных статей по теме работы; практическое применение результатов работы; проведение предварительной защиты результатов работы; получение замечаний; исправление замечаний; проведение предварительной защиты результатов работы повторно; подготовка заключения выполненной работы о соответствии (или несоответствии) требованиям к дипломным работам; назначение рецензентов; рецензирование дипломной работы; выставление оценки представленной работы рецензентом; подготовка развернутой письменной рецензии по установленной форме; подготовка отзыва руководителя дипломной работы; назначение государственной аттестационной комиссии (ГАК) приказом ректора университета; принятие решения о

108

допуске студента к защите заведующим кафедрой; представление секретарю ГАК необходимых документов для записи в комиссию; подготовка презентации; подготовка доклада; защита дипломной работы; получение студентом вопросов от членов ГАК, присутствующих на защите; выступление научного руководителя с отзывом на дипломную работу (или заслушивание отзыва); выступление рецензента с отзывом на дипломную работу (или заслушивание рецензии); ожидание объявления оценок комиссией; обсуждение комиссией результатов защит дипломных работ; принятие решения о присвоении выпускнику квалификации; объявление результатов.

18. Построить в виде сети Петри модель процесса отчисления студента из вуза, используя при этом приблизительно следующие состояния системы.

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

19. Построить в виде сети Петри модель процесса восстановления студента в вузе, используя при этом приблизительно следующие состояния системы.

Заявление студента на имя ректора; представление академической справки; представление диплома (справки) о неполном высшем образовании; определение ранее изученных дисциплин; рассмотрение документов руководством вуза; письменное заключение руково-

109