UML 클래스 다이어그램: 지침

아티클
06/10/2015

Visual Studio Ultimate에서는 UML 클래스 다이어그램을 사용하여 데이터 형식 및 형식 관계를 구현과 분리하여 나타낼 수 있습니다. 이 다이어그램은 클래스의 구현 대신 논리적 측면에 중점을 둘 때 사용됩니다.

UML 클래스 다이어그램을 만들려면 아키텍처 메뉴에서 새 다이어그램을 선택합니다.

참고

이 항목에서는 UML 클래스 다이어그램에 대해 설명합니다.이외에도 프로그램 코드를 시각화하는 데 사용하기 위해 만들 수 있는 다른 종류의 클래스 다이어그램이 있습니다.클래스와 형식 디자인 및 보기를 참조하세요.

항목 내용

UML 클래스 다이어그램 사용

클래스 다이어그램을 그리는 기본 단계

클래스, 인터페이스 및 열거형 사용

특성 및 작업

연결 그리기 및 사용

상속

템플릿 형식

패키지

UML 클래스 다이어그램에서 코드를 만듭니다.

UML 클래스 다이어그램 사용

다음과 같은 다양한 용도로 UML 클래스 다이어그램을 사용할 수 있습니다.

시스템에 사용되고 구성 요소 간에 전달되는 형식에 대해 구현과 독립적인 설명을 제공할 수 있습니다.

예를 들어 .NET 코드의 비즈니스 계층, XML의 구성 요소 간 인터페이스, SQL의 데이터베이스 및 HTML의 사용자 인터페이스 등에서 Meal Order 형식을 구현할 수 있습니다. 이러한 구현은 세부적으로는 다르지만 Menu와 Payment 같은 다른 형식과 Meal Order 간의 관계는 항상 같습니다. UML 클래스 다이어그램을 사용하면 이러한 관계를 구현과 분리하여 논의할 수 있습니다.
응용 프로그램과 사용자 간의 통신에 사용되고 사용자 요구를 기술하는 데 필요한 용어 모음을 명확하게 정의할 수 있습니다. 사용자 요구 사항 모델링을 참조하십시오.

예를 들어 식당 응용 프로그램의 사용자 스토리, 사용 사례 또는 기타 요구 사항을 설명하는 경우를 가정해 봅니다. 이러한 설명에서 Menu, Order, Meal, Price, Payment 등의 용어를 발견할 수 있습니다. 이때 이러한 용어 간의 관계를 정의하는 UML 클래스 다이어그램을 그릴 수 있습니다. 그러면 요구 사항 설명, 사용자 인터페이스 및 도움말 문서 등에서 용어 불일치 문제가 줄어듭니다.

다른 다이어그램과의 관계

일반적으로 UML 클래스 다이어그램을 그릴 때는 다른 모델링 다이어그램도 함께 그려 해당 다이어그램에서 사용하는 형식을 기술합니다. 각 경우에서 형식의 실제 표현은 다른 다이어그램에 포함되지 않습니다.

다른 모델링 다이어그램	UML 클래스 다이어그램을 사용하여 기술하는 내용
동작 다이어그램	개체 노드를 통과하는 데이터의 형식 입력 핀, 출력 핀 및 동작 매개 변수 노드의 형식 UML 동작 다이어그램: 지침을 참조하십시오.
시퀀스 다이어그램	매개 변수 형식 및 메시지 반환 값 수명선 형식. 수명선의 클래스에는 수신할 수 있는 모든 메시지에 대한 작업이 포함되어야 합니다. UML 시퀀스 다이어그램: 지침을 참조하십시오.
구성 요소 다이어그램	구성 요소 인터페이스, 각 인터페이스의 작업 목록 UML 구성 요소 다이어그램: 지침을 참조하십시오.
사용 사례 다이어그램	사용 사례의 목표 및 단계를 기술할 때 언급된 형식 UML 사용 사례 다이어그램: 지침을 참조하십시오.

클래스 다이어그램을 그리는 기본 단계

UML 클래스 다이어그램의 요소에 대한 자세한 내용은 UML 클래스 다이어그램: 참조를 참조하십시오.

참고

모델링 다이어그램을 만드는 자세한 단계는 UML 모델 및 다이어그램 편집를 참조하십시오.

UML 클래스 다이어그램을 만들려면

아키텍처 메뉴에서 새 다이어그램을 선택합니다.
템플릿에서 UML 클래스 다이어그램을 선택합니다.
다이어그램 이름을 지정합니다.
모델링 프로젝트에 추가에서 솔루션의 기존 모델링 프로젝트를 선택하거나 새 모델링 프로젝트 만들기를 선택하고 확인을 선택합니다.

UML 클래스 다이어그램 도구 상자와 함께 새 클래스 다이어그램이 나타납니다. 이 도구 상자에는 필요한 요소 및 관계가 포함되어 있습니다.

UML 클래스 다이어그램을 그리려면

형식을 만들려면 도구 상자에서 클래스, 인터페이스 또는 열거형 도구를 선택하고 다이어그램의 빈 부분을 클릭합니다. (도구 상자가 표시되지 않은 경우 Ctrl + ALT + X를 누릅니다.)

코드 형식에 따라 형식을 만들 수도 있습니다. 아키텍처 탐색기, 솔루션 탐색기 또는 종속성 그래프에서 다이어그램으로 형식을 끌어 놓을 수 있습니다. 코드에서 UML 클래스 다이어그램 만들기을 참조하십시오.
형식에 특성 또는 작업을 추가하거나 열거형에 리터럴을 추가하려면 형식에서 특성, 작업 또는 리터럴 머리글을 선택하고 Enter 키를 누릅니다.

f(x:Boolean):Integer와 같은 시그니처를 작성할 수 있습니다. 특성 및 작업를 참조하십시오.

여러 항목을 빠르게 추가하려면 각 항목의 끝에서 Enter 키를 두 번 누릅니다. 화살표 키를 사용하여 목록에서 위 또는 아래로 이동할 수 있습니다.
형식을 확장하거나 축소하려면 왼쪽 위에 있는 펼침 아이콘을 선택합니다. 클래스나 인터페이스의 특성 및 작업 섹션을 확장하고 축소할 수도 있습니다.
형식 간의 연결, 상속 또는 종속성 링크를 그리려면 적절한 도구를 클릭하고 소스 형식과 대상 형식을 차례로 클릭합니다.
패키지에 형식을 만들려면 패키지 도구를 사용하여 패키지를 만든 다음, 이 패키지 내에 새 형식과 패키지를 만듭니다. 복사 명령을 사용하여 형식을 복사한 후 패키지에 붙여넣을 수도 있습니다.
모든 다이어그램은 같은 프로젝트에서 다른 다이어그램과 공유하는 모델 뷰입니다. 전체 모델의 트리 뷰를 확인하려면 보기, 다른 창, UML 모델 탐색기를 선택합니다.

클래스, 인터페이스 및 열거형 사용

도구 상자에서 사용할 수 있는 표준 분류자에는 세 가지 종류가 있습니다. 이 문서에서는 이러한 분류자를 형식이라고 합니다.

클래스, 열거형 및 인터페이스

대부분의 경우 클래스(1)를 사용하여 데이터 또는 개체 형식을 나타냅니다.
내부 구현이 있는 구체적 클래스와 순수 인터페이스를 구별해야 하는 컨텍스트에서 인터페이스(2)를 사용합니다. 이런 식으로 구별하면 다이어그램으로 소프트웨어 구현을 기술하려는 경우 유용합니다. 그러나 수동 데이터를 모델링하는 경우 또는 사용자 요구 사항을 기술하는 데 사용되는 개념을 정의하는 경우에는 별로 유용하지 않습니다.
열거형(3)을 사용하여 Stop 및 Go와 같이 제한된 수의 리터럴 값을 갖는 형식을 나타냅니다.
- 리터럴 값을 열거형에 추가하고 각각 별도의 이름을 지정합니다.
- 원하는 경우 각 리터럴 값에 숫자 값을 제공할 수도 있습니다. 열거형에서 리터럴에 대한 바로 가기 메뉴를 열고 속성을 선택한 다음, 속성 창의 값 필드에 숫자를 입력합니다.

각 형식에 고유한 이름을 지정합니다.

다른 다이어그램에서 형식 가져오기

다른 다이어그램의 형식을 UML 클래스 다이어그램에 나타낼 수 있습니다.

다른 다이어그램 형식	다른 다이어그램에서 형식을 가져오는 방법
UML 클래스 다이어그램	둘 이상의 UML 클래스 다이어그램에 클래스를 나타낼 수 있습니다. 한 다이어그램에서 클래스를 만들었으면 이 클래스를 UML 모델 탐색기에서 다른 다이어그램으로 끌어 옵니다. 이 방법은 각 다이어그램에서 특정 관계 그룹에 중점을 두려는 경우 유용합니다. 예를 들어 한 다이어그램에서 Meal Order와 Menu 간 연결을 나타내고 다른 다이어그램에서 Meal Order와 Payment 간 연결을 나타낼 수 있습니다.
구성 요소 다이어그램	구성 요소 다이어그램의 구성 요소에 인터페이스를 정의한 경우 UML 모델 탐색기의 인터페이스를 클래스 다이어그램으로 끌어 올 수 있습니다. 클래스 다이어그램에서 인터페이스를 포함하는 메서드를 정의할 수 있습니다. UML 구성 요소 다이어그램: 지침을 참조하십시오.
UML 시퀀스 다이어그램	시퀀스 다이어그램의 수명선에서 클래스와 인터페이스를 만든 다음, UML 모델 탐색기의 클래스를 UML 클래스 다이어그램으로 끌어 올 수 있습니다. 시퀀스 다이어그램의 각 수명선은 개체, 구성 요소 또는 행위자의 인스턴스를 나타냅니다. 수명선에서 클래스를 만들려면 수명선에 대한 바로 가기 메뉴를 열고 클래스 만들기 또는 인터페이스 만들기를 선택합니다. UML 시퀀스 다이어그램: 지침을 참조하십시오.
프로그램 코드	모델의 사용자 코드에서 형식을 나타낼 수 있습니다. 아키텍처 탐색기 또는 종속성 그래프의 클래스, 인터페이스 또는 열거형을 UML 클래스 다이어그램으로 끌어 놓습니다. 끌어 놓은 형식이 다이어그램에 나타납니다. 종속 형식도 모델에 추가됩니다. UML 형식을 이러한 방식으로 만든 경우 해당 형식을 두 번 클릭해서 소스 코드를 열 수 있습니다. 코드에서 UML 클래스 다이어그램 만들기을 참조하십시오. 참고 코드와 모델은 동기화가 유지되지 않습니다.코드에 영향을 주지 않고 제안된 변경 사항에 대해 논의하기 위해 다이어그램을 업데이트할 수 있습니다.형식을 다이어그램으로 다시 끌어 오지 않는 한 코드의 이후 변경 사항은 다이어그램에 자동으로 영향을 주지 않습니다.

특성 및 작업

특성(4)은 형식의 모든 인스턴스가 가질 수 있는 명명된 값입니다. 특성에 액세스하면 인스턴스의 상태가 변경되는 것이 아닙니다.

작업(5)은 형식의 인스턴스가 수행할 수 있는 메서드 또는 함수입니다. 이때 값을 반환할 수 있습니다. 쿼리 속성이 true이면 해당 인스턴스의 상태를 변경할 수 없습니다.

형식에 특성 또는 작업을 추가하려면 형식에 대한 바로 가기 메뉴를 열고 추가를 선택한 다음, 특성 또는 작업을 선택합니다.

해당 속성을 보려면 특성 또는 작업에 대한 바로 가기 메뉴를 열고 속성을 선택합니다. 그러면 속성이 속성 창에 나타납니다.

작업 매개 변수의 속성을 보려면 매개 변수속성에서 **[…]**를 선택합니다. 그러면 새 속성 대화 상자가 나타납니다.

설정할 수 있는 모든 속성에 대한 자세한 내용은 다음을 참조하십시오.

특성 및 작업의 형식

특성이나 작업의 각 형식 또는 각 매개 변수 형식은 다음 중 하나가 될 수 있습니다.

(없음) - 앞에 나오는 콜론(:)을 생략하여 시그니처에서 해당 형식을 지정하지 않은 상태로 둘 수 있습니다.
표준 기본 형식 중 하나(부울, 정수, 문자열)
모델에 정의된 형식
Template<Parameter>로 작성되는 템플릿 형식의 매개 변수화된 값. 자세한 내용은 템플릿 형식을 참조하십시오.

모델에 아직 정의하지 않은 형식의 이름을 작성할 수도 있습니다. 이 이름은 UML 모델 탐색기의 지정되지 않은 형식에 표시됩니다.

참고

그런 다음 이 이름의 클래스 또는 인터페이스를 모델에 정의하더라도 기존 특성 및 작업에서는 여전히 지정되지 않은 형식의 요소를 참조합니다.기존 특성 및 작업에서 새 클래스를 참조하도록 변경하려면 각 특성 또는 작업의 드롭다운 메뉴에서 새 클래스를 선택하여 형식을 다시 설정해야 합니다.

여러 형식

특성, 작업 또는 매개 변수 형식의 복합성을 설정할 수 있습니다.

허용된 값은 다음과 같습니다.

복합성	특성, 매개 변수 또는 반환 값에 포함되는 항목
[1]	지정된 형식의 단일 값. 이 값이 기본값입니다.
[0..1]	Null 또는 지정된 형식의 값
[*]	지정된 형식의 여러 인스턴스로 구성된 컬렉션
[1..*]	지정된 형식의 인스턴스가 최소한 하나 이상 포함된 컬렉션
[n..m]	지정된 형식의 인스턴스가 n개에서 m개까지 포함된 컬렉션

복합성이 1보다 크면 다음 속성도 설정할 수 있습니다.

순서 지정됨 - true이면 컬렉션에 순서가 정의되어 있습니다.
고유 - true이면 컬렉션에 중복 값이 없습니다.

표시 유형

표시 유형은 클래스 정의 외부에서 특성 또는 작업에 액세스할 수 있는지 여부를 나타냅니다. 허용된 값은 다음과 같습니다.

이름	약식	의미
Public	+	다른 모든 형식에서 액세스할 수 있습니다.
Private	-	이 형식의 내부 정의에만 액세스할 수 있습니다.
패키지	~	이 형식을 포함하는 패키지 및 형식을 명시적으로 가져오는 패키지에서만 액세스할 수 있습니다. 자세한 내용은 패키지를 참조하십시오.
Protected	#	이 형식 및 이 형식에서 상속되는 형식에만 액세스할 수 있습니다. 자세한 내용은 상속을 참조하십시오.

특성 또는 작업의 시그니처 설정

특성 또는 작업의 시그니처는 표시 유형, 이름, 매개 변수(작업의 경우) 및 형식을 포함하는 속성 컬렉션입니다.

다이어그램에서 직접 시그니처를 작성할 수 있습니다. 특성 또는 작업을 클릭하여 선택한 다음, 다시 클릭합니다.

다음과 같은 형식으로 시그니처를 작성합니다.

visibility attribute-name : Type

또는

visibility operation-name (parameter1 : Type1, ...) : Type

예를 들면 다음과 같습니다.

+ AddItem (item : MenuItem, quantity : Integer) : Boolean

약식 표시 유형을 사용합니다. 기본값은 +(공용)입니다.

각 형식은 모델에 정의한 형식, 정수나 문자열 같은 표준 형식 또는 아직 정의하지 않은 새 형식의 이름이 될 수 있습니다.

참고

매개 변수 목록에 형식 없이 이름을 작성하면 매개 변수의 형식 대신 이름을 나타냅니다.이 예제의 경우 MenuItem과 Integer는 형식이 지정되지 않은 두 매개 변수의 이름이 됩니다.

AddItem(MenuItem, Integer) /* parameter names, not types! */

시그니처에서 형식의 복합성을 설정하려면 다음 예제와 같이 형식 이름 다음에 대괄호를 사용하여 복합성을 작성합니다.

+ AddItems (items : MenuItem [1..*])
+ MenuContent : MenuItem [*]

특성 또는 작업이 정적이면 시그니처에서 이름에 밑줄이 표시되고 추상인 경우에는 이름이 기울임꼴로 표시됩니다.

그러나 속성 창에서 정적 및 추상 속성만 설정할 수 있습니다.

전체 시그니처

특성 또는 작업의 시그니처를 편집하는 경우 줄의 끝과 각 매개 변수 뒤에 몇 가지 추가 속성이 나타날 수 있습니다. 이러한 속성은 중괄호 {…} 안에 포함되어 있으며 편집하거나 추가할 수 있습니다. 예를 들면 다음과 같습니다.

+ AddItems (items: MenuItem [1..*] {unique, ordered})
+ GetItems (filter: String) : MenuItem [*] {ordered, query}

속성은 다음과 같습니다.

시그니처	속성	의미
unique	고유	컬렉션에 중복 값이 없습니다. 복합성이 1보다 큰 형식에 적용됩니다.
ordered	순서 지정됨	컬렉션이 시퀀스입니다. false이면 첫 번째 항목이 명확하지 않습니다. 복합성이 1보다 큰 형식에 적용됩니다.
query	쿼리	작업이 인스턴스의 상태를 변경하지 않습니다. 작업에만 적용됩니다.
/	파생	특성이 다른 특성의 값 또는 연결에서 계산됩니다. 특성 이름 앞에 "/"가 나타납니다. 예를 들면 다음과 같습니다. `/TotalPrice: Integer`

일반적으로 전체 시그니처는 편집하는 동안에만 다이어그램에 나타나고 편집이 끝나면 추가 속성이 숨겨집니다. 전체 시그니처를 항상 표시하려면 형식에 대한 바로 가기 메뉴를 열고 전체 시그니처 표시를 선택합니다.

연결 그리기 및 사용

두 요소 간의 링크가 소프트웨어에서 구현되는 방식에 관계없이 링크의 종류를 나타낼 때 연결을 사용합니다. 예를 들어 C#의 포인터, 데이터베이스의 관계, XML 파일에서 각 파트 간 상호 참조 등을 나타낼 때 연결을 사용할 수 있습니다. 이러한 연결은 지구와 태양 같이 실재하는 개체 간의 연결을 나타낼 수 있으며, 해당 정보가 존재한다는 것만 알려 줄 뿐 링크를 나타내는 방법에 대해서는 알려 주지 않습니다.

연결의 속성

연결을 만든 후에는 속성을 설정합니다. 연결에 대한 바로 가기 메뉴를 열고 속성을 선택합니다.

연결의 전체적인 속성뿐만 아니라 각 역할, 즉 연결의 각 끝에 고유한 속성이 일부 포함되어 있습니다. 이러한 속성을 보려면 첫 번째 역할 및 두 번째 역할 속성을 확장합니다.

각 역할의 일부 속성은 다이어그램에서 직접 볼 수 있습니다. 이러한 속성은 다음과 같습니다.

역할 이름. 다이어그램에서 연결의 끝에 나타납니다. 다이어그램 또는 속성 창에서 이 속성을 설정할 수 있습니다.
복합성(기본값: 1). 마찬가지로 다이어그램에서 연결의 끝에 나타납니다.
집합체. 이 속성은 연결선의 한 쪽 끝에 다이아몬드 모양으로 나타납니다. 집합체 역할의 인스턴스가 다른 역할의 인스턴스를 소유하거나 포함한다는 것을 나타낼 때 사용할 수 있습니다.
탐색 가능. 한 역할에 대해서만 true이면 탐색 가능 방향에 화살표가 나타납니다. 소프트웨어에서 데이터베이스 관계 및 링크의 탐색 가능성을 나타낼 때 이 속성을 사용할 수 있습니다.

이러한 속성 및 다른 속성에 대한 자세한 내용은 UML 클래스 다이어그램 연결의 속성을 참조하십시오.

탐색 가능성

연결을 그리면 한쪽 끝에 화살표가 표시되어 그 방향으로 연결을 탐색할 수 있음을 나타냅니다. 이는 클래스 다이어그램이 소프트웨어 클래스를 나타내고 연결이 포인터나 참조를 나타내는 경우에 유용합니다. 그러나 클래스 다이어그램을 사용하여 엔터티 및 관계나 비즈니스 개념을 나타내는 경우는 탐색 가능성을 나타내는 것과 관련이 적습니다. 이 경우에는 화살표 없이 연결을 그릴 수 있습니다. 이렇게 하려면 연결의 양쪽 끝에서 Is Navigable 속성을 True로 설정하면 됩니다. 이 작업을 더 쉽게 수행하기 위해 코드 샘플 UML 도메인 모델링을 다운로드할 수 있습니다.

특성 및 연결

연결은 그림으로 특성을 나타내는 방법입니다. 예를 들어 Menu 형식의 특성이 있는 Restaurant 클래스를 만드는 대신 Restaurant에서 Menu로 이어지는 연결을 그릴 수 있습니다.

각 특성 이름은 역할 이름이 되고, 소유하는 형식에서 연결의 반대쪽 끝에 나타납니다. 예를 들어 다음 그림에서 myMenu를 보십시오.

일반적으로 기본 형식과 같이 다이어그램에 그리지 않는 형식에 대해서만 특성을 사용하는 것이 좋습니다.

동일한 연결 및 특성

상속

상속 도구를 사용하여 다음과 같은 관계를 만들 수 있습니다.

특수 형식과 일반 형식 사이의 일반화 관계

또는
클래스와 이 클래스에서 구현하는 인터페이스 간의 인식 관계

상속 관계에서는 루프를 만들 수 없습니다.

일반화

일반화는 특수화 또는 파생 형식이 일반 형식이나 기본 형식의 특성, 작업 및 연결을 상속한다는 것을 의미합니다.

일반 형식은 관계의 화살촉 끝에 나타납니다.

상속된 작업 및 특성은 대개 특수화 형식에 표시되지 않습니다. 그러나 상속된 작업을 특수화 형식의 작업 목록에 추가할 수 있습니다. 이 방법은 특수화 형식에서 작업의 일부 속성을 재정의하거나, 구현하는 코드에서 수행해야 할 작업을 나타내려는 경우 유용합니다.

특수화 형식에서 작업의 정의를 재정의하려면

일반화 관계를 클릭합니다.

관계가 강조 표시된 상태로 나타나고 작업 태그가 주변에 나타납니다.
작업 태그를 클릭하고 작업 재정의를 클릭합니다.

작업 재정의 대화 상자가 나타납니다.
특수화 형식에 나타낼 작업을 선택하고 확인을 클릭합니다.

선택한 작업이 특수화 형식에 나타납니다.

인식

인식은 클래스가 인터페이스에 지정된 특성 및 작업을 구현하는 것을 의미합니다. 인터페이스는 연결선의 화살표 끝에 있습니다.

인식 연결선을 만들면 인터페이스의 작업이 자동으로 인식 클래스에 복제됩니다. 인터페이스에 새 작업을 추가하는 경우에도 이러한 작업이 인식 클래스에 복제됩니다.

인식 관계를 만든 후에는 롤리팝 표기로 변환할 수 있습니다. 관계를 마우스 오른쪽 단추로 클릭하고 롤리팝으로 표시를 선택하면 됩니다.

이렇게 하면 인식 링크로 인해 클래스 다이어그램을 복잡하게 만들지 않고 클래스에서 구현하는 인터페이스를 표시할 수 있습니다. 또한 인터페이스와 이 인터페이스를 구현하는 클래스를 별도의 다이어그램에 표시할 수도 있습니다.

연결선과 롤리팝으로 표시된 구현

템플릿 형식

다른 형식이나 값에 의해 매개 변수화될 수 있는 제네릭 또는 템플릿 형식을 정의할 수 있습니다.

예를 들어 다음과 같이 키 및 값 형식에 의해 매개 변수화된 제네릭 Dictionary를 만들 수 있습니다.

두 개의 매개 변수가 포함된 템플릿 클래스

템플릿 형식을 만들려면

클래스 또는 인터페이스를 만듭니다. 이 클래스 또는 인터페이스가 템플릿 형식이 됩니다. 그런 다음 적절하게 이름을 지정합니다(예: Dictionary).
새로운 형식에 대한 바로 가기 메뉴를 열고 속성을 선택합니다.
속성 창의 템플릿 매개 변수 필드에서 […] 모양을 클릭합니다.

템플릿 매개 변수 컬렉션 편집기 대화 상자가 나타납니다.
추가를 선택합니다.
이름 속성을 템플릿 형식의 매개 변수 이름으로 설정합니다(예: Key).
매개 변수 종류를 설정합니다. 기본값은 클래스입니다.
매개 변수에 특정 기본 클래스의 파생 클래스만 허용되게 하려면 제한된 값을 원하는 기본 클래스로 설정합니다.
매개 변수를 필요한 만큼 추가하고 확인을 선택합니다.
다른 클래스에 했던 것과 마찬가지로 템플릿 형식에 특성 및 작업을 추가합니다.

종류가 클래스, 인터페이스 또는 열거형인 매개 변수를 특성 및 작업 정의에 사용할 수 있습니다. 예를 들어 다음과 같이 Key와 Value라는 클래스 매개 변수를 사용하여 Dictionary에 이 작업을 정의할 수 있습니다.

Get(k : Key) : Value

종류가 정수인 매개 변수를 복합성의 경계로 사용할 수 있습니다. 예를 들어 정수 매개 변수 max를 사용하여 특성의 복합성을 [0..max]로 정의할 수 있습니다.