Помощь в написании студенческих работ
Антистрессовый сервис

Специальное математическое и программное обеспечение минимизации межинтерфейсных потерь при многофазном проектировании

ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

В соответствии с задачей повышения эффективности системы разработки специальных многокомпонентных программных комплексов (системы управления специальной связью, производственные системы и т. п.) необходимо решить, что эффективнее для повышения качества на каждом этапе функционирования и цепочки исполнения принятых решений, что позволяет определить не только фокус финансирования и его пути… Читать ещё >

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

Содержание

  • 1. Проблемы создания математического и программного обеспечения минимизации межинтерфейсных потерь при многофазной разработке информационных систем
    • 1. 1. Системный анализ проблемы повышения качества проектирования специального математического и программного обеспечения систем управления связью
    • 1. 2. Процесс разработки математического и программного обеспечения системы управления как вероятностная многофазная система
    • 1. 3. Анализ подходов к постановке и решению задач оптимизации многофазных систем
    • 1. 4. Постановка задач работы
  • 2. Моделирование и алгоритмизация повышения качества проектирования специального математического и программного обеспечения в многофазных системах разработки
    • 2. 1. Проблема оценки качества разработки математического и программного обеспечения
    • 2. 2. Оценка качества многофазного процесса разработки программного обеспечения при непрерывных функциях отклика
    • 2. 3. Оценка качества многофазного процесса разработки программного обеспечения при дискретных функциях отклика
    • 2. 4. Оптимизационная задача оперативного управления качеством процесса многофазной разработки программного обеспечения
    • 2. 5. Выводы
  • 3. Исследование задачи минимизации потерь при разработке программных систем с последовательным соединением интерфейсов
    • 3. 1. Формализация задачи минимизации потерь при последовательном соединении программных интерфейсов
      • 3. 1. 1. Множественность интерфейсов
      • 3. 1. 2. Согласование интерфейсов
      • 3. 1. 3. Маршрутизация интерфейсов
      • 3. 1. 4. Математические основы решения проблемы потерь при согласовании интерфейсов
    • 3. 2. Лингвистические компоненты и алгоритмизация задачи последовательного соединения программных интерфейсов с минимизацией потерь
      • 3. 2. 1. Оптимальное объединение модулей в цепочку
      • 3. 2. 2. Значения литералов и дизъюнктов
      • 3. 2. 3. Анализ редукции
      • 3. 2. 4. «Жадный» алгоритм
    • 3. 3. Алгоритмы и NP-полнота задачи минимизации потерь в последовательности программных интерфейсов
      • 3. 3. 1. Сеть модулей с возможностей потери
      • 3. 3. 2. Минимизация количества модулей
      • 3. 3. 3. Варианты исследования
    • 3. 4. Выводы
  • 4. Реализация механизмов оценки качества многофазного процесса разработки специального программного обеспечения
    • 4. 1. Система оценки качества многофазного процесса разработки специального программного обеспечения при дискретных функциях отклика
    • 4. 2. Информационное обеспечение многофазнной системы контроля и управления предпроизводственной стадией проектирования программных компонент управления связью
      • 4. 2. 1. Алгоритмические свойства системы
      • 4. 2. 2. Структура базы данных
    • 4. 3. Контроль и управление предпроизводственной стадией проектирования программных компонент систем управления связью
      • 4. 3. 1. Назначение и возможности программного комплекса
      • 4. 3. 2. Структура программного комплекса
      • 4. 3. 3. Схема взаимодействия модулей, сервера, базы данных и пользователей
    • 4. 4. Выводы
  • Основные результаты работы

Актуальность темы

.

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

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

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

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

Тематика диссертационной работы соответствует научному направлению ФГБОУ ВПО «Воронежский государственный технический университет» «Вычислительные комплексы и проблемно-ориентированные системы управления».

Цель и задачи исследования

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

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

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

Тематика работы соответствует п. 1 «Модели, методы и алгоритмы проектирования и анализа программ и программных систем .» и п. 3 «Модели, методы, алгоритмы, языки и программные инструменты для организации взаимодействия программ и программных систем» паспорта специальности 05.13.11 — «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».

Научная новизна работы. К результатам работы, отличающимся научной новизной, относятся: представление системы разработки как конвейерной системы, обеспечивающее возможность раздельного влияния на составляющие процесса разработки, отличаясь учетом приоритетности фаз системы на каждый временной периодоптимизационная задача оперативного управления качеством многофазной разработки интерфейсов программных систем, основанная на концепции вероятностного управления, отличающаяся многоуровневым характером постановки задачи и обеспечивающая возможность учета эффективности воздействия на качество разработкитеоретико-множественная модель последовательностей взаимодействующих интерфейсных модулей, отличающаяся применением матриц метода и векторов метода доступности, использующаяся для анализа потерь и разработки алгоритма поиска таких последовательностей. эвристический алгоритм оценки качества многофазного процесса разработки специального программного обеспечения при дискретных функциях отклика, основанный на методе ветвей и границ и обеспечивающий сокращение числа итераций на каждом этапе работы за счет выбора мероприятия, обладающего наименьшей стоимостью. структура многофазной информационной системы контроля и управления предпроизводственной стадией проектирования программных компонент управления связью, использующей Интранет-технологию и позволяющей разделить всю работу на неограниченное количество фаз с разграничением задач между должностями или специализациями.

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

Компоненты математического и программного обеспечения прошли государственную регистрацию в ФГНУ «Центр информационных технологий и систем органов исполнительной власти».

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

Апробация работы. Основные положения и результаты диссертационной работы докладывались на следующих научных конференциях и семинарах: XVI Международной открытой научной конференции «Современные проблемы информатизации в экономике и обеспечении безопасности» (Воронеж, 2011), Всероссийской научно-практической конференции «Новые технологии в научных исследованиях, проектировании, управлении, производстве» (Воронеж, 2010), ХУ-ХУП Международной открытой научной конференции «Современные проблемы информатизации в анализе и синтезе технологических и программно-телекоммуникационных систем» (Воронеж, 2010;2012), XVII Всероссийской научно-методической конференции «Телематика'2010» (Санкт-Петербург, 2010), XVII Международной открытой научной конференции «Современные проблемы информатизации в моделировании и социальных технологиях» (Воронеж, 2012), II Международной научно-практической конференции «Объектные системы -2010» (Ростов-на-Дону, 2010), Всероссийской конференции «Критические технологии вычислительных и информационных систем» (Воронеж, 2011), а также на научных семинарах кафедры автоматизированных и вычислительных систем ФГБОУ ВПО ВГТУ (Воронеж, 2010;2012).

Публикации. По результатам исследований опубликовано 20 научных работ, в том числе 3 — в изданиях, рекомендованных ВАК РФ. В работах, опубликованных в соавторстве и приведенных в конце автореферата, лично соискателем предложены: в [4, 5, 9, 11] - представление системы разработки как конвейерной системы, ее анализ и оптимизация- [6, 7, 8] -оптимизационная задача оперативного управления качеством многофазной разработки интерфейсов программных системв [1, 12, 13, 14, 20] - теоретико-множественная модель последовательностей взаимодействующих интерфейсных модулейв [15, 19] - эвристический алгоритм оценки качества многофазного процесса разработки специального программного обеспечения и его реализацияв [2, 17, 18] - математическое и программное обеспечение многофазной информационной системы контроля и управления предпроизводственной стадией проектирования программных компонент управления связью.

Структура и объем работы. Диссертационная работа состоит из введения, четырех глав, заключения, списка литературы из 105 наименований. Основная часть работы изложена на 162 страницах, содержит 45 рисунков, 36 таблиц.

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ.

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

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

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

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

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

6. Компоненты математического и программного обеспечения прошли государственную регистрацию в ФГНУ «Центр информационных технологий и систем органов исполнительной власти».

Показать весь текст

Список литературы

  1. О.И., Гурин H.H., Коган Я. А. Оценка качества и оптимизация вычислительных систем. М.: Наука, 1982.
  2. О.В., Говорский А. Э., Тебекин Ю. Б., Кравец О. Я. К постановке задачи оптимизации проектирования систем специальной связи// Информационные технологии моделирования и управления, 2009. № 7 (59). С. 945−948.
  3. И.Л. Математическое программирование в задачах и упражнениях. М.: Высшая школа, 1993.
  4. Анализ и синтез сложных технических систем. В 2-х ч., ч.1. М.: Воениздат, 1995.-401 с.
  5. Архитектура сети для разработки предложений: пер. с англ. -Киев: Крещатик, 1992. 240 с.
  6. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. В 2-х томах. М.: Мир. 1978.
  7. . Архитектура вычислительных комплексов. Том 1. М.: Мир, 1974.
  8. Ю.Бесслер Р., Дойч А. Проектирование сетей связи. М: Радио и связь, 1988. 272 с.
  9. П.Булгак, В. Б. Электрическая связь сегодня и завтра // 100 лет радио: Сб. статей / под ред. В. В. Мигулина. М.: Радио и связь, 1995.
  10. А.Г., Глущенко В. В. Системы управления: исследование и компьютерное проектирование: Учебное пособие / А. Г. Варжапетян, В. В. Глущенко. -М.: Вузовская книга, 2005. -328 с.
  11. Е.С. Исследование операций. М: Советское радио, 1972.552 с.
  12. А.Э., Кравец О. Я., Соляник A.A., Тебекин Ю. Б. Особенности управления потоками нестационарного трафика в корпоративных системах территориального мониторинга// Системы управления и информационные технологии, 2010. № 2 (40). С. 76−81.
  13. А.Э., Тебекин Ю. Б. Формализация задачи минимизации потерь при последовательном соединении программных интерфейсов// Информационные технологии моделирования и управления, № 2(67), 2011. -С. 170−179.
  14. А.Э., Тебекин Ю. Б., Кравец О. Я. Проблемы объединения интерфейсных модулей с потерями при согласовании в цепочки// Критические технологии вычислительных и информационных систем: Сб. тр. -Воронеж: МИКТ, 2011. С. 120−126.
  15. В.А., Ушаков И. А. Исследование операций. М.: Машиностроение, 1986.
  16. И.В., Хабаров А. Ю. Многофакторное оценивание проводной сети электросвязи и анализ эффективности ее использования // Радиоэлектроника и информатика. 2003. — № 2(23). — С. 112−119.
  17. И.В., Хабаров А. Ю. Моделирование влияния внешнейсреды на эффективность плана выполнения работ // Системи обробки ш-формаци. 2003. — № 6. — С. 38−47.
  18. И.В., Хабаров А. Ю. Модель задачи эффективного планирования работ на заданный период // АСУ и приборы автоматики. -2003.-№ 123.-С. 44−53.
  19. И.В., Хабаров А. Ю. Оптимизация пути соединения двух точек проводной сети электросвязи // АСУ и приборы автоматики. -2002.-№ 120.-С. 38−44.
  20. И.В., Хабаров А. Ю. Оптимизация пути соединения двух точек проводной сети электросвязи // АСУи приборы автоматики, 2002, № 120, с. 38−44.
  21. И.В., Хабаров А. Ю. Оценка эффективности функционирования линии проводной электросвязи // Системи обробки шформаци. -2002.-№ 6(22).-С. 181−186.
  22. И.И., Верник С. М. Линии связи. М: Радио и Связь, 1988.543с.
  23. С.А., Драмашко И. А., Кокорин А. Б., Коломоец В. В., Хабаров А. Ю. Статистический регрессионный анализ БД АСУ учета линейных сооружений сети основа для принятия управленческих решений // Зв’язок. — 2001. — № 2. — С. 59−64.
  24. Э.Г. Исследование операций. М. Высш. школа, 1990.28.3айченко Ю.П., Гонта Ю. В. Структурная оптимизация сетей ЭВМ.1. К: Техннса, 1986. 168 с.
  25. Имитационное моделирование производственных систем / Под общ. ред. чл. кор. АН СССР A.A. Вавилова. М.: Машиностроение- Берлин: Техника, 1983. — 416 с.: ил.
  26. Инженерно-технический справочник по электросвязи: Кабельные и воздушные линии связи. М: Связь, 1966. 560 с.
  27. М. Математические методы оптимизации и экономическая теория. М.: Прогресс, 1975.
  28. , A. M. Развитие Взаимоувязанной сети связи России до 2005 года. М.: Вестник связи, 1996. — № 3.
  29. A.A., Финкелынтейн Ю. Ю. Приближенные методы дискретного программирования. // Изв. АН СССР: Техн. Кибернетика, 1963, № 1. С. 165−176.
  30. Ю.А., Пащенко М. Г. Лагранжевы релаксации для задачи выбора оптимального состава системы технических средств. Управляемые системы т.31 (1993), с.26−39.
  31. О.Я., Тебекин Ю. Б. Программный модуль «Минимизация потерь многофазных программных интерфейсов». М.: ФГНУ ЦИТИС, 2011. — № госрегистрации 50 201 151 282 от 13.10.2011.
  32. A.B. Справочник по экономико-математическим моделям и методам. К: Техника, 1982. 208 с.
  33. Л.А., Бурцев В. Д. // Изв. вуз. Черная металлургия. 1998. № 11. С.56−62
  34. О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. М.: Энергоатомиздат. 1988.
  35. A.B. Автоматизация процессов управления на машиностроительном предприятии: учеб.пособие. Воронеж / ГОУВПО «Воронежский государственный технический университет», 2008, 4.1 — 212 с.
  36. А.Д., Кравец О. Я., Абсатаров P.A. Управление распределенными организационными системами на основе вероятностного подхода к оценке качества // Информационные технологии моделирования и управления. Межд. сб. науч. трудов. Вып. 15. 2004, с.76−82.
  37. , А. А. Основы общей теории систем. Часть 1 / А. А. Попов, И. М. Телушкин, С. И. Бушуев. Л.: ВАС, 1992.
  38. Г., Рейвиндран А., Рэгсдел К.Оптимизация в технике. В 2-х кн. М: Мир, 1986. Кн. 2, 1986. 320 с.
  39. Системное проектирование интегрированных программных комплексов. / Под ред. В. М. Пономарева. Л.: Машиностроение, 1996. — 336 с.
  40. Ю.Б. Алгоритмы и NP-полнота задачи минимизации потерь в последовательности программных интерфейсов// Информационные технологии моделирования и управления, 2011. № 6 (71). С. 682−688.
  41. Ю.Б. Анализ потерь при последовательном соединении программных интерфейсов// Системы управления и информационные технологии, № 3.2(45), 2011. С. 289−292.
  42. Ю.Б., Кравец О. Я. Лингвистические компоненты и алгоритмизации задачи последовательного соединения программных интерфейсов с минимизацией потерь// Информационные технологии моделирования и управления, 2011. № 5 (70). С. 557−565.
  43. Ю.Б., Кравец О. Я., Говорский А. Э. Программный модуль «Программная оптимизация управления качеством многокомпонентных систем». М.: ФГНУ ЦИТИС, 2010. — № госрегистрации 50 201 001 622 от 03.11.2010.
  44. Федеральный закон «О связи» // Собрание законодательства Российской Федерации / ФЗ № 15, 1995.
  45. А.Ю. Задача рационального планирования работ на период: модель и методы решения // Материалы 7-го Международного молодежного форума «Радиоэлектроника и молодежь в XXI веке». X.: ХНУРЭ. — 22−24 апреля 2003 г. — С. 309.
  46. A.A. Логическое управление. Методы аппаратной и программной реализации. СПб.: Наука, 2000. — 780 с.
  47. А.А. Новая инициатива в программировании. Движение за открытую проектную документацию //Мир компьютерной автоматизации. 2003. -№ 5. — С.67−71.
  48. А.А. Программная реализация управляющих автоматов// Судостроительная промышленность. Сер. «Автоматика и телемеханика». 1991. Вып. 13, с. 41−42.
  49. Р. Имитационное моделирование систем искусство и наука. — М.: Мир, 1988. — 634 с.
  50. Е. В. Чхартишвили А.Г. Математические методы и модели в управлении: Учебник для ВУЗов. М.: Дело, 2000.
  51. . Психология программирования. М.: Радио и связь. 1984.
  52. Bensalem Saddek, Ganesh Vijay, Lakhnech Yassine, et al. An overview of SAL. In C. Michael Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187−196, Hampton, VA, jun 2000. NASA Langley Research Center.
  53. Browne M.C., Clarke E.M., Grumberg O. Characterizing finite Kripke structures in Propositional temporal logic. Theoretical Computer Science, 59(1,2):115−131, 1988.
  54. Chung Y., Lee D. Mathematical basis for the chaining of lossy interface adapters. http://arxiv.org/abs/0901.4835.
  55. Cook S.A. The complexity of theorem-proving procedures// In Proc. Of the Third Annual ACM Symp. On Theory of Computing, p. 151−158. ACM Press, 1971.
  56. Crampin M., Pirani F.A.E. Applicable Differential Geometry, chapter0, p.5−7. Number 59 in London Mathematical Society Lecture Note Series. Cambridge University Press, March 1987.
  57. Dorigo M. Optimization, Learning and Natural Algorithms. PhD thesis, Dipartimento di Electronica. Politecnico di Milano, 1992.
  58. Dorigo M., Caro G., Gambardella L. Ant Algorithms for Discrete Optimization. //Artificial Life, v.5, 1999, # 3.
  59. Dowlingand W.F., Gallier J.H. Linear-time algorithms for testing the satisfiability of propositional Hornformulae// Journal of Logic Programming, l (3):267−284, Oct. 1984.
  60. Eberhart, R. C., and Kennedy, J. A New Optimizer Using Particles Swarm Theory, Proc. Sixth International Symposium on Micro Machine and Human Science. // IEEE Service Center, Piscataway, 1995.
  61. Eberhart, R. C., Dobbins, R. W., and Simpson, P. Computational Intelligence PC Tools. Boston: Academic Press, 1996.
  62. Fisher M.L. The Lagrangian relaxation method for solving integer programming problems. Management Science, v27 (1981), pp 1−18.
  63. Gamma E., Helm R., Johnson R., Vlissides J.M. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, November 1994.
  64. Garey M.R., Johnson D.S. Computers and Intractability: A Guide to the Theory ofNP-Completeness.- W. H Freemanand Company, 1979.
  65. Gawlick R., Segala R., Sogaard-Andersen J.F., Lynch N.A. Liveness in timed and untimed systems. Technical ReportMIT/LCS/TR-587, Laboratory for Computer Science, MIT, Cambridge, MA, December 1993.
  66. Gilbert W. Stewart. Matrix Algorithms: Basic Decompositions, chapter 1, page 46. Society for Industrial and Applied Mathematics, 1998.
  67. Ginzburg A. Algebraic Theory of Automata. Academic Press, New York-London, 1968.
  68. Glabbeek R.J., Weijland W.P. Branching time and abstraction in bisimulation semantics. Journal of the ACM, 43(3):555−600, 1996.
  69. Goldberg, D. E. Genetic Algorithms in Search, Optimization, and Machine Learning. Addison-Welsey, 1989.
  70. Grioen W.O.D. Studies in Computer Aided Verification of Protocols. PhD thesis, University of Nijmegen, May 2000. Postscript and PVS sources available via http://www.cs.kun.nl/ita/former members/davidg/.
  71. Gschwind T. Type based adaptation: An adaptation approach for dynamic distributed systems// Proc. Of the Third Int. Workshop on Software Engineering and Middleware, vol. 2596 of Lecture Notes in Computer Science, p. 130−143, May 2002.
  72. Helsgann K. An effective implementation of the Lin-Kernighan traveling salesman heuristic. European Journal of Operational Research. vl26 (2000), pp 106−130.
  73. Kaminski P., Litoiu M., Muller H. A design technique for evolving webservices. In Proc. of the 2006 Conf. of the Center for Advanced Studieson Collaborative Research, Toronto, Ontario, Canada, October 2006. ACM Press.
  74. Ponnekanti S.R., Fox A. Application-service interoperation with outstandartized service interfaces. In Proc. of the First IEEE Int. Conf. on Pervasive Computing and Communications, 2003.
  75. Shapiro J.F. A survey of Lagrangian techniques for discrete optimization. Ann. Discrete Math. v5 (1979), pp 113−138.
  76. Tebekin Y.B., Avseeva O.V. Estimated Quality of Multistage Process on the Basis of Probabilistic Approach with Continuous Response Functions// European Researcher, № 11, 2011. P. 1467−1473.
  77. W3C. Soapversion 1.2. http://www.w3.org/TR/soapl2.
Заполнить форму текущей работой