[논문 리뷰] Monotony in Service Orchestrations

Anne Bouillard, Sidney Rosario외 2명|ArXiv.org|2008. 04. 30.

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

한 줄 요약

이 논문은 색상 부여된 발생 네트워크(CO-net)로 모델링된 웹 서비스 오케스트레이션에서 단조성(monotony)을 체계화하며, 기존 계약 기반 QoS 관리가 단조성을 암묵적으로 가정하고 있음을 밝힌다. 즉, 컴포넌트 성능 향상이 오케스트레이션 성능 향상으로 이어진다. 본 논문은 잠재적인 악영향을 방지하기 위해 지연 시간을 줄이기 위해 데이터 품질을 떨어뜨리는 것을 막는 조건부 단조성(conditional monotony)을 제안한다. 기존 단조성은 드물게 만족되지만, 조건부 단조성은 널리 만족됨을 보여주며, 이는 SLA가 응답 시간 외에도 데이터 품질을 고려해야 한다는 것을 시사한다.

ABSTRACT

Web Service orchestrations are compositions of different Web Services to form a new service. The services called during the orchestration guarantee a given performance to the orchestrater, usually in the form of contracts. These contracts can be used by the orchestrater to deduce the contract it can offer to its own clients, by performing contract composition. An implicit assumption in contract based QoS management is: "the better the component services perform, the better the orchestration's performance will be". Thus, contract based QoS management for Web services orchestrations implicitly assumes monotony. In some orchestrations, however, monotony can be violated, i.e., the performance of the orchestration improves when the performance of a component service degrades. This is highly undesirable since it can render the process of contract composition inconsistent. In this paper we define monotony for orchestrations modelled by Colored Occurrence Nets (CO-nets) and we characterize the classes of monotonic orchestrations. We show that few orchestrations are indeed monotonic, mostly since latency can be traded for quality of data. We also propose a sound refinement of monotony, called conditional monotony, which forbids this kind of cheating and show that conditional monotony is widely satisfied by orchestrations. This finding leads to reconsidering the way SLAs should be formulated.

연구 동기 및 목표

• 웹 서비스 오케스트레이션에서 성능 향상이 전체 오케스트레이션 품질을 떨어뜨리는 비단조화적 행동(non-monotonic behavior) 문제를 식별하고 체계화하는 것.
• 계약 기반 QoS 관리에서 더 나은 컴포넌트 성능이 항상 오케스트레이션 성능 향상으로 이어진다는 가정(단조성)을 분석하는 것.
• 응답 시간을 향상시키기 위해 데이터 품질을 떨어뜨리는 등의 부정적인 교환을 방지하기 위해 개선된 개념인 조건부 단조성을 제안하는 것.
• CO-net 기반의 형식 모델을 사용하여 단조성과 조건부 단조성을 만족하는 오케스트레이션의 유형을 특성화하는 것.
• 응답 시간과 데이터 품질 간의 현실적인 QoS 교환 관계를 반영하기 위해 SLA가 어떻게 재수립되어야 하는지 재평가하는 것.

제안 방법

• 구조적이고 결정적이며 충돌 없는 실행 의미 체계를 지원하는 형식적 언어인 색상 부여된 발생 네트워크(CO-net)를 사용해 오케스트레이션을 모델링한다.
• 어떤 컴포넌트 서비스의 성능을 향상시켜도 전체 오케스트레이션 성능이 악화되지 않는 성질을 단조성으로 정의한다.
• 이벤트 그래프 구조와 $$\max/+$ algebra$\mathrm{\textbackepsilon}}$$ 기반의 전역 필수 및 충분 조건을 통해 단조성의 조건을 설정한다.
• 응답 유형(예: 유효한 데이터)이 동일한 경우에만 비교하는 조건부 단조성을 도입하여, 예외나 유효하지 않은 응답이 반환되는 경우를 제외한다.
• 분석을 단순화하고, 이 가정 하에서 pre-OrchNet이 조건부 단조성을 만족함을 증명하기 위해 가정 1—다른 구성(configuration)은 다른 응답을 생성한다—을 도입한다.
• 구조적 분석과 분기 셀 이론을 적용하여, 특히 워크플로우 네트워크 구조에서 단조성이 성립하는 조건을 유도한다.

실험 결과

연구 질문

• RQ1 웹 서비스 오케스트레이션에서 단조성이 언제 위반되며, 그 원인은 무엇인가?
• RQ2 CO-net로 모델링된 오케스트레이션에 대해 단조성의 체계적 특성화가 가능한가?
• RQ3 응답 시간을 향상시키기 위해 데이터 품질을 희생시키는 것이 계약 조합과 QoS 관리에 어떤 영향을 미치는가?
• RQ4 빠른 응답이지만 잘못된 결과를 내는 등의 직관에 어긋나는 행동을 방지하기 위해 단조성을 어떻게 개선할 수 있는가?
• RQ5 실제 오케스트레이션의 어느 정도가 개선된 조건부 단조성 개념을 만족하는가?

주요 결과

• 기존 단조성은 실질적으로 드물게 만족되며, 주로 오케스트레이션이 응답 시간을 단축시키기 위해 데이터 품질을 낮추기 때문이므로 발생한다(예: 예외 또는 유효하지 않은 응답).
• 동일한 응답을 생성하는 구성에 대해서만 비교하는 조건부 단조성은 널리 만족된다—특히 각 구성이 유일한 응답을 생성하는 가정 1 하에서는 더욱 그렇다.
• 이론적 분석에 따르면, 가정 1을 만족하는 pre-OrchNet은 이벤트 그래프의 구조와 $\max/+$ 대수의 성질 덕분에 조건부 단조성을 만족한다.
• 기존 단조성의 위반이 계약 조합을 약화시켜 QoS 관리에 있어 일관성과 신뢰성을 해칠 수 있다.
• 본 연구는 SLA가 응답 시간만 명시하는 것이 아니라, 잘못된 성능 주장을 피하기 위해 데이터 품질에 대한 보장을 포함해야 한다는 시사점을 제시한다.
• 향후 연구는 이 프레임워크를 확장하여 확률적 계약과 맥락 기반 네트워크(읽기 아크를 포함)로 확장할 필요가 있으며, 특히 Orc와 같은 고급 오케스트레이션 언어에 적용하는 것이 중요하다.