Пособие ТСиСА
.pdfввода кода авторизации; 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