Язык объектного моделирования

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

Язык моделирования обычно ассоциируется с методологией объектно-ориентированной разработки. Язык моделирования определяет элементы модели. Например, что модель имеет классы, методы, свойства объектов и т. д. Методология определяет шаги, которые разработчики и пользователи должны предпринять для разработки и поддержки программной системы. Такие шаги, как Определение требований , Разработка кода и Тестирование системы .

Обычно язык моделирования и методология моделирования ставятся на одну доску. Например, метод Буча может относиться к стандарту Грейди Буча для построения диаграмм, его методологии или к обоим. Или метод объектного моделирования Рамбо — это и набор диаграмм, и модель процесса для разработки объектно-ориентированных систем.

В ранние годы объектно-ориентированного сообщества существовало несколько конкурирующих стандартов моделирования и методологии. Booch и Rumbaugh были двумя из самых популярных. Ivar Jacobson 's Objectory, Shlaer-Mellor и Yourdon-Coad также были популярны.

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

UML начинался как попытка некоторых ведущих мыслителей сообщества определить стандартный язык на конференции OOPSLA '95. Первоначально Грэди Буч и Джеймс Рамбо объединили свои модели в единую модель. За этим последовало приобретение компанией Буча Rational Software компании Ивара Якобсона Objectory и слияние их модели с UML. В то время Rational и Objectory были двумя доминирующими игроками в маленьком мире независимых поставщиков объектно-ориентированных инструментов и методов. ^[2]

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

Следующая диаграмма иллюстрирует иерархию классов различных графических шаблонов, определенных UML. Диаграммы структур определяют статическую структуру объекта: его место в иерархии классов, его связь с другими объектами и т. д. Диаграммы поведения определяют динамические аспекты модели, логику бизнес-процесса, координацию и синхронизацию распределенных объектов и т. д. ^{[3] [4]}