Кто-нибудь пытался создать профили UML для шаблонов проектирования со стереотипами и ограничениями OCL? Я пытаюсь создать его для шаблона Singleton, но не знаю, как и с чего начать ...Использование OCL и UML с шаблонами проектирования
Это будет сложно: много раз шаблоны проектирования требуют взглянуть на то, как используются объекты, например, в шаблоне Singleton , Но в основном использование объектов будет происходить с использованием методов INSIDE (для вызовов Singleton, например [отсутствия] конструктора). Однако тела методов обычно не моделируются в UML.
Очевидный вопрос: «почему?»
Вы пытаетесь официально описать образцы? Или использовать их как строительные блоки для архитектуры? Что-то другое?
Если это формальное описание, то вам, вероятно, не нужны стереотипы. Моделируйте структуру со стандартными диаграммами классов (по книге), а затем формализуйте поведение метода с использованием предварительных и пост-условий в OCL.
Есть некоторые документы по оформлению паттернов с OCL (только Google). Другим хорошим источником является this book. Хотя Eiffel-based, он формализует все шаблоны GoF с предварительными и пост-условиями на методы. (Весь исходный код доступен по ссылке).
hth.
Существует много документов об оформлении паттернов, однако большинство из них не имеют того или другого или слишком сложны, чтобы быть практичными. Однако, если вы хотите попробовать OCL, вам будет очень много. Например, чтобы указать singleton pattern, вам нужно всего лишь получить все экземпляры данного класса и подсчитать их. Если вы сделаете это для инварианта в классе, вы получите очень простой синглтон.
UML имеет почти все устройство, необходимое для описания поведения. Диаграммы последовательности/активности могут показывать взаимодействия. Условия OCL pre/post могут формализовать поведение метода/активности. Должен ли ты/должен/делать это, это еще один вопрос ... но все необходимые конструкции есть. – sfinnie