[논문 리뷰] Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing

Manuel Mazzara, Ruslan Mustafin외 2명|arXiv (Cornell University)|2016. 10. 06.

Software System Performance and Reliability참고 문헌 9인용 수 5

한 줄 요약

이 논문은 분산 컴퓨팅에서 마이크로서비스 아키텍처로의 패러다임 전환을 제안하며, 소프트웨어의 유지보수성과 확장성을 향상시키기 위해 느슨한 결합, 경계가 명확한 컨텍스트, 서비스의 독립성을 강조한다. 이는 Jolie라는 기초 언어를 통해 형식화된 메시지 전달 기반 설계를 통해 올바른 설계를 보장하고 통합 복잡성을 감소시킴으로써 실현된다.

ABSTRACT

The microservice architecture is a style inspired by service-oriented computing that has recently started gaining popularity and that promises to change the way in which software is perceived, conceived and designed. In this paper we offer a short overview intended as a collection of bibliographic references and links in the field of Microservices Science and Engineering (MSE).

연구 동기 및 목표

• 분산 시스템 설계에서의 전환적 전환으로서의 마이크로서비스 아키텍처의 새로운 추세를 분석하기 위해.
• 효율적인 마이크로서비스 설계를 뒷받침하는 핵심 아키텍처 원칙—경계가 명확한 컨텍스트, 크기, 독립성—을 규명하기 위해.
• 형식화와 정확성에 기반한 설계를 통해 이러한 패러다임 전환을 가능하게 하는 프로그래밍 언어(예: Jolie)의 역할을 검토하기 위해.
• growing 산업 및 학술적 관심에도 불구하고 보안, 도구 지원, 형식적 검증 분야에서 여전히 남아 있는 열린 과제들을 부각하기 위해.
• 마이크로서비스를 근본적인 변화가 아니라 서비스 지향 및 객체 지향 원칙의 진화로 위치지어, 더 강한 모듈성과 배포 유연성을 강조하기 위해.

제안 방법

• 분산, 모듈성, 느슨한 결합으로 향하는 프로그래밍 패러다임의 진화를 분석한다.
• 메시지 전달과 부작용이 없는 것을 강조하며, 형식적 기초를 바탕으로 한 서비스 조합을 위해 설계된 Jolie를 소개한다.
• 핵심 마이크로서비스 원칙을 적용한다: 비즈니스 기능을 봉인하는 경계가 명확한 컨텍스트, 정교한 크기 제약, 인터페이스 기반 통신을 통한 독립성 강제.
• 개발자 생산성과 도구 지원을 향상시키기 위해 최근 Jolie의 발전 사항—정적 타입 검사, 향상된 타입 시스템, 자동 문서화—를 검토한다.
• 마이크로서비스를 이전의 패러다임인 SOA와 OOP와 비교하여, 마이크로서비스가 그들의 강점을 더욱 정교하게 다듬고 확장함을 보여준다.
• 산업 및 학술적 발전을 비판적으로 분석함으로써, 특히 보안과 검증된 소프트웨어 분야에서 현재 실천의 격차를 규명한다.

실험 결과

연구 질문

• RQ1 경계가 명확한 컨텍스트, 크기, 독립성과 같은 마이크로서비스 아키텍처 원칙이 소프트웨어의 유지보수성과 확장성 향상에 어떻게 기여하는가?
• RQ2 Jolie 프로그래밍 언어는 마이크로서비스 개발에서 형식적이고 정확성에 기반한 접근 방식을 어떻게 지원하는가?
• RQ3 현대 분산 시스템에서 마이크로서비스의 확산을 이끄는 주요 기술적 및 산업적 동력은 무엇인가?
• RQ4 마이크로서비스 패러다임은 이전의 패러다임인 SOA와 OOP와 어떻게 관련되어 있으며, 어떻게 진화하는가?
• RQ5 마이크로서비스 생태계에서 아직 해결되지 않은 주요 과제—특히 보안과 형식적 검증 분야에서—는 무엇인가?

주요 결과

• 마이크로서비스 아키텍처는 경계가 명확한 컨텍스트, 세밀한 서비스 크기, 인터페이스 기반 통신 등의 원칙으로 인해 분산 시스템에서 지배적인 패러다임으로 부상하고 있다.
• Jolie는 부작용을 감소시키고 정확성에 기반한 설계를 지원하는 메시지 전달 기반의 형식화된 서비스 조합 접근 방식을 가능하게 한다.
• 최근 Jolie의 개선 사항—정적 타입 검사, 향상된 타입 시스템, 자동 문서화—는 그 사용성과 산업적 매력을 크게 향상시켰다.
• 확산이 가속화되고 있음에도 불구하고, 마이크로서비스 배포 보안 및 완전히 검증된 소프트웨어 시스템 구현 분야에서 여전히 중요한 과제가 남아 있다.
• 마이크로서비스로의 전환은 이전의 패러다임과의 근본적인 단절이 아니라 SOA와 OOP 원칙의 진화로, 더 강한 모듈성, 배포의 단순성, 운영의 독립성에 중점을 두고 있다.
• 연구 공동체와 산업계는 도구 지원, 보안, 형식적 검증 분야에서 열린 문제들을 적극적으로 해결하고 있으며, 이는 생태계의 성숙을 시사한다.