디자인 모델링을 위한 씽킹 머신 포이에시스와 소프트웨어 공학의 통합 접근

초록

본 논문은 디자인을 포이에시스(창조와 생산 현상의 연구) 관점에서 재조명하고, 설계 매개체로서 ‘씽킹 머신(Thing​ing Machine, TM)’을 제안한다. UML과 대비하여 TM 모델링 과정을 사례 연구에 적용함으로써 TM이 설계 단계의 중간 산출물을 명시적으로 드러내고, 이론적 일관성을 제공함을 보인다.

상세 분석

논문은 먼저 디자인을 단순한 결과물이 아니라 ‘포이에시스’라는 창조 과정의 일부로 정의한다. 포이에시스는 인간이 의도적으로 사물을 만들고 변형시키는 전체 흐름을 포괄하며, 이 흐름을 이해하기 위해서는 모델링 언어가 설계자의 사고와 행동을 동시에 반영해야 한다고 주장한다. 기존 UML과 같은 실무 중심의 다이어그램은 구조와 행위를 시각화하는 데는 유용하지만, 설계 과정 자체를 메타모델 수준에서 설명하거나, 설계 의도를 온전히 포착하지 못한다는 한계를 지적한다.

‘씽킹 머신’은 이러한 한계를 보완하기 위해 고안된 새로운 다이어그램 언어이다. TM은 ‘thing(사물)’과 ‘machine(기계)’이라는 두 기본 개념을 통해 사물의 생성·변형·소멸 과정을 흐름으로 표현한다. 사물은 일종의 데이터 혹은 객체이며, 기계는 사물을 입력받아 변환하고 출력하는 프로세스로 모델링된다. 이때 흐름은 ‘생성(create)’, ‘전달(transfer)’, ‘변환(transform)’, ‘소멸(destroy)’ 등 네 가지 기본 연산으로 제한되며, 복합적인 설계 로직은 이러한 연산들의 조합으로 서술된다.

논문은 TM을 실제 소프트웨어 설계에 적용하기 위해 사례 연구를 선택한다. 해당 사례는 기존에 UML 기반 설계가 완전하게 제시된 전자 도서관 관리 시스템이다. 저자들은 먼저 UML 클래스 다이어그램, 시퀀스 다이어그램, 상태 다이어그램 등을 재현하고, 그 다음 TM 모델링 과정을 단계별로 진행한다. 첫 단계에서는 시스템의 주요 ‘thing’(예: 사용자, 도서, 대출 기록)을 식별하고, 각 ‘thing’이 시스템 내에서 어떤 ‘machine’에 의해 생성·변환·소멸되는지를 정의한다. 두 번째 단계에서는 흐름을 시간 순서가 아닌 논리적 의존 관계에 따라 배열하여, 설계자가 의도한 비즈니스 규칙이 명확히 드러나도록 한다. 마지막 단계에서는 TM 다이어그램을 검증하기 위해 기존 UML 모델과 비교한다. 비교 결과, TM은 설계 의도(예: 대출 제한 규칙, 예약 처리 흐름)를 보다 직관적으로 표현하고, 중간 단계의 변환 로직을 놓치지 않으며, 설계 변경 시 영향 범위를 빠르게 파악할 수 있음을 보여준다.

이러한 분석을 통해 저자들은 TM이 설계 과정의 ‘중간 산출물’을 시각화함으로써 설계자와 이해관계자 간의 커뮤니케이션을 강화하고, 설계 오류를 조기에 발견할 수 있는 잠재력을 갖는다며, 특히 포이에시스 관점에서 설계의 전 과정—아이디어 발상, 모델링, 구현—을 일관된 언어로 연결하는 통합 프레임워크로서의 가치를 강조한다. 또한 TM이 수학적·논리적 기반을 갖추고 있어, 자동화 도구와 연계한 형식 검증, 코드 생성 등 향후 연구 방향을 제시한다.