Диссертация (1145120), страница 33
Текст из файла (страница 33)
Метод и язык детальноописаны в статьях [73], [74], [75], [76], [77], [78], [79], [80], [81], [316],[318], написанных в соавторстве. В работе [75] автору диссертационнойработы принадлежит идея использовать визуальное моделирование дляспецификации повторно используемых активов документации, предложение применить для этой цели Feature Diagrams, выполнение пилотных примеров использования языка. Соавтор разработал язык DRLв целом и выполнил его формальную спецификацию. Впоследствии автор модернизировал спецификацию DRL/GR, применив для этой целиграфическую грамматику языка SDL [285].
В [74] автору диссертационной работы принадлежат основные идеи DocLine: применение190управления вариативностью и метода адаптивного повторного использования Ерзабека-Бассета к документации линеек программных продуктов, использование предметно-ориентированного моделированиядля спецификации схемы повторного использования, а также применение в качестве DSM-платформы технологии GMF. Соавтору принадлежит идея идеального (сверху-вниз) процесса разработки документациии архитектура пакета инструментальных средств, а также разработка иформализация описания подхода в целом и программная реализация.
Вработах [76], [316] автору диссертационной работы принадлежит идеярефакторинга XML-документации и основных операций рефакторинга,соавторы формализовали операции рефакторинга и реализовали их всоставе инструментального пакета. В работе [79] автор предложилидею поиска клонов в документации, создал алгоритм поиска клоновна основе средств поиска клонов в программном обеспечении (SoftwareClone Detection). Им же были выполнены основные эксперименты иинтеграция результата поиска клонов с рефакторингом в Docline. Соавторы выполнили программную реализацию алгоритма. В работах [80],[318] автор предложил использовать DocLine не только для линеек программных продуктов, но также для произвольной технической документации ПО, и, кроме того, для различных стандартов в области ПО.Автор также выполнил основные эксперименты по поиску клонов дляразличных Java-проектов.
Соавторы выполнили улучшения алгоритмапоиска клонов, а также спроектировали и реализовали алгоритм поисканечётких клонов. В работах [77], [78] автору принадлежит идея методаавтоматического отслеживания изменений в пользовательской документации Web-приложений (WebMLDoc) и постановка задачи.
Соавторы выполнили формализацию метода и программную реализацию, атакже эксперименты. В [73] автору принадлежит метод обзора продуктов по управлению вариативности, выбор продуктов для исследования191и написание текста работы. Соавторы выполнили исследование попредложенному автором методу. В [81] автору принадлежит разработка архитектуры программных средств, соавтор выполнил детальноепроектирование функционала и реализацию. Модель КИТ-решения.
Первая версия модели была описана в [46].Следующая версия модели была опубликована в работе [64]. Авторупринадлежит постановка задачи, также он выполнил работы по разработке и формализации модели. Другие участники исследования предложиликлассификациюрабочихпродуктовпредметно-ориентированного решения, уточняли состав компонент модели и вместе с автором участвовали в апробации модели в проектах по разработке ИТ-архитектур. В данной диссертационной работе представлено переработанное и расширенное описание предложенной модели.1924.1.
FSS-метод формализации публичных/государственных услуг46Метод FSS (Formal Service Specification) является адаптацией модельноориентированного подхода разработки ПО к задаче по формализации государственных и публичных услуг с целью их последующей реализации в видеэлектронных сервисов и другого вида ПО.FSS-метод предназначен для использования в некоторой предметной области (например, в контексте русско-финского приграничного сотрудничестваили ЖКХ Санкт-Петербурга) для спецификации соответствующих формальных процедур. Предполагается, что основу данной предметной области составляют процедуры, которые имеют императивный, исполняемый характер.В рамках FSS-метода предполагается сначала строить онтологию для рассматриваемой предметной области, с тем чтобы зафиксировать и унифицировать все основные термины и понятия. Далее, основываясь на этой онтологии, для каждой услуги области создаётся поведенческая модель (нотацияBPMN [192]), а также иерархическая модель документов (диаграммы возможностей [297]) и информационная модель (с помощью XML).
При этомBPMN расширяется конструкцией инфоблок (InfoBlock), которая являетсяформатированным комментарием. Модель возможностей адаптируется дляописания вариативных пакетов документов: вводится понятие группы элементов и разные дополнительные типы узлов. На основе данных моделейпредполагается полуавтоматическая генерация Web-описания услуги с использованием определённых метафор Web-визуализации.
Последние предназначены для того, чтобы сделать разрабатываемый e-сервис максимально доступным для различных категорий граждан, в том числе и для тех, кто слабоориентируется в современных информационных технологиях. Такая метафора представляет собой схему фрагмента пользовательского интерфейса, которая поддержана соответствующим универсальным кодом, который, в свою46Материал данного раздела следует работам автора [46], [63].193очередь, параметризуется данными из предметной области.
Создание итогового кода производится специальным генератором, с помощью которогоможно создать несколько типовых фрагментов интерфейса для разных данных предметной области. Концепция метафор визуализации при автоматической разработке интерфейса программных систем разработана автором ипредставлена в работе [321]. Однако программная поддержка метафор в рамках FSS-метода не входит в рамки данного исследования.Схема метода представлена на рис. 4.1.Онтологияпредметной областиСпецификация сервисовМодель процессовЗаконы инормативныеактыМетафорыWebвизуализацииГенерацияМодельдокументовВнесениеизмененийЮристы иофициальныедолжностные лицаОписательная модельАналитикЦелевой Web-контентРазработчикиконтентаПользователисервисовРис.
4.1. Схема FSS-методаДля рассматриваемой предметной области идентифицируются все значимые законы и нормативные документы. Поскольку метод предназначаетсяне только для разработки электронных сервисов, но и для совершенствованиязаконодательства (разработка новых нормативных документов, в том числе вобласти государственных услуг, оказывается очень трудоёмкой деятельностью и сопровождается большим количеством ошибок и нестыковок), официальные должностные лица, которые являются авторами соответствующих194нормативных документов, также могут пользоваться методом и, в частности,принимать участие в составлении онтологии предметной области.
Крометого, в разработке онтологии участвуют специалисты, обозначенные нарис. 4.1 как Аналитики. Далее специалисты, обозначенные как контентменеджеры, создают основной контент данной предметной области в видемоделей. Основным средством спецификации FSS является поведенческаямодель. Эта модель предназначается для описания последовательности шаговзаявителя — от подготовки документов и их подачи до полного получениясамой услуги. С поведенческой моделью связывается модель документов, которая описывает весь пакет документов, задействованных в получении данной услуги — как те документы, которые заявитель сдаёт, так и те, которыеон получает.
Поведенческая модель и модель документов должны содержатьспециальные текстовые пояснения — расписание работы и адреса соответствующих учреждений, варианты цен на услуги и пр. Вся эта информация задаётся в описательной модели.Модели FSS-метода не предназначены для конечного пользователя, т. е.,например, не предполагается, что пошаговое описание формальных процедурс помощью поведенческой модели будет опубликовано на сайте: мой практический опыт показывает, что визуальные модели всё-таки трудны для восприятия неподготовленными людьми. Целевой Web-контент — Webинтерфейс разрабатываемого ПО, который может частично генерироватьсяавтоматически по созданным моделям при наличии соответствующих шаблонов — метафор Web-визуализации. Ниже приведено краткое описание основных компонент FSS-метода.Первым шагом при использовании FSS-метода является создание онтологии предметной области, которая должна зафиксировать все понятия и термины, используемые далее при моделировании соответствующих формальных процедур.
На рис. 4.2 представлена заготовка онтологии для типовой области, принадлежащей к сфере государственных услуг:195 организации, участвующие в формальных процедурах данной предметной области; заявители и получатели формальных процедур — различные категорииграждан и юридических лиц; законы и нормативно-правовые акты, положения, а также федеральные законы и т. д., регламентирующие данную предметную область состороны законодательства и организаций, участвующих в реализацииформальных процедур; документы, которые используются в формальных процедурах даннойпредметной области; результаты работы формальных процедур; терминология — различные понятия, термины и описания; например,для сферы жилищных услуг терминологией будут являться различныетипы жилья, виды льготных категорий граждан и соответствующихльгот.ОрганизацииПолучателиЗаявителиДокументыОнтологияпредметнойобластиТерминологияЗаконы инормативныеактыРезультатыРис.
4.2. Схема онтологии государственных услугПредполагается, что такая онтология должна быть создана для каждойпредметной области, где применяется данный метод. Пример такой онтоло-196гии представлен в работе [46] — там рассматривалась область русскофинских приграничных отношений.В рамках поведенческой модели создаётся пошаговое описание для каждойформальной процедуры рассматриваемой предметной области, причём подшагами подразумеваются действия пользователя, которые он должен выполнить, чтобы получить ожидаемый от данной процедуры результат. Нижеописывается пример поведенческой модели.Рассмотрим формальную процедуру (государственную услугу) по получению загранпаспорта в Едином Центре Документов (ЕЦД) в СанктПетербурге. Модель фрагмента этой процедуры, относящейся к подаче документов, представлена на рис. 4.3.