Главная  
  • Программы  
  • Методички  
  • Рефераты  
  • Дипломы  
  • Разное  
  • Фото  
  • Контакты  
  • Карта сайта  
  • Я:
    Найти:
    Возраст:
    -

    Автоматизация процессов, протекающих в общежитии. Спецификация требований

    HashFlare

    2.1 Моделирование прецедентов

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

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

    Прецедент Закрепление мебели за комнатой может расширить (<>) прецедент CRUD комнат. Первый прецедент не всегда расширяет последний. При создании комнаты Комендант может не знать какую мебель необходимо закрепить за комнатой. В этом случае подобное закрепление будет произведено позже, при заселении жильца. Отношение <> было установлено от прецедента Закрепление мебели за комнатой к прецеденту Поиск комнаты. Отношение <> означает, что первый из прецедентов всегда включает последний. Закрепление мебели за комнатой осуществимо только после нахождения комнаты, удовлетворяющей критериям запроса. Описательная спецификация каждого прецедента представлена в таблицах 2.1.1 - 2.1.13.


    Рисунок 2.1.1 - Диаграмма прецедентов

    Таблица 2.1.1 – Спецификация прецедента CRUD корпуса

    Прецедент

    CRUD корпуса

    Краткое описание

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

    Субъекты

    Администратор

    Предпосылки

    Пользователь имеет права администратора. Он точно знает всю необходимую информацию для создания и изменения корпусов общежития.

    Основной поток

    Главное окно программы разделено на два списка: древовидный список, в котором отображается информация о корпусах, комнатах, жильцах и список в котором отображается информация связанная с выделенным объектом первого списка. Для CRUD корпуса в древовидном списке выбирается корпус для редактирования или субъект, щелчком командной кнопки Корпус, вызывает определенную функцию в зависимости от действий которые будут произведены (CRUD). Одна из вызванных функций открывает окно Корпус. В поля открытой формы заносится вся необходимая информация: идентификатор, название, адрес, руководитель, количество жилых мест, количество этажей, количество жилых блоков, примечание Информация сохраняется.

    Альтернативные потоки

    У субъекта нет прав администратора, система не позволяет изменить информацию.

    При закрытии окна Корпус субъект отказался от сохранения изменений.

    Постусловия

    В древовидный список добавляется значок общежития. Название объектов раздела Корпус в древовидном вписке соответствует названию общежитий.

     

    Таблица 2.1.2 – Спецификация прецедента CRUD пользователей

    Прецедент

    CRUD пользователей

    Краткое описание

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

    Субъекты

    Администратор.

    Предпосылки

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

    Основной поток

    Для CRUD пользователей корпуса субъект, щелчком командной кнопки Пользователь, вызывает определенную функцию в зависимости от действий, которые будут произведены (CRUD). Одна из вызванных функций открывает окно Пользователь. В открытом окне субъекту предлагается CRUD пользователя: необходимо указать ФИО, членом какой группы является создаваемый пользователь (комендант, вахтёр, кастелянша). Система предоставляет возможность создать пользователя способного получить сведения относительно всей системы в целом (сотрудник ВУЗа). Для этого его необходимо CRUD в разделе Пользователи всей системы. Информация сохраняется.

    Альтернативные потоки

    У субъекта нет прав администратора, система не позволяет изменить информацию.

    При закрытии окна Пользователь субъект отказался от сохранения изменений.

    Необходимая информация не введена в окно Пользователь или введена неверно.

    Постусловия

    В системе фиксируется пользователь.

     

     

     

    Таблица 2.1.3 – Спецификация прецедента CRUD постельного белья

    Прецедент

    CRUD постельного белья

    Краткое описание

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

    Субъекты

    Комендант, Кастелянша

    Предпосылки

    CRUD постельного белья предполагает что корпус за которым будет закреплено бельё предварительно создан. В разделе Пользователи корпуса внесены субъекты Комендант и\или Кастелянша. Субъект выполняющий CRUD постельного белья обладает правами одного из данных субъектов.

    Основной поток

    Для CRUD постельного белья субъект, щелчком командной кнопки вызывая определенную функцию в зависимости от действий, которые будут произведены (CRUD). Одна из вызванных функций открывает окно Постельное бельё. В открытом окне субъекту предлагается CRUD постельное бельё, необходимо указать: наименование, количество. Информация сохраняется.

    Альтернативные потоки

    При закрытии окна Постельное бельё субъект отказался от сохранения изменений.

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

    Постусловия

    В системе фиксируется CRUD постельного белья закреплённого за определённым корпусом общежития

     

    Таблица 2.1.4 – Спецификация прецедента CRUD мебели

    Прецедент

    CRUD мебели

    Краткое описание

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

    Субъекты

    Комендант

    Предпосылки

    CRUD мебели предполагает что корпус за которым она будет закреплена создан предварительно. Субъект выполняющий CRUD мебели обладает правами Коменданта.

    Основной поток

    Для CRUD мебели, закреплённого за корпусом, субъект, щелчком командной кнопки вызывает определенную функцию в зависимости от действий которые будут произведены (CRUD). Одна из вызванных функций открывает окно Мебель. В открытом окне субъекту предлагается указать необходимую информацию: наименование, состояние, количество. Информация сохраняется.

    Альтернативные потоки

    У субъекта нет прав Коменданта, система не позволяет изменить информацию.

    При закрытии окна Мебель субъект отказался от сохранения изменений.

    Корпус не создан.

    Пользователи не созданы.

    Постусловия

    В системе фиксируется CRUD мебели закреплённой за определённым корпусом общежития.

     

    Таблица 2.1.5 – Спецификация прецедента CRUD комнаты

    Прецедент

    CRUD комнаты

    1

    2

    Краткое описание

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

    1

    2

    Субъекты

    Комендант

    Предпосылки

    CRUD комнаты предполагает что корпус за которым она будет закреплена создан предварительно. Субъект, выполняющий CRUD комнаты, обладает правами Коменданта.

    Основной поток

    Для CRUD комнаты субъект, щелчком командной кнопки вызывая определенную функцию в зависимости от действий которые будут произведены (CRUD). Одна из вызванных функций открывает окно Комната. В открытом окне субъекту предлагается указать необходимую информацию: номер комнаты, количество мест, состояние, принадлежность, примечание. При сохранении информации, система предлагает закрепить мебель за комнатой. Если субъект согласен это сделать, то система переходит к обработке прецедента Закрепление мебели за комнатой. При отказе, информация о комнате сохраняется без закрепления мебели.

    Альтернативные потоки

    У субъекта нет прав Коменданта, система не позволяет изменить информацию.

    Информационные поля не заполнены или введена неверная информация

    Постусловия

    В древовидный список добавляется значок комнаты. Название объектов раздела Комната в древовидном вписке соответствует наименованию комнат.

     

    Таблица 2.1.6 – Спецификация прецедента Поиск комнаты

    Прецедент

    Поиск комнаты

    Краткое описание

    Прецедент позволяет найти зарегистрированные в системе комнаты по заданным параметрам.

    Субъекты

    Комендант

    Предпосылки

    Поиск комнаты предполагает, что в системе субъектом Комендант предварительно были созданы комнаты.

    Основной поток

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

    Альтернативные потоки

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

    Не найдена ни одна комната. Система оповещает субъекта о том, что комнаты параметры, которых удовлетворяют заданным критериям поиска, в системе не зарегистрированы.

    Постусловия

    Для закрытия формы и возврата в главное окно программы вызывается функция Закрыть.

     

    Таблица 2.1.7 – Спецификация прецедента Заселение жильца

    Прецедент

    Заселение жильца

    1

    2

    Краткое описание

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

    Субъекты

    Комендант

    Предпосылки

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

    Основной поток

    Нажатие субъектом кнопки Заселение жильца активизирует функцию, которая открывает форму Заселение жильца. Форма содержит список жильцов заселяемых в комнату. Нажатие кнопку Добавить активизирует форма Жилец которая содержит сведения: принадлежность жильца к группе (студент, гость, сотрудник ВУЗа), ФИО, факультет, группа, специальность, курс, паспортные данные, должность и подразделение (если жилец-сотрудник ВУЗа). Система позволяет добавить сразу нескольких жильцов в список. Кнопка ОК формы Заселение жильца неактивна. Субъект нажатием кнопки Заселить в комнату открывает форму Поиск комнаты и переходит к выполнению прецедента Поиск комнаты. Проверяется условие закрепления мебели за выбранной комнатой. Идентификатор комнаты получен. Кнопка ОК активна. Субъект нажатием на данную кнопку завершает прецедент.

     

    Продолжение таблицы 2.1.7

    1

    2

    Альтернативные потоки

    Не добавлен ни один жилец, вселяемый в комнату.

    Не найдена комната для вселения жильцов.

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

    Постусловия

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

     

    Таблица 2.1.8 – Спецификация прецедента Закрепление мебели за комнатой

    Прецедент

    Закрепление мебели за комнатой

    1

    2

    Краткое описание

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

    Субъекты

    Комендант

    Предпосылки

    Создан корпус общежития. Создана комната, за которой должна быть закреплена мебель. Создан фонд мебели общежития.

     

    Продолжение таблицы 2.1.8

    1

    2

    Основной поток

    Для закрепления мебели за комнатой, при выделенной комнате субъект, щелчком командной кнопки, вызывает функцию Закрепить мебель за комнатой. Эта функция инициирует выполнение прецедента Поиск комнаты (данный поиск должен быть выполнен, в случае если рассматриваемый прецедент был инициирован субъектом, а недопонял прецедент Заселение жильца). После удачного поиска комнаты прецедент может быть продолжен. Открытая форма Закрепление мебели за комнатой содержит список всей мебели имеющейся в фонде общежития. Система предоставляет возможность выбрать из этого списка закрепляемую мебель, а также указать её количество.

    Альтернативные потоки

    Субъект не подтвердил закрепление мебели за комнатой. В этом случаи изменения не сохраняются.

    Не найдена комната для закрепления мебели. Выполнение прецедента невозможно.

    Постусловия

    В системе фиксируется закрепление мебели за выбранной комнатой.

     

    Таблица 2.1.9 – Спецификация прецедента Поиск жильца

    Прецедент

    Поиск жильца

    1

    2

    Краткое описание

    Прецедент позволяет найти зарегистрированных в системе жильцов по заданным параметрам.

    Субъекты

    Комендант, Вахтёр, Кастелянша.

    1

    2

    Предпосылки

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

    Основной поток

    Нажатие на кнопку Поиск жильца активизирует функцию, которая открывает форму поиска. В открывшейся форме система предлагает субъекту задать параметры, по которым будет осуществлен поиск: принадлежность к группе (расширяет рамки поиска); студент: ФИО, факультет, группа, специальность, курс, номер комнаты; гость: ФИО, номер комнаты; сотрудник ВУЗа: ФИО, должность, подразделение. Субъект вызывает функцию, которая сравнивает параметры всех зарегистрированных в системе жильцов с параметрами поиска. Окно Поиск жильца содержит список, в который вносится информация о найденных жильцах.

    Альтернативные потоки

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

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

    Постусловия

    Для закрытия формы и возврата в главное окно программы вызывается функция Закрыть.

     

    Таблица 2.1.10 – Спецификация прецедента Выселение жильца

    Прецедент

    Выселение жильца

    1

    2

    Краткое описание

    Прецедент позволяет выселить жильца из комнаты.

    Субъекты

    Комендант

    1

    2

    Предпосылки

    Создан корпус общежития. Создана комната и в неё поселён жилец.

    Основной поток

    Нажатие субъектом кнопки Выселение жильца активизирует функцию, которая открывает форму Поиск жильца. Управление текущим процессом переходит к прецеденту Поиск жильца. После удачного поиска в списке найденных жильцов выбирается один жилец. Форма Поиск жильца закрывается. Прецедент заканчивается если за комнатой, из которой был выселен жилец, закреплены другие жильцы. В противном случае, система предлагает удалить закрепленную за комнатой мебель. Если субъект согласен, система переходит в состояние выполнение прецедента Удаление закрепленной за комнатой мебели. Выселение жильца завершится удачно и в случае отказа субъекта на выполнение удаления.

    Альтернативные потоки

    Поиск жильцов не принес результатов.

     

    Постусловия

    Система фиксирует выселение жильца.

     

    Таблица 2.1.11 – Спецификация прецедента Удаление закрепленной мебели

    Прецедент

    Удаление закрепленной мебели

    1

    2

    Краткое описание

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

    Субъекты

    Комендант

    1

    2

    Предпосылки

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

    Основной поток

    Для удаления закрепленной за комнатой мебели субъект вызывает функцию Удалить мебель. Эта функция инициирует выполнение прецедента Поиск комнаты (данный поиск должен быть выполнен, в случае если рассматриваемый прецедент был инициирован субъектом, а недопонял прецедент Выселение жильца). После удачного поиска комнаты прецедент может быть продолжен. Открытая форма Удаление закрепленной за комнатой мебели содержит список всей мебели закрепленной за комнатой. Система предоставляет возможность выбрать удаляемую мебель или удалить все.

    Альтернативные потоки

    Субъект не подтвердил удаление мебели. В этом случаи изменения не сохраняются.

    Не найдена комната для удаления мебели. Выполнение прецедента невозможно.

    Постусловия

    В списке мебели выбранной комнаты удаляется выбранная мебель.

     

    Таблица 2.1.12 – Спецификация прецедента Выдача\прием постельного белья

    Прецедент

    Выдача\прием постельного белья

    1

    2

    Краткое описание

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

    Субъекты

    Кастелянша

    1

    2

    Предпосылки

    Создан корпус общежития. Создан фонд постельного белья. В системе зарегистрированы жильцы.

    Основной поток

    Для создания новой записи учета постельного белья закрепленного за жильцом субъект вызывает функцию Выдача\прием постельного белья. Эта функция инициирует выполнение прецедента Поиск жильца. После удачного поиска прецедент может быть продолжен. Открытая форма Выдача\прием постельного белья содержит список всех единиц белья закрепленных за жильцом по форме: дата выдачи, наименование, количество, дата сдачи. Система предоставляет возможность выбрать сдаваемое белье (удалив таким образом его из списка закрепленного за жильцом постельного белья), или добавить к этому списку новую единицу белья.

    Альтернативные потоки

    Субъект не подтвердил удаление закрепленного белья или добавление нового. В этом случаи изменения не сохраняются.

    Не найден жилец для выдачи\приема белья. Выполнение прецедента невозможно. Возможно пользователь не зарегистрирован в системе.

    Постусловия

    В древовидном списке в разделе Жилец, удаляются\добавляются значки постельного белья.

    Таблица 2.1.13 – Спецификация прецедента Убытие\прибытие жильцов

    Прецедент

    Убытие\прибытие жильцов.

    Краткое описание

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

    Субъекты

    Вахтер

    Предпосылки

    Создан корпус общежития. В системе зарегистрированы жильцы.

    Основной поток

    Для фиксирования информации о Убытие\прибытие жильцов субъект вызывает функцию, которая инициирует выполнение прецедента Поиск жильца. После удачного поиска прецедент может быть продолжен. Открытая форма Убытие\прибытие жильцов  содержит список отсутствующих жильцов. При убытии жильца субъект добавляет об этом запись: дата убытия, ФИО, номер комнаты, примечание. Если же необходимо зафиксировать прибытие, субъект выбирает из списка отсутствующих жильцов того, кто приехал в общежитие. Дата прибытия заполняется автоматически.

    Альтернативные потоки

    Субъект не подтвердил удаление закрепленного белья или добавление нового. В этом случаи изменения не сохраняются.

    Не найден жилец для выдачи\приема белья. Выполнение прецедента невозможно. Возможно пользователь не зарегистрирован в системе.

    Постусловия

    В древовидном списке в разделе Жилец, удаляются\добавляются значки постельного белья.



    Содержание


    © Copyright 2006-2017. Все права защищены. Сайт бесплатно.