[논문 리뷰] A reference model for interaction semantics

Johannes Reich, Tizian Schröder|arXiv (Cornell University)|2017. 12. 23.

Service-Oriented Architecture and Web Services참고 문헌 23인용 수 4

한 줄 요약

이 논문은 이산 시스템에서 상호작용 의미론에 대한 기준 모델을 제안하며, 정보 흐름(단방향/양방향)과 처리 특성(상태, 결정성, 동기성)에 따라 상호작용을 분류한다. 수평적(대칭) 및 수직적(비대칭) 양방향 상호작용을 구분하여, 수평적 상호작용이 본질적으로 상태 기반, 비동기적, 비결정적임을 보이며, 프로토콜에 의해 규율됨을 밝히고, 수직적 상호작용은 상향식 사용 또는 하향식 관찰 패턴을 따름으로써 시스템 공학 및 표준 개발 분야에서 상호운용성에 대한 형식적 기반을 제공한다.

ABSTRACT

In this article, we introduce a reference model for interaction semantics among communicating discrete systems to guide the discourse on interoperability. The necessary set of unifying concepts is small and comprises essentially the notion of discrete systems interacting by exchanging information. It is based on a simple, but nevertheless complete classification of system interactions with respect to information transport and processing. Information transport can only be uni- or bidirectional and information processing is subclassified along the binary dimensions of state, determinism and synchronicity. For interactions with bidirectional information flow we are able to define a criterion for a layered structure of systems: we name a bidirectional interaction "horizontal" if all interacting systems behave the same with respect to state, determinism and synchronicity and we name it "vertical" --- providing a semantic direction --- if there is a behavioral asymmetry between the interacting systems with respect to these properties. It is shown that horizontal interactions are essentially stateful, asynchronous and nondeterministic and are described by protocols. Vertical interactions are essentially top-down-usage, described by object models or operations, and bottom-up-observation, described by anonymous events. The reference model thereby helps us to understand the significant relationships that are created between interacting discrete systems by their interactions and guides us on how to talk about discrete system interoperability. To show its conceptual power, we apply the reference model to assess several other architectural models, communication technologies and so called software design or architectural styles like SOA and REST.

연구 동기 및 목표

• 이산 시스템 간 상호작용 의미론을 이해하기 위한 통합 개념적 프레임워크를 수립하여 상호운용성 논의를 향상시키기 위해.
• 기존 아키텍처 모델에서 일관되고 검증 가능한 계층적 구조의 부재를 해결하기 위해, 시스템 상호작용의 형식적 분류를 도입하기 위해.
• 단방향과 양방향 상호작용 간 의미적 차이, 특히 양방향 흐름이 도입하는 기본적 차이를 명확히 하기 위해.
• 시스템 계층화 및 상호작용 유형에 대한 명확한 기준을 정의하여 표준화 및 산업 지침의 기초를 제공하기 위해.
• 기존 아키텍처 모델, 통신 기술, SOA 및 REST와 같은 설계 스타일을 분석하고 비판함으로써 모델의 유용성을 입증하기 위해.

제안 방법

• 시간에 따라 변화하는 신호(입력, 출력, 내부)를 사용하여 이산 시스템을 형식적으로 정의하고, 입력과 내부 상태를 출력과 다음 상태로 매핑하는 시스템 함수를 정의한다.
• 명시적 시간 의존성을 제거하고 프로토콜 기반 행동 모델링을 가능하게 하기 위해 I/O 전이 시스템 추상화를 도입한다.
• 정보 흐름(단방향 대 양방향), 상태(상태 기반 대 무상태), 결정성(결정성 대 비결정성), 동기성(동기적 대 비동기적)의 세 가지 이진 차원을 따라 시스템 상호작용을 분류한다.
• 수평적 상호작용을 시스템 간에 동일한 상태, 결정성 및 동기성 특성을 갖는 대칭적 행동으로 정의하고, 수직적 상호작용을 비대칭적으로 정의하여 의미적 방향성을 도입한다.
• LCIM, RAMI4.0, IIC 연결 프레임워크와 같은 기존 프레임워크를 분석하고 비판하여, 그들이 검증 가능한 계층 구조 기준을 제공하지 못함을 폭 드러낸다.
• 내부 이벤트 메커니즘의 필요성과 순환 종속성을 피하기 위한 공식적 결과, 그리고 변환형 시스템 행동과 조합형 시스템 행동 간의 구분을 유도한다.

실험 결과

연구 질문

• RQ1 이산 시스템 간 상호작용을 형식적으로 기술하고 분류하기 위해 필요한 최소한의 통합 개념은 무엇인가?
• RQ2 양방향 시스템 상호작용은 단방향 상호작용과 어떻게 의미적으로 다를 수 있으며, 이는 시스템 설계에 어떤 영향을 미치는가?
• RQ3 시스템 상호작용에서 유효한 계층적 구조를 정의하는 기준은 무엇이며, 왜 많은 기존 아키텍처 모델이 이를 충족하지 못하는가?
• RQ4 수평적(대칭) 상호작용과 수직적(비대칭) 상호작용 패턴은 처리 의미론과 구현 요구사항 측면에서 어떻게 다를 수 있는가?
• RQ5 이 기준 모델이 기존 소프트웨어 아키텍처, 통신 프로토콜, SOA 및 REST와 같은 설계 스타일을 평가하거나 개선하는 데 얼마나 활용될 수 있는가?

주요 결과

• 수평적 상호작용은 본질적으로 상태 기반, 비동기적, 비결정적이며, 형식적 프로토콜에 의해 기술되어야 한다.
• 수직적 상호작용은 상향식 사용(예: 객체 모델 또는 작업)과 하향식 관찰(예: 익명 이벤트)을 특징으로 하며, 의미적 방향성을 반영한다.
• 양방향 상호작용은 단순히 두 개의 단방향 흐름의 조합이 아니라, 새로운 의미적 제약과 행동을 도입한다.
• 많은 기존 아키텍처 모델(LCIM, RAMI4.0, IIC 등)은 계층의 순서를 검증 가능한 기준으로 제공하지 못하며, 요소를 혼합함으로써 진정한 계층 구조를 수립하지 못한다.
• 원격 기능을 객체 모델을 통해만 노출하는 기술은 수평적 상호작용을 구현하기에 부족하며, 이는 프로토콜 기반 상태 관리가 필요하기 때문이다.
• 이 모델은 시스템(변환형 행동)과 컴포넌트(조합형 행동)를 구분할 수 있는 형식적 기초를 제공하여, 컴포넌트 기반 설계에서의 모호함을 해결한다.