Tổng quan luận án

Luận án tiến sĩ chuyên ngành Hệ thống thông tin (mã số: 9480104) của nghiên cứu sinh Huỳnh Hoàng Long, được thực hiện tại Trường Đại học Bách khoa Hà Nội dưới sự hướng dẫn của TS. Nguyễn Hữu Đức và PGS. Lê Trọng Vinh (bảo vệ năm 2022), tập trung vào đề tài "Nghiên cứu mô hình thị trường đám mây đa nền tảng" (Researching Multi-Cloud Marketplace Model).

Tính cấp thiết và khoảng trống nghiên cứu

Điện toán đám mây là mô hình phân phối tài nguyên tính toán qua Internet theo ba tầng dịch vụ chính: Cơ sở hạ tầng dưới dạng dịch vụ (IaaS), Nền tảng dưới dạng dịch vụ (PaaS) và Phần mềm dưới dạng dịch vụ (SaaS). Người tiêu dùng tiếp cận SaaS chủ yếu qua ba phương thức: phân phối trực tiếp, môi giới dịch vụ đám mây (Cloud Brokerage) và chợ dịch vụ đám mây (Cloud Marketplace).

Tuy nhiên, các mô hình phân phối dịch vụ đám mây hiện hữu tồn tại nhiều hạn chế:

  • Khóa chặt nhà cung cấp (Vendor Lock-in): Các nhà cung cấp thương mại lớn (như AWS, Google Cloud Platform, Microsoft Azure) áp đặt kiến trúc độc quyền, giao diện lập trình ứng dụng (API) và chuẩn dữ liệu riêng biệt. Phần mềm ứng dụng phát triển trên một nền tảng bị ràng buộc chặt chẽ vào thư viện của nhà cung cấp đó, khiến chi phí chuyển đổi (switching costs), rủi ro kỹ thuật và pháp lý khi di chuyển ứng dụng sang nhà cung cấp khác là rất cao.
  • Hạn chế của mô hình đơn đám mây (Single-cloud): Ứng dụng chỉ có thể triển khai cục bộ trên một đám mây duy nhất, làm tăng nguy cơ gián đoạn dịch vụ khi xảy ra sự cố máy chủ hay thiên tai, hạn chế năng lực đàm phán giá và không thể kết hợp các thế mạnh kỹ thuật chuyên biệt từ nhiều nhà cung cấp khác nhau (ví dụ: tận dụng năng lực tính toán máy ảo của AWS cùng công nghệ cơ sở dữ liệu của GCP cho cùng một ứng dụng WordPress).
  • Thiếu hụt mô hình phân phối và mô hình ứng dụng đa đám mây: Các chợ đám mây hiện hành chủ yếu thực hiện chức năng môi giới tài nguyên và thanh toán trên nền tảng đơn, chưa hỗ trợ cơ chế phân rã và triển khai ứng dụng đa thành phần phân tán trên môi trường đa đám mây (Multi-cloud).

Mục tiêu nghiên cứu

Luận án xác định các mục tiêu cụ thể:

  1. Xây dựng mô hình thị trường đa đám mây (O-Marketplace Model) sở hữu phương thức phân phối dịch vụ mới nhằm giảm thiểu hiện tượng khóa chặt nhà cung cấp và thúc đẩy cạnh tranh công bằng.
  2. Xây dựng mô hình ứng dụng đám mây dựa trên thành phần (Composable Application Model - CAM) cho phép mô tả, đóng gói và phân rã phần mềm thành các khối độc lập có thể triển khai trên các nền tảng đám mây không đồng nhất.
  3. Giải quyết ba bài toán kỹ thuật nền tảng trong ngữ cảnh O-Marketplace và mô hình CAM:
    • Cơ chế khớp nối (Matchmaking) giữa yêu cầu của thành phần phần mềm với các dịch vụ nền tảng đám mây tương thích.
    • Nâng cao tính khả chuyển ứng dụng (Cloud Application Portability) thông qua cập nhật tự động bản thiết kế (Blueprint) bằng hệ thống biến đổi hai chiều (Bidirectional Transformations - BXs).
    • Tự động sửa lỗi và phục hồi ứng dụng đa đám mây (Multi-cloud Application Auto-repairing) khi xảy ra sự cố thành phần dịch vụ.

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Kiến trúc thị trường dịch vụ đám mây đa nền tảng, mô hình biểu diễn ứng dụng đám mây khả cấu, phương pháp chuyển đổi đặc tả kỹ thuật, thuật toán khớp nối dịch vụ, cơ chế đồng bộ bản thiết kế ứng dụng và quy trình phục hồi lỗi phân tán.
  • Phạm vi nghiên cứu: Giải pháp phần mềm trong môi trường điện toán đám mây; ứng dụng dạng thành phần phân tán (thực nghiệm trên ứng dụng WordPress); các chuẩn mở và công cụ gồm OASIS TOSCA, SALSA runtime engine, OpenStack, Flexiant, StratusLab.

Tổng quan tài liệu và vị trí của luận án

Luận án hệ thống hóa các công trình nghiên cứu trong và ngoài nước liên quan đến các khía cạnh của kiến trúc đám mây:

Hướng nghiên cứu Tác giả và công trình tiêu biểu Đặc điểm và hạn chế tồn tại
Kiến trúc và hệ thống đa đám mây Vukolic [80], Grozev và Buyya [43], Petcu [78], Zhang et al. [84], Sabharwal et al. [74], XaaS Marketplace (Juan et al. [45]), Crane Cloud [8], EasyCloud [6] Đã thiết lập khái niệm và hệ thống tài nguyên đa đám mây nhưng chưa chuẩn hóa mô hình biểu diễn ứng dụng phân tán thành phần trên sàn giao dịch.
Môi giới và chợ đám mây Gartner [66, 67], Buyya et al. [20], Jamcracker [52], Bakos [9, 10], CCMarketplace [49], Bitnami, Ingram Micro Cloud, Binh-Minh Nguyen [55] Các chợ đám mây chủ yếu phục vụ triển khai ứng dụng trên từng đám mây riêng lẻ; phụ thuộc vào cơ chế độc quyền của nhà cung cấp hoặc trung gian môi giới.
Mô tả và đóng gói ứng dụng đám mây OASIS TOSCA [50], Alexander [3], Saatkamp et al. [69], DSL (Sledziewski et al., Brandtzaeg et al.), OpenStack Heat [60], Canonical Juju [46] TOSCA chưa hỗ trợ đầy đủ việc mô tả độc lập từng thành phần đa đám mây; thiếu cơ chế tích hợp các đặc tả thành phần riêng rẽ thành bản đặc tả hoàn chỉnh có kiểm tra tính hợp lệ.
Khớp nối dịch vụ đám mây (Matchmaking) Guillén et al. [44], Baryannis et al. [11], Kolb et al. [47], Zeng et al. [83], Zilci et al. [85], D'Andria et al. (Cloud4SOA) [27], García Gómez et al. [36], Elshareef et al. [29], mOSAIC [28, 64, 65], Saatkamp et al. [69] Hầu hết thuật toán tập trung vào môi trường đơn đám mây; phương pháp Split and Match của Saatkamp et al. mới bước đầu phân mảnh cấu trúc TOSCA nhưng chưa gắn với mô hình thành phần độc lập của chợ dịch vụ.
Tính khả chuyển ứng dụng (Portability) mOSAIC [28, 64, 65], Federated PaaS [61, 62], SeaClouds [18], Binh-Minh Nguyen (CAL) [55], Carrasco et al. (Trans-cloud / Brooklyn + TOSCA) [22, 23] Cung cấp giao diện trừu tượng nhưng chưa có giải pháp tự động đồng bộ trạng thái cấu trúc khi dịch vụ nền tảng thay đổi ở tầng bản thiết kế.
Phát hiện và xử lý lỗi ứng dụng Xavier et al. [30] Đề xuất cơ chế cấu hình chịu lỗi bằng tác tử (configurator) và xung nhịp (heartbeat) trên máy ảo, nhưng chưa mở rộng quy trình tự động phục hồi kiến trúc đa đám mây.

Khoảng trống nghiên cứu được lựa chọn

Luận án tập trung giải quyết khoảng trống: Thiếu một mô hình thị trường đa đám mây mở kết hợp với mô hình mô tả ứng dụng hướng thành phần độc lập, thiếu cơ chế tự động khớp nối, tự động cập nhật bản thiết kế qua biến đổi hai chiều và tự động phục hồi ứng dụng khi có sự cố dịch vụ trong môi trường đa nhà cung cấp.


Cơ sở lý thuyết và phương pháp nghiên cứu

Cơ sở lý thuyết và khái niệm

  1. Mô hình kiến trúc đám mây NIST (SP 800-145 / SP 500-292): Định nghĩa chuẩn về ba tầng dịch vụ IaaS, PaaS, SaaS và các vai trò chính (Cloud Consumer, Cloud Provider, Cloud Broker).
  2. Khái niệm Khóa chặt nhà cung cấp (Vendor Lock-in): Cơ chế phụ thuộc kinh tế và kỹ thuật khiến khách hàng chịu chi phí chuyển đổi cao do tính không tương thích của API, chuẩn lưu trữ và định dạng dữ liệu độc quyền.
  3. Chuẩn mô tả OASIS TOSCA (Topology and Orchestration Specification for Cloud Applications): Sử dụng các khái niệm mẫu cấu trúc (Topology Template), mẫu nút (Node Template), mẫu quan hệ (Relationship Template) và kế hoạch quản trị (Management Plans) để chuẩn hóa mô tả ứng dụng.
  4. Lý thuyết biến đổi hai chiều (Bidirectional Transformations - BXs): Khung toán học và giải thuật đồng bộ dữ liệu giữa bản thiết kế gốc (Source) và khung nhìn cập nhật (View/Target) thông qua hai phép biến đổi tiến (Forward) và hoàn trả (Putback).

Phương pháp nghiên cứu

  • Phương pháp mô hình hóa và hình thức hóa: Xây dựng mô hình trừu tượng O-Marketplace và mô hình ứng dụng CAM; đặc tả cú pháp và ngữ nghĩa các mẫu thành phần (CAM-D).
  • Phương pháp chuyển đổi đặc tả (Model Transformation): Thiết lập quy tắc ánh xạ chuyển đổi từ các mẫu mô tả CAM-D sang đặc tả chuẩn OASIS TOSCA.
  • Phương pháp thực nghiệm và kiểm thử hệ thống:
    • Tích hợp động cơ thực thi SALSA (Settling and Launching Service Applications) để tự động hóa việc cấp phát, triển khai và cấu hình ứng dụng trên các hạ tầng ảo hóa phân tán (OpenStack, Flexiant, StratusLab).
    • Triển khai thử nghiệm trường hợp điển hình: Ứng dụng WordPress đa tầng phân tán thành phần Web Application Server trên AWS và Database Server trên Google Cloud Platform.
  • Nguồn dữ liệu và tư liệu: Tài liệu kỹ thuật, chuẩn mở quốc tế (OCCI, OVF, CDMI, TOSCA), các tập dữ liệu cấu hình dịch vụ IaaS/PaaS và các kết quả đo lường triển khai thực tế trong phòng thí nghiệm (hợp tác nghiên cứu với Viện Tin học Quốc gia Nhật Bản - NII và Đại học Công nghệ TU Wien).

Nội dung chính theo từng chương

Chương 1: Giới thiệu (Introduction)

Chương 1 thiết lập bối cảnh nghiên cứu của điện toán đám mây và sự phát triển của các dịch vụ SaaS. Tác giả phân tích hiện trạng các chợ dịch vụ đám mây lớn (AWS Marketplace, Google Apps, IBM Marketplace), chỉ ra sự lệ thuộc của ứng dụng vào hạ tầng độc quyền và rủi ro khóa chặt nhà cung cấp. Chương này làm rõ động lực nghiên cứu, xác định mục tiêu xây dựng mô hình O-Marketplace và mô hình ứng dụng CAM, đồng thời liệt kê các đóng góp chính và bố cục tổng thể của luận án.

Chương 2: Cơ sở nền tảng và các công trình liên quan (Background)

Chương 2 cung cấp hệ thống kiến thức nền tảng và tổng quan tài liệu:

  • Phân loại môi trường đám mây: So sánh kiến trúc đám mây đơn (Single-cloud) và đa đám mây (Multi-cloud). Phân tích 11 lợi thế của môi trường đa đám mây: lựa chọn nhà cung cấp tối ưu, phối hợp linh hoạt dịch vụ, giá thành cạnh tranh, tính linh hoạt (agility), khả năng phục hồi (resilience), độ co giãn (scalability), an ninh, hiệu năng mạng, quản trị rủi ro, giảm thiểu khóa chặt nhà cung cấp và thúc đẩy đổi mới sáng tạo.
  • Các mô hình phân phối dịch vụ hiện hữu: Phân tích mô hình phân phối trực tiếp, mô hình môi giới (Cloud Service Brokerage - CSB) với cấu trúc của Gartner, kiến trúc Cloud Broker của Buyya et al., và các chợ đám mây (Cloud Marketplace).
  • Công nghệ liên quan: Khảo sát chi tiết chuẩn OASIS TOSCA (cấu trúc Topology Template, Node Template, Relationship Template, Management Plan) và khung thực thi SALSA của Duc-Hung et al. (cấu trúc tầng dịch vụ, năng lực cấu hình nguyên thủy/phức hợp, và các tầng triển khai runtime gồm Virtual Machine, Application Container, Web Container, Application).

Chương 3: Mô hình O-Marketplace (O-Marketplace)

Chương 3 trình bày chi tiết về mô hình thị trường đa đám mây O-Marketplace:

  • Phân tích hạn chế của phương thức phân phối hiện tại: Phân phối trực tiếp gây phân mảnh; môi giới CSB thiếu minh bạch và tạo sự phụ thuộc trung gian mới; chợ đám mây đóng giữ thế độc quyền nền tảng.
  • Cấu trúc tổng thể và các tác nhân của O-Marketplace: O-Marketplace hoạt động như một thị trường mở đóng vai trò trung gian kết nối các tác nhân: Nhà phát triển phần mềm (Software Developers), Nhà cung cấp nền tảng đám mây (Cloud Providers), và Khách hàng tiêu dùng đám mây (Cloud Consumers).
  • Cơ chế vận hành: Tách rời hoàn toàn phần mềm ứng dụng (SaaS) khỏi nền tảng thực thi (PaaS/IaaS). Nhà phát triển tự do phát triển các thành phần phần mềm không cần tuân theo API đóng của một hãng cụ thể; nhà cung cấp cạnh tranh cung cấp các dịch vụ nền tảng đáp ứng yêu cầu kỹ thuật của thành phần phần mềm.
  • Mục tiêu của O-Marketplace: Xóa bỏ rào cản công nghệ độc quyền, tối ưu hóa chi phí mua sắm dịch vụ thông qua cơ chế khớp nối đa dạng hóa, và đảm bảo quyền tự chủ cho khách hàng khi triển khai phần mềm trên nhiều đám mây.

Chương 4: Mô hình ứng dụng khả cấu (Composable Application Model - CAM)

Chương 4 là trọng tâm kỹ thuật của luận án, bao gồm các nội dung:

  • Khái niệm và mô hình trừu tượng của CAM: Phân rã ứng dụng đa đám mây thành hai phần tách biệt: Phần mềm đám mây (Cloud Software) và Nền tảng đám mây (Cloud Platform). Phần mềm đám mây được cấu thành từ các thành phần độc lập (Simple Software Component), các ngăn xếp phần mềm (Cloud Software Stack) và các cấu phần phức hợp (Cloud Software Composition). Nền tảng đám mây đại diện cho IaaS/PaaS cung cấp môi trường thực thi qua các giao thức chuẩn.
  • Hệ thống mẫu mô tả CAM-D (CAM-based Description Templates): Xây dựng tập mẫu đặc tả có cấu trúc gồm Mẫu ứng dụng đa đám mây, Mẫu cấu trúc chung thành phần, Mẫu thành phần đơn, Mẫu ngăn xếp, Mẫu cấu phần phức hợp và Mẫu dịch vụ nền tảng.
  • Phương pháp chuyển đổi CAM-D sang chuẩn OASIS TOSCA: Thiết lập cơ chế ánh xạ các mẫu CAM-D thành các Node Template và Relationship Template tương ứng trong tài liệu đặc tả TOSCA Service Template.
  • Thực nghiệm triển khai qua SALSA: Áp dụng mô hình CAM vào ứng dụng WordPress phân tán. Đặc tả CAM-D của WordPress được chuyển đổi thành định dạng TOSCA, sau đó được nạp vào SALSA để tự động hóa việc cấp phát hạ tầng máy ảo trên các đám mây khác nhau (AWS và GCP), cài đặt máy chủ web, cấu hình cơ sở dữ liệu và thiết lập liên kết mạng giữa các thành phần.
  • Các bài toán ứng dụng của CAM trong O-Marketplace:
    1. Khớp nối dịch vụ (Matchmaking): Đề xuất thuật toán tìm kiếm và ghép nối tập hợp các dịch vụ nền tảng (IaaS/PaaS) tương thích với yêu cầu kỹ thuật của các thành phần phần mềm CAM dựa trên tiêu chí chi phí tối ưu hoặc tùy biến từ người dùng.
    2. Khả chuyển ứng dụng (Portability): Quản trị vòng đời ứng dụng đa đám mây dựa trên bản thiết kế (Blueprint). Xây dựng hệ thống Blueprint Update System sử dụng lý thuyết biến đổi hai chiều (BXs) với chương trình cập nhật khung nhìn (View updating program), cho phép tự động đồng bộ mọi thay đổi về nền tảng vào bản thiết kế ứng dụng.
    3. Tự động phục hồi lỗi (Auto-repairing): Xây dựng quy trình tự động tái cấu trúc ứng dụng khi có thành phần dịch vụ gặp sự cố; sử dụng Blueprint để tái cấp phát dịch vụ nền tảng mới, tái triển khai thành phần phần mềm và tự động thiết lập lại các liên kết giao tiếp mạng như trạng thái ban đầu.

Chương 5: Kết luận và định hướng nghiên cứu (Conclusion and Perspectives)

Tổng kết các kết quả đạt được về mặt lý thuyết và thực nghiệm; đánh giá mức độ hoàn thành các mục tiêu nghiên cứu; chỉ ra một số điểm mở rộng cho các nghiên cứu tiếp theo trong tương lai.


Kết quả và những đóng góp mới

Luận án công bố các kết quả và đóng góp khoa học chính:

1. Đóng góp về mặt lý luận và mô hình

  • Đề xuất mô hình O-Marketplace: Một mô hình thị trường đa đám mây mới thiết lập cơ chế phân phối SaaS phân tán, xóa bỏ sự ràng buộc vào hệ sinh thái của một nhà cung cấp đơn lẻ, tạo lập môi trường cạnh tranh mở giữa các nhà cung cấp nền tảng và bảo vệ lợi ích kinh tế của người tiêu dùng.
  • Xây dựng mô hình ứng dụng CAM (Composable Application Model): Cung cấp mô hình biểu diễn hình thức và phương pháp mô tả CAM-D cho phép chuẩn hóa việc mô hình hóa ứng dụng đám mây dưới dạng các thành phần độc lập, phân tách rõ ràng giữa tầng phần mềm và tầng nền tảng thực thi.

2. Đóng góp về mặt kỹ thuật và thực tiễn

  • Quy trình chuyển đổi đặc tả sang chuẩn OASIS TOSCA: Thiết lập phương pháp ánh xạ từ CAM-D sang TOSCA Service Template, cho phép tương thích với các công cụ điều phối đám mây quốc tế và thực thi triển khai tự động thông qua công cụ SALSA.
  • Thuật toán khớp nối dịch vụ đa đám mây: Phát triển giải pháp tìm kiếm và chọn lọc nhóm dịch vụ nền tảng phù hợp nhất cho các thành phần phần mềm trong môi trường chợ dịch vụ theo ràng buộc kỹ thuật và chiến lược chi phí.
  • Hệ thống cập nhật bản thiết kế tự động cho tính khả chuyển: Ứng dụng lý thuyết biến đổi hai chiều (BXs) để xây dựng hệ thống Blueprint Update System, đảm bảo bản thiết kế kiến trúc luôn được đồng bộ chính xác khi có sự thay đổi dịch vụ nền tảng IaaS/PaaS.
  • Quy trình tự động sửa lỗi và phục hồi ứng dụng: Giải quyết bài toán gián đoạn dịch vụ phân tán thông qua cơ chế tự động tái triển khai và cấu hình lại liên kết thành phần dựa trên bản thiết kế CAM Blueprint.

Các kết quả nghiên cứu trong luận án đã được công bố trong 5 công trình khoa học tại các hội nghị và tạp chí chuyên ngành (bao gồm các bài báo tại hội thảo quốc tế như SOMET 2019 cùng các ấn phẩm liên quan).


Hạn chế và hướng nghiên cứu tiếp

Dựa trên nội dung văn bản luận án, các hạn chế và hướng phát triển được xác định:

  • Phạm vi thử nghiệm công nghệ nền tảng: Quá trình thực nghiệm triển khai tự động hóa qua SALSA và TOSCA chủ yếu tập trung vào các hệ thống mã nguồn mở và môi trường hạ tầng thử nghiệm (OpenStack, Flexiant, StratusLab) cùng trường hợp ứng dụng web phân tán (WordPress).
  • Định hướng nghiên cứu tiếp theo:
    • Mở rộng đánh giá mô hình CAM và O-Marketplace trên các dạng ứng dụng phức hợp có yêu cầu khắt khe hơn về độ trễ, tính toán phân tán quy mô lớn và lưu lượng giao dịch cao.
    • Tích hợp sâu hơn các thỏa thuận mức dịch vụ (Service Level Agreement - SLA) và giám sát chất lượng dịch vụ (QoS) thời gian thực vào cơ chế khớp nối và phục hồi lỗi tự động.
    • Mở rộng các quy tắc biến đổi hai chiều cho các cấu trúc đặc tả phức tạp hơn ngoài phạm vi các mẫu nút (Node Template) hiện hành.

Giá trị tham khảo

Luận án có giá trị tham khảo chuyên môn trong các lĩnh vực:

  • Nghiên cứu sinh và học viên cao học ngành Công nghệ thông tin, Hệ thống thông tin, Khoa học máy tính: Tham khảo phương pháp luận mô hình hóa ứng dụng đám mây phân tán, cách tiếp cận chuẩn OASIS TOSCA, phương pháp biến đổi mô hình hai chiều (BXs) và kỹ thuật điều phối triển khai bằng SALSA.
  • Giảng viên và các nhà nghiên cứu: Sử dụng làm tài liệu tham khảo chuyên sâu trong các học phần Điện toán đám mây nâng cao, Kiến trúc phần mềm hướng dịch vụ và Hệ thống phân tán.
  • Kỹ sư kiến trúc phần mềm và phát triển hệ thống (DevOps/Cloud Architects): Ứng dụng mô hình CAM và quy trình Blueprint để thiết kế các phần mềm SaaS có khả năng di chuyển linh hoạt giữa các nhà cung cấp đám mây (AWS, GCP, Azure), loại bỏ nguy cơ khóa chặt công nghệ.

Câu hỏi thường gặp

1. Vấn đề khóa chặt nhà cung cấp (vendor lock-in) được luận án phân tích qua ví dụ thực tế nào?
Luận án phân tích ví dụ người dùng mua ứng dụng WordPress trên Bitnami. Ứng dụng chỉ có thể triển khai trên một nhà cung cấp duy nhất (AWS, GCP hoặc Azure). Trong khi máy ảo của AWS cung cấp năng lực tính toán gấp đôi máy ảo tương đương của GCP trong 24 giờ với mức giá tương tự, thì công nghệ cơ sở dữ liệu của Google lại tốt hơn. Tuy nhiên, kiến trúc hiện tại không cho phép phân tách để chạy máy chủ ứng dụng trên AWS và máy chủ cơ sở dữ liệu trên GCP, buộc người dùng bị khóa chặt vào một nhà cung cấp duy nhất.

2. Mô hình CAM phân tách cấu trúc ứng dụng đám mây như thế nào?
CAM phân tách ứng dụng đám mây thành hai phần độc lập:

  • Phần mềm đám mây (Cloud Software): Gồm thành phần đơn (Simple Software Component), ngăn xếp phần mềm (Cloud Software Stack) hoặc cấu phần phức hợp (Cloud Software Composition).
  • Nền tảng đám mây (Cloud Platform): Đại diện cho các dịch vụ IaaS và PaaS cung cấp môi trường thực thi, kết nối với phần mềm qua các giao thức tiêu chuẩn.

3. Khung thực thi SALSA đóng vai trò gì trong phần thực nghiệm của luận án?
SALSA (Settling and Launching Service Applications) đóng vai trò là động cơ runtime nhận đầu vào là đặc tả dạng TOSCA (được chuyển đổi từ CAM-D), sau đó thực hiện tự động hóa việc cấp phát tài nguyên, cài đặt và cấu hình đa tầng (máy ảo, container, ứng dụng) trên các hạ tầng đám mây không đồng nhất (OpenStack, Flexiant, StratusLab).

4. Cơ chế biến đổi hai chiều (Bidirectional Transformations - BXs) được sử dụng cho mục đích gì trong luận án?
BXs được sử dụng làm hạt nhân trong hệ thống Blueprint Update System nhằm phục vụ tính khả chuyển ứng dụng. Khi có bất kỳ sự thay đổi nào từ các thành phần nền tảng đám mây (IaaS/PaaS), các phép biến đổi tiến (Forward) và hoàn trả (Putback) sẽ tự động cập nhật và đồng bộ khung nhìn cấu hình vào bản thiết kế (Blueprint) của ứng dụng.

5. Quy trình tự động sửa lỗi (Auto-repairing) trong ngữ cảnh O-Marketplace vận hành ra sao?
Khi một hoặc nhiều thành phần dịch vụ gặp sự cố, hệ thống dựa vào bản thiết kế CAM Blueprint để xác định cấu hình gốc, tìm kiếm dịch vụ nền tảng thay thế tương thích, tự động tái triển khai thành phần phần mềm bị lỗi và tái thiết lập các liên kết giao tiếp mạng để khôi phục hoạt động của ứng dụng về trạng thái ổn định ban đầu.


Kết luận

Luận án tiến sĩ của tác giả Huỳnh Hoàng Long đã giải quyết bài toán khóa chặt nhà cung cấp trong điện toán đám mây bằng việc đề xuất mô hình thị trường mở O-Marketplace và mô hình ứng dụng khả cấu CAM. Bằng việc kết hợp phương pháp mô hình hóa hình thức với chuẩn OASIS TOSCA, khung thực thi SALSA và lý thuyết biến đổi hai chiều BXs, công trình đã chứng minh tính khả thi của việc phát triển, phân phối, tự động khớp nối, nâng cao tính khả chuyển và tự động phục hồi ứng dụng phân tán trên môi trường đa đám mây. Kết quả nghiên cứu đóng góp giải pháp kỹ thuật hoàn chỉnh cho lĩnh vực kiến trúc phần mềm và dịch vụ đám mây đa nền tảng.