Язык описания архитектуры - Architecture description language

Языки описания архитектуры (ADL) используются в нескольких дисциплинах: системная инженерия, программная инженерия, и моделирование предприятия и инженерия.

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

Сообщество разработчиков программного обеспечения использует язык описания архитектуры как компьютерный язык создать описание из программная архитектура. В случае так называемого техническая архитектура, архитектура должна быть сообщена разработчикам программного обеспечения; а функциональная архитектура доводится до сведения различных заинтересованных сторон и пользователей. Некоторые разработанные ADL: Acme (разработан CMU ), AADL (стандартизировано SAE ), C2 (разработан UCI ), SBC-ADL (разработано Национальный университет Сунь Ятсена ), Дарвин (разработан Имперский колледж Лондон ), и Райт (разработан CMU).

Обзор

В ISO / IEC / IEEE 42010[1] документ, Системная и программная инженерия - Описание архитектуры, определяет язык описания архитектуры как «любую форму выражения для использования в описании архитектуры» и указывает минимальные требования к ADL.

Сообщество по моделированию предприятия и инженеров также разработало языки описания архитектуры, обслуживаемые на уровне предприятия. Примеры включают ArchiMate (теперь стандарт Открытая группа ), ДЕМО, СЧЕТЫ (разработан Сиднейский технологический университет ). Эти языки не обязательно относятся к программным компонентам и т. Д. Однако большинство из них относится к архитектуре приложения как к архитектуре, которая сообщается разработчикам программного обеспечения.

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

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

История

ADL были разделены на три широкие категории: неформальные чертежи в виде прямоугольников, формальный язык описания архитектуры и UML (Единый язык моделирования ) -основные обозначения.

Прямоугольник долгое время был наиболее распространенным средством описания SA. Предоставляя полезную документацию, уровень неформальности ограничивал полезность описания архитектуры. Требовался более строгий способ описания SA. Цитируя Аллена и Гарлана (1997),[2] "хотя эти [прямоугольные] описания могут предоставить полезную документацию, текущий уровень неформальности ограничивает их полезность. Поскольку, как правило, неточно, что подразумевается под такими описаниями архитектуры, может оказаться невозможным проанализировать архитектуру на предмет согласованности или определить нетривиальные его свойства. Более того, нет способа проверить, что реализация системы соответствует ее архитектурному проекту ". Аналогичный вывод сделан у Perry and Wolf (1992),[3] который сообщает, что: «Помимо предоставления ясной и точной документации, основная цель спецификаций - обеспечить автоматический анализ документов и выявить различные виды проблем, которые в противном случае остались бы незамеченными».

С тех пор было проведено множество исследований формальных языков для описания SA. Были предложены десятки формальных ADL, каждый из которых характеризуется различными концептуальными архитектурными элементами, разным синтаксисом или семантикой, ориентирован на конкретную операционную область или подходит только для различных методов анализа. Например, доменные ADL были представлены для работы со встроенными системами и системами реального времени (такими как AADL,[4] ВОСТОК-АДЛ,[5] и EADL[6]), приложения контура управления (DiaSpec[7]), архитектуры продуктовой линейки (Koala[8]) и динамических систем (Π-ADL[9])). ADL, ориентированные на анализ, были предложены для работы с доступностью, надежностью, безопасностью, потреблением ресурсов, качеством данных и анализом производительности в реальном времени (AADL, поведенческий анализ (Fractal[10])) и анализа надежности (TADL[11]).

Однако эти усилия не привели к желаемому внедрению в промышленную практику. Некоторые причины отсутствия промышленного применения были проанализированы Вудсом и Хиллиардом,[12] Панди,[13] Клементс,[14] и другие: формальные ADL редко интегрируются в жизненный цикл программного обеспечения, они редко поддерживаются зрелыми инструментами, почти не документированы, ориентированы на очень конкретные потребности и не оставляют места для расширений, позволяющих добавлять новые функции.

Чтобы преодолеть некоторые из этих ограничений, UML был указан как возможный преемник существующих ADL. Было представлено много предложений по использованию или расширению UML для более правильного моделирования программных архитектур.[15][16]

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

Характеристики

Существует большое разнообразие ADL, разработанных академическими или промышленными группами. Многие языки не задумывались как ADL, но они оказались подходящими для представления и анализа архитектуры. В принципе, ADL отличаются от языков требований, потому что ADL уходят корнями в пространство решений, тогда как требования описывают проблемные области. Они отличаются от языков программирования, потому что ADL не привязывают архитектурные абстракции к конкретным точечным решениям. Языки моделирования представляют поведение, в котором ADL сосредоточены на представлении компонентов. Однако существуют предметно-ориентированные языки моделирования (DSML), которые фокусируются на представлении компонентов.

Минимальные требования

Язык должен:

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

Общее у ADL:

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

ADL различаются по своей способности:

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

Положительные элементы ADL

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

Отрицательные элементы ADL

  • Не существует универсального соглашения о том, что должны представлять ADL, особенно в отношении поведения архитектуры.
  • Используемые в настоящее время представления относительно сложно анализировать и не поддерживаются коммерческими инструментами.
  • Большинство ADL, как правило, очень вертикально оптимизированы для определенного вида анализа.

Общие концепции архитектуры

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

Архитектура подключения к объекту

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

Архитектура подключения интерфейса

  • Расширяет роль интерфейсов и подключений
    • Интерфейсы определяют как "обязательные", так и "предоставленные" функции.
    • Связи определяются между «обязательными» и «предоставленными» функциями.
  • Состоит из интерфейсов, соединений и ограничений
    • Ограничения ограничивают поведение интерфейсов и соединений в архитектуре
    • Ограничения в архитектуре соответствуют требованиям к системе

Большинство ADL реализуют архитектуру подключения интерфейса.

Архитектура против дизайна

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

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

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

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

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

Примеры

Ниже в списке указаны кандидаты на звание лучших[нужна цитата ] ADL на сегодняшний день.

Актуальный список существующих в настоящее время архитектурных языков см. Актуальный список ADL.

Подходы к архитектуре

Подходы к архитектуре

  • Академический подход
    • сосредоточиться на аналитической оценке архитектурных моделей
    • отдельные модели
    • строгие обозначения моделирования
    • мощные методы анализа
    • глубина превыше ширины
    • специальные решения
  • Промышленный подход
    • сосредоточиться на широком спектре вопросов развития
    • семейства моделей
    • практичность важнее строгости
    • архитектура как общая картина развития
    • ширина больше глубины
    • универсальные решения

Смотрите также

Рекомендации

  1. ^ Комитет ISO / IECJTC 1 / SC 7 (01.03.2011). «ISO / IEC FDIS42010» (PDF). Архивировано из оригинал (PDF) на 2012-04-26. Получено 2011-12-05.
  2. ^ Allen, R .; Гарлан, Д. (1997). «Формальная основа для архитектурного соединения». ACM Transactions по программной инженерии и методологии. 6 (3): 213. CiteSeerX  10.1.1.40.66. Дои:10.1145/258077.258078.
  3. ^ Perry, D.E .; Вольф, А. (1992). «Основы исследования архитектуры программного обеспечения» (PDF). Примечания по разработке программного обеспечения ACM SIGSOFT. 17 (4): 40. CiteSeerX  10.1.1.40.5174. Дои:10.1145/141874.141884.
  4. ^ «AADL - Архитектурный анализ и язык дизайна». Институт программной инженерии, Университет Карнеги-Меллона. Июль 2019.
  5. ^ "ВОСТОК-АДЛ".
  6. ^ Li, J .; Пилкингтон, Н. Т .; Xie, F .; Лю, К. (2010). «Язык описания встроенной архитектуры». Журнал систем и программного обеспечения. 83 (2): 235. CiteSeerX  10.1.1.134.8898. Дои:10.1016 / j.jss.2009.09.043.
  7. ^ "AADL". Архивировано из оригинал на 2013-06-01. Получено 2012-12-10.
  8. ^ Van Ommering, R .; Van Der Linden, F .; Kramer, J .; Маги, Дж. (2000). «Компонентная модель Koala для программного обеспечения бытовой электроники». Компьютер. 33 (3): 78. CiteSeerX  10.1.1.469.8243. Дои:10.1109/2.825699.
  9. ^ Окендо, Флавио (2004). «П-АДЛ». Примечания по разработке программного обеспечения ACM SIGSOFT. 29 (3): 1. Дои:10.1145/986710.986728. ISSN  0163-5948.
  10. ^ Bruneton, E .; Coupaye, T .; Leclercq, M .; Quéma, V .; Стефани, Дж. Б. (2006). «Компонентная модель FRACTAL и ее поддержка в Java». Программное обеспечение: практика и опыт. 36 (11–12): 1257. CiteSeerX  10.1.1.471.4374. Дои:10.1002 / spe.767.
  11. ^ «ТАДЛ». 2009-04-29.
  12. ^ Woods, E .; Хиллиард, Р. (2005). «Языки описания архитектуры на практике». 5-я рабочая конференция IEEE / IFIP по архитектуре программного обеспечения (WICSA'05). п. 243. Дои:10.1109 / WICSA.2005.15. ISBN  978-0-7695-2548-8.
  13. ^ Панди, Р. К. (2010). «Языки описания архитектуры (ADL) против UML». Примечания по разработке программного обеспечения ACM SIGSOFT. 35 (3): 1. Дои:10.1145/1764810.1764828.
  14. ^ Клементс, П. С. (1996). «Обзор языков описания архитектуры». Материалы 8-го Международного семинара по спецификации и дизайну программного обеспечения. С. 16–00. CiteSeerX  10.1.1.208.3401. Дои:10.1109 / IWSSD.1996.501143. ISBN  978-0-8186-7361-0.
  15. ^ «Гарлан_ТР».
  16. ^ Pérez-Martínez, J.E .; Сьерра-Алонсо, А. (2004). «UML 1.4 против UML 2.0 как языки для описания программных архитектур». Архитектура программного обеспечения. Конспект лекций по информатике. 3047. п. 88. Дои:10.1007/978-3-540-24769-2_7. ISBN  978-3-540-22000-8.
  17. ^ Малаволта, Ивано; Лаго, Патрисия; Муччини, Генри; Пелличчоне, Патрицио; Тан, Энтони (2013). «Что нужно индустрии от архитектурных языков: обзор». IEEE Transactions по разработке программного обеспечения. 39 (6): 869–891. Дои:10.1109 / TSE.2012.74.

внешняя ссылка

  • Medvidovic, N .; Тейлор, Р. (Январь 2000 г.). «Структура классификации и сравнения языков описания архитектуры программного обеспечения». IEEE Transactions по разработке программного обеспечения. 26 (1): 70–93. Дои:10.1109/32.825767.
  • Малаволта, Ивано; Лаго, Патрисия; Муччини, Генри; Пелличчоне, Патрицио; Тан, Энтони (2013). «Что нужно индустрии от архитектурных языков: обзор». IEEE Transactions по разработке программного обеспечения. 39 (6): 869–891. Дои:10.1109 / TSE.2012.74.
  • Языки описания архитектуры // Университет Мелардален
  • Clements, P.C. (1996). «Обзор языков описания архитектуры» (PDF). Материалы 8-го Международного семинара по спецификации и дизайну программного обеспечения. С. 16–25. Дои:10.1109 / IWSSD.1996.501143. ISBN  0-8186-7361-3. Архивировано из оригинал (PDF) на 24.12.2013.
  • СЧЕТЫ
  • ACME
  • ADML
  • Эзоп
  • АО-АДЛ
  • ArchiMate Пример ADL для корпоративной архитектуры
  • ByADL (Build Your ADL) - Университет Аквилы
  • C2 SADL
  • DAOP-ADL
  • ДЕМО Еще один пример корпоративной архитектуры ADL
  • DiaSpec подход и инструмент для создания распределенной структуры из программной архитектуры
  • Malavolta, I .; Muccini, H .; Pelliccione, P .; Тамбурри, Д. (январь – февраль 2010 г.). «Обеспечение функциональной совместимости архитектурных языков и инструментов с помощью технологий преобразования моделей». IEEE Transactions по разработке программного обеспечения. 36 (1): 119–140. Дои:10.1109 / TSE.2009.51. ДВОЙНО
  • Rapide
  • SSEP
  • Юникон
  • Райт