Определения основных отношений между элементами в UML (обновить)

2011 НОЯБРЬ 22
by Дмитрий Блинов
http://web.archive.org/web/20120902050320if_/http://www.facebook.com/plugins/like.php?href=http%3A%2F%2Fbeamteam.ru%2F2011%2F11%2Fuml-elements-relationships-definition%2F&layout=standard&show_faces=false&width=450&action=recommend&colorscheme=light&font=arial

Метамодель UML. Отношения (коротко)

Метамодель UML. Отношения

Отношение, relationship — это абстрактная концепция, используемая для отображения некоторой связи между двумя элементами модели. Для отношения в UML не предусмотрены нотация, синтаксис и семантика — они задаются подклассами отношения. Отношение абстрактно — оно не может иметь экземпляров. [1,3]

Направленное отношение, directed relationship — частный случай простого отношения — отношение между набором исходных элементов модели и набором целевых элементов модели. Направленное отношение также абстрактно — оно не может иметь экземпляров. [1]

UML различает большое количество отношений (relationship), однако зачастую в качестве основных выделяют следующие четыре (они выделены ярко-желтым на диаграмме слева):

  1. зависимость, dependency;
  2. ассоциация, association (экземпляром ассоциации является связь, link между экземплярами);
  3. реализация, realization;
  4. обобщение, generalization.

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

Метамодель UML. Отношения в контексте

Метамодель UML. Отношения в контексте

Иерархия большинства отношений UML представлена на диаграмме выше. Диаграмма отношений с контекстом изображена на рисунке ниже.

Определения отношений взяты из следующих источников:

  1. OMG UML Infrastructure+Superstructure ver.2.2, February 2009
  2. OCUP Guide
  3. Курс Essentials of Visual Modeling with UML2.0
  4. RUP version 2003.06.15
  5. Словарь UML от www.gentleware.com
Relationship Отношение
Dependency Зависимость
A relationship that signifies that a single or a set of model elements requires other model elements for their specification or implementation. This means that the complete semantics of the depending elements is either semantically or structurally dependent on the definition of the supplier element(s).Signifies a supplier/client relationship between model elements where the modification of the supplier may impact the client model elements.The semantics of the client is not complete without the supplier.The presence of dependency relationships in a model does not have any runtime semantics implications, it is all given in terms of the model-elements that participate in the relationship, not in terms of their instances. Отношение, указывающее, что элемент (набор элементов) модели нуждается в описании или реализации других элементов модели. Это означает, что семантика элементов-клиентов семантически или структурно зависит от определения элементов-поставщиков.Указывает на отношение поставщик-клиент, при котором изменение поставщика может повлиять на клиентов.Семантика клиента не полна без поставщика.Наличие зависимости не оказывает влияния на экземпляры элементов, создаваемые в процессе работы системы. 1
A semantic relationship between two things, in which a change to one thing (the independent thing) may affect a semantics of the other thing (the dependent thing). Семантическое отношение между 2 элементами, при котором изменение независимого элемента может повлиять на семантику зависимого элемента. 3
A dependency exists between elements and expresses that elements within one package use elements from the package on which it depends, implying that a change in one element may affect or supply information needed by the other element. Отношение между двумя элементами, обозначающее, что один элемент предоставляет информацию, необходимую другому, и изменение независимого элемента может повлиять на зависимый элемент. 5
The target elements are required for the specification or implementation of the source elements. The source elements are incomplete without the target elements. Целевые элементы необходимы для реализации или полноты описания исходного элемента. Исходный элемент не полон без целевых элементов. 2
Association Ассоциация
A semantic relationship that can occur between typed instances.Declares that there can be links between instances of the associated types. A link is a tuple with one value for each end of the association, where each value is an instance of the type of the end. It has at least two ends represented by properties, each of which is connected to the type of the end. Семантическое отношение, которое может возникнуть между типизированными экземплярами.Показывает, что между экземплярами ассоциированных типов может существовать связь. Связь — кортеж с единственным значением (экземпляром того же типа, что и конец ассоциации) для каждого конца ассоциации. У ассоциации имеется не менее 2 концов, представленных свойствами, каждое из которых связано с типом конца. 1
Describes a set of tuples of typed instances. Описывает множество кортежей типизированных экземпляров. 2
A relationship that models a bi-directional semantic connection among instances. Отношение, моделирующее двунаправленную семантическую/смысловую связь между экземплярами. 3
Cтруктурное отношение, описывающее множество связей между экземплярами классификаторов.
Structural relationships between objects of different classes; they represent connections between instances of two or more classes that exist for some duration.Is used to show that objects know about another objects. Структурное отношение между объектами разных классов; обозначает существующую в течение некоторого времени связь между экземплярами 2 и более классов.Используется, чтобы показать, что объекты знают о других объектах. 4
A representation of a semantic relationship between instances of objects («instances of objects» — некорректная формулировка, поскольку объекты являются экземплярами классов). Указание на семантическое отношение между экземплярами. 5
Generalization Обобщение
A taxonomic relationship between a more general classifier and a more specific classifier, is owned by the specific classifier.Each instance of the specific classifier is also an instance of the general classifier — the specific classifier indirectly has features of the more general classifier. Any constraint applying to instances of the general classifier also applies to instances of the specific classifier. Таксономическое отношение между более общим классификатором и более точным классификатором. Отношением обладает уточнённый классификатор.Каждый экземпляр уточнённого классификатора является также экземпляром и общего классификатора —уточнённый классификатор косвенно наследует структуру и поведение общего классификатора. На экземпляры уточнённого классификатора распространяются ограничения общего классификатора. 1
An abstraction principle applied to hierarchically structure the semantics of a model.A relationship between a general classifier and a special classifier, where the special classifier adds more features (specialization) and behaves in a way compatible to the general classifier. Принцип абстракции для структурирования семантики модели с учётом иерархии.Отношение между общим классификатором и частным классификатором, при котором частный классификатор добавляет дополнительную структуру и поведение (уточнение) и ведёт себя соответствующим общему классификатору образом. 2
A taxonomic relationship between a more general element and a more specific element.The more specific element is fully consistent with the more general element and contains additional information. An instance of the more specific element can be used where the more general element is allowed. Таксономическое отношение между более общим элементом и более точным элементом.Более точный элемент полностью соответствует более общему элементу и добавляет дополнительную информацию. Экземпляр уточнённого элемента может использоваться там, где возможно использование более общего элемента. 3
Shows that one class inherits from another. The inheriting class is called a descendant; the class inherited from is called the ancestor. Inheritance means that the definition of the ancestor — including any properties such as attributes, relationships, or operations on its objects — is also valid for objects of the descendant. Показывает, что один класс наследуется от другого. Класс-потомок наследует от класса-предка. Наследование означает, что определение предка, включая все его свойства (атрибуты и отношения) и операции, также верно для объектов потомка. 4
A directed relationship between two like elements, where one element is the parent element and the other is the child element. Also referred to as ‘kind of’, meaning that the child is a kind of the parent. Направленное отношение между двумя схожими элементами, при котором один элемент является родительским, а другой — дочерним. Также известно как отношение «вида/типа», поскольку дочерний является элементом вида родителя. 5
Отношение, при котором объекты потомка (специализированного элемента) могут замещать объекты родителя (обобщенного элемента).
Realization Реализация
A specialized abstraction relationship between two sets of model elements, one representing a specification (the supplier) and the other represents an implementation of the latter (the client).Signifies that the client set of elements are an implementation of the supplier set, which serves as the specification. Уточнённое отношение абстракции между двумя наборами элементов модели: набор-поставщик представляет описание (спецификацию), а набор-клиент — реализацию этого описания.Указывает на то, что  клиентский набор элементов является реализацией набора-поставщика, который служит описанием. 1
A special abstraction relationship between an implementation and its specification element. An abstraction relationship — a special dependency relationship between model elements at various abstraction levels. Частный случай отношения абстракции между реализацией и её описанием (спецификацией). Абстракция — частный вид отношения зависимостимежду элементами модели, находящимися на разных уровнях абстракции. 2
A semantic relationship between classifiers, in which one classifier specifies a contract that another classifier guarantees to carry out. Семантическое отношение между классификаторами, при котором один классификатор описывает контракт, который другой классификатор обязуется выполнять. 3
A relationship between an element that specifies behavior and one that provides an implementation. A specification describes a behavior or structure without specifying how the behavior will be implemented. An implementation provides the details about how to implement behavior in an effective way. Отношение между элементом, описывающим поведение (предоставляющим спецификацию), и элементом, предоставляющим реализацию. Спецификация содержит поведение или структуру без указания того, как это поведение будет реализовано. Реализация предоставляет детали того, как именно реализовать поведение. 5
Отношение между спецификацией и её программной реализацией; указание на то, что поведение наследуется без структуры.

Оставить ответ