UML 상호작용 다이어그램

UML Interaction Diagrams

객체가 메시지를 통해 어떻게 상호작용하는지를 보여주는 다이어그램 →

동적 객체 모델링

• 객체 간의 상호작용을 시간 순서대로 나열하여 표현
• 객체 간의 메시지 교환을 통해 시스템의 동작을 표현

• 객체 간의 상호작용을 객체 간의 연결선으로 표현
• 객체 간의 메시지 교환을 통해 시스템의 동작을 표현

• 객체 간의 상호작용을 시간 순서대로 나열하여 표현
• 객체 간의 메시지 교환을 통해 시스템의 동작을 표현

• 객체의 상태 변화를 표현
• 객체의 상태와 상태 전이를 표현

동등하지만, 다른 초점을 가지고 있음

• 시간 순서에 따라 객체의 협업을 모델링함
• 상호작용의 시간적 순서에 초점을 맞춘다.

• 누가 누구와 어떻게 커뮤니케이션하는지를 초점을 맞추어 모델링함
• 소수점 분류를 통한 메시지 순서
• 공간 효율적임

public class A {
    B myB;
    // 기타 코드
    public void doOne() {
        myB.doTwo();
        myB.doThree();
    }
}

• msg1 메시지가 :Register 객체로 전달된다.
• msg2, msg3, msg4 메시지가 :Register 객체에서 :Sale 객체로 순서대로 전달된다.
• msg5 메시지가 :Sale 객체에서 :Register 객체로 반환된다.

public class Register {
    Sale mySale;
		public void msg2() {
        mySale.processMsg2();
    }
		public void msg3() {
        mySale.processMsg3();
    }
		public void msg4() {
        mySale.processMsg4();
    }
		public void receiveMsg5() {
        // 메시지 처리 로직
    }
}
 
public class Sale {
    public void processMsg2() {
        // 메시지 처리 로직
    }
		public void processMsg3() {
        // 메시지 처리 로직
    }
		public void processMsg4() {
        // 메시지 처리 로직
    }
		public void sendMsg5(Register register) {
        register.receiveMsg5();
    }
}

• :Register 객체가 create(cashier) 메시지를 :Sale 객체로 보낸다.
• :Register 객체가 create(cashier) 메시지를 :Sale {new} 객체로 보낸다.
• :Register 객체가 «create» 1: make(cashier) 메시지를 :Sale 객체로 보낸다.
  → 명확하지 않은 생성 메시지 이름이 사용된 경우, 메시지에 스테레오타입을 사용하여 명확하게 할 수 있다.

• msg1 메시지가 :A 객체로 전달된다.

• 1: msg2 메시지가 :A 객체에서 :B 객체로 전달된다.
• 1.1: msg3 메시지가 :B 객체에서 :C 객체로 전달된다.

• :Foo 객체가 message1 메시지를 보낸다.
• 1 [color = red] : calculate 메시지가 조건에 따라 :Bar 객체로 전달된다.

• 1a [test1] : msg2와 1b [not test1] : msg4는 상호 배타적 경로다.
• test1 조건이 참이면 msg2가 전송되고, 거짓이면 msg4가 전송된다.
• 각각의 경로는 추가 메시지로 이어진다. 예를 들어, msg2는 msg3로, msg4는 msg5로 이어진다.

• 반복 및 재귀 절은 lineItems 컬렉션의 각 요소를 반복하고 있음을 나타낸다.
• :Sale 객체는 1 * [i = 1..n] : st = getSubtotal 메시지를 통해 lineItems[i]에서 SalesLineItem 객체를 가져온다.
• 이는 lineItems 컬렉션의 많은 SalesLineItem 객체 중 하나의 인스턴스를 나타낸다.
• lineItems[i]는 많은 SalesLineItems 컬렉션에서 하나의 요소를 선택하는 표현이다. i 값은 메시지 절에서 온다.

• t = getTotal 메시지가 :Sale 객체로 전달된다.
• 1 * : st = getSubtotal 메시지가 :Sale 객체에서 lineItems[i] : SalesLineItem 객체로 전달된다.
• 덜 정확하지만 컬렉션 멤버에 대한 반복을 의미하기에 충분히 좋다.

• doX 메시지가 :Foo 객체로부터 발생한다.
• 1: locs = getAvailableLocales 메시지가 정적 메서드 호출을 나타내며, 이는 Calendar 메타클래스에 전달된다.

• 선택자 표현식, 예: lineItems[i], 그룹에서 하나의 객체 선택
• 생명선 참여자는 컬렉션이 아닌 하나의 객체를 나타내야 함

• 다이어그램에서는 Sale 객체가 getTotal 메소드를 호출하여 총합을 계산한다.
• 이 과정에서 lineItems 컬렉션의 각 요소에 대해 getSubtotal 메소드를 호출하여 소계를 구한다.
• 반복 조건인 [ i < lineItems.size ]는 컬렉션의 크기만큼 루프를 수행하도록 한다.
• 각 반복마다 i++ 연산을 통해 인덱스를 증가시킨다.

• 다이어그램에서 :Foo 객체는 doX 메소드를 호출한다.
• doX 메소드 내에서 Calendar 클래스의 getAvailableLocales 정적 메소드를 호출한다.
• getAvailableLocales 메소드는 locale 배열을 반환하며, 이 배열은 Foo 객체 내에서 사용된다.

• 두 번째 다이어그램에서 Register 객체는 doX 메소드를 호출하여 Payment 추상 클래스의 authorize 메소드를 호출한다.
• 이 호출은 Payment의 서브클래스인 CreditPayment나 DebitPayment에서 실제로 실행된다.
• 각 서브클래스는 authorize 메소드를 고유하게 구현하여 각기 다른 방식으로 처리한다.

• 다이어그램에서 ClockStarter는 startClock 메소드를 호출하여 Clock 객체를 생성한다.
• Clock 객체는 생성된 후 run 메소드를 호출하며, 이는 비동기 호출로 표시된다.
• 그 후, Clock 객체는 System 클래스의 runFinalization 메소드를 호출한다.
• UML 다이어그램에서 Thread 객체와 start 메시지를 생략하여 단순화하였다.
• 중요한 세부사항인 Clock 생성과 run 메시지가 비동기 호출을 의미한다.