Giới thiệu

Trong môi trường phần mềm và phần cứng ngày càng phức tạp, việc hiểu rõ hành vi thời gian chính xác của hệ thống đã trở nên quan trọng. Dù đang thiết kế vi điều khiển nhúng cho các hệ thống an toàn ô tô, điều phối các dịch vụ đám mây phân tán với yêu cầu độ trễ nghiêm ngặt, hay mô hình hóa các giao thức truyền thông thời gian thực, các kỹ sư đều cần những công cụ trực quan mạnh mẽ để suy luận về các tương tác phụ thuộc vào thời gian. Sơ đồ thời gian UML đóng vai trò là công cụ thiết yếu trong lĩnh vực này, cung cấp một ngôn ngữ trực quan chuẩn hóa để biểu diễn các chuyển đổi trạng thái, trao đổi tin nhắn và các ràng buộc thời gian giữa các thành phần hệ thống.

Nghiên cứu điển hình này khám phá các khả năng toàn diện của sơ đồ thời gian UML trong nền tảng mô hình hóa Visual Paradigm. Chúng tôi xem xét các khái niệm nền tảng, quy trình triển khai thực tế, và tác động cách mạng của tự động hóa được hỗ trợ trí tuệ nhân tạo đối với việc tạo sơ đồ thời gian. Bằng cách kết nối các quy định lý thuyết UML với các tính năng công cụ thực tế—bao gồm sinh tự động tích hợp AI, thao tác sóng tương tác và tích hợp API mở—tài liệu này trao quyền cho các kiến trúc sư hệ thống, kỹ sư nhúng và các đội sản phẩm mô hình hóa các hành vi phụ thuộc thời gian với độ rõ ràng và hiệu quả chưa từng có. Dù bạn đang xác minh chuỗi tín hiệu phần cứng hay tối ưu hóa chiến lược thời gian chờ dịch vụ đám mây, các kỹ thuật được trình bày ở đây cung cấp một khung nền vững chắc để thành thạo thiết kế hệ thống theo thời gian.

Sơ đồ thời gian là gì?

Sơ đồ thời gian làUMLcác sơ đồ tương tác được sử dụng để hiển thị các tương tác khi mục đích chính của sơ đồ là suy luận về thời gian.

Sơ đồ thời gian tập trung vào các điều kiện thay đổi trong và giữa các đường đời dọc theo trục thời gian tuyến tính. Sơ đồ thời gian mô tả hành vi của cả các bộ phân loại riêng lẻ lẫn các tương tác giữa các bộ phân loại, tập trung vào thời điểm xảy ra các sự kiện gây ra thay đổi trong các điều kiện được mô hình hóa của các đường đời.

Sơ đồ thời gian trong tầm nhìn tổng quan

Biểu diễn đường thời gian trạng thái

Sự thay đổi từ mộttrạng tháisang trạng thái khác được biểu diễn bằngsự thay đổi mức độ của đường đời. Trong khoảng thời gian mà đối tượng ở một trạng thái nhất định, đường thời gian chạy song song với trạng thái đó. Sự thay đổi trạng thái xuất hiện dưới dạng thay đổi theo chiều dọc từ mức này sang mức khác. Nguyên nhân của sự thay đổi, giống như trong sơ đồ trạng thái hay sơ đồ tuần tự, là việc nhận được một tin nhắn, một sự kiện gây ra thay đổi, một điều kiện bên trong hệ thống, hoặc thậm chí chỉ đơn giản là sự trôi qua của thời gian.

Biểu diễn đường đời giá trị

Hình dưới đây cho thấy ký hiệu thay thế của sơ đồ thời gian UML. Nó thể hiện trạng thái của đối tượng nằm giữa hai đường ngang giao nhau với nhau mỗi khi trạng thái thay đổi.

Các khái niệm cơ bản của sơ đồ thời gian

Các thành phần chính của sơ đồ UML thời gian – đường đời, đường thời gian, trạng thái hoặc điều kiện, tin nhắn, ràng buộc thời gian, thước đo thời gian.

Đường đời

Một đường đời trong sơ đồ thời gian tạo thành một không gian hình chữ nhật trong khu vực nội dung của khung. Đường đời là một phần tử được đặt tên, đại diện cho một thành viên riêng lẻ trong tương tác. Nó thường được sắp xếp theo chiều ngang để đọc từ trái sang phải.

Nhiều đường đời có thể được xếp chồng lên nhau trong cùng một khung để mô hình hóa tương tác giữa chúng.

Đường thời gian trạng thái trong sơ đồ thời gian

Một đường thời gian trạng thái hoặc điều kiện đại diện cho tập hợp các trạng thái hợp lệ và thời gian. Các trạng thái được xếp chồng lên nhau ở mép trái của đường đời, từ trên xuống dưới.

Nguyên nhân của sự thay đổi, giống như trong sơ đồ trạng thái hay sơ đồ tuần tự, là việc nhận được một tin nhắn, một sự kiện gây ra thay đổi, một điều kiện bên trong hệ thống, hoặc thậm chí chỉ đơn giản là sự trôi qua của thời gian.

Nhiều ngăn

Có thể xếp chồng nhiều đường đời của các đối tượng khác nhau trong cùng một sơ đồ thời gian. Một đường đời nằm phía trên đường đời khác. Các tin nhắn gửi từ một đối tượng sang đối tượng khác có thể được biểu diễn bằng các mũi tên đơn giản. Điểm đầu và điểm cuối của mỗi mũi tên cho biết khi nào mỗi tin nhắn được gửi và khi nào được nhận.

Đường đời trạng thái

Một đường đời trạng thái thể hiện sự thay đổi trạng thái của một đối tượng theo thời gian. Trục X hiển thị thời gian trôi qua theo bất kỳ đơn vị nào được chọn, trong khi trục Y được gán nhãn bằng một danh sách trạng thái nhất định. Một đường đời trạng thái được hiển thị dưới đây:

Đường sống giá trị

Một đường sống giá trị thể hiện sự thay đổi giá trị của một mục theo thời gian. Trục hoành hiển thị thời gian trôi qua theo bất kỳ đơn vị nào được chọn, giống như đối với đường sống trạng thái. Giá trị được hiển thị giữa cặp đường thẳng ngang, giao nhau tại mỗi lần thay đổi giá trị.

Lộ trình thời gian và ràng buộc

Chúng ta có thể sử dụng độ dài của một lộ trình thời gian để chỉ ra thời gian mà đối tượng duy trì ở một trạng thái cụ thể bằng cách đọc từ trái sang phải. Để liên kết các phép đo thời gian, bạn hiển thị các dấu chấm nhỏ dọc theo phần dưới của khung hình.
Ví dụ dưới đây cho thấy sự kiện Đăng nhập được nhận sau ba đơn vị thời gian kể từ khi bắt đầu chuỗi. Để thể hiện thời gian tương đối, bạn có thể đánh dấu một thời điểm cụ thể bằng tên biến. Hình vẽ đánh dấu thời điểm sự kiện sendMail được nhận là thời gian

Bạn có thể sử dụng các dấu thời gian tương đối trong ràng buộc để chỉ ra rằng một tin nhắn phải được nhận trong một khoảng thời gian nhất định.

Đường sống trạng thái và đường sống giá trị đặt cạnh nhau

Đường sống trạng thái và đường sống giá trị có thể được đặt nối tiếp nhau theo bất kỳ cách kết hợp nào. Các tin nhắn có thể được truyền từ đường sống này sang đường sống khác. Mỗi chuyển đổi trạng thái hoặc giá trị có thể có một sự kiện được xác định, một ràng buộc thời gian chỉ ra khi sự kiện phải xảy ra, và một ràng buộc thời lượng chỉ ra trạng thái hoặc giá trị phải duy trì trong bao lâu.

Tính nhất quán mô hình giữa các sơ đồ tương tác

Sơ đồ thời gian luôn phải nhất quán với sơ đồ trình tự liên quan và máy trạng thái. Để làm điều này, chúng ta có thể gắn các trạng thái vào đường sống cho từng đối tượng trong sơ đồ trình tự. Sau đó, chúng ta có thể dễ dàng suy ra sơ đồ thời gian tương ứng bằng cách kiểm tra việc truyền tin nhắn giữa các đối tượng dựa trên các trạng thái được gắn vào đường sống. Ví dụ Carpark dưới đây cho thấy tính nhất quán mô hình giữa hai sơ đồ tương tác.

Hình trên cho thấy sơ đồ trình tự của ví dụ bãi đậu xe, trong khi hình dưới trình bày sơ đồ thời gian tương ứng của ví dụ bãi đậu xe. Các phần khác nhau của sơ đồ thời gian tham chiếu đến nội dung của sơ đồ trình tự.

Làm thế nào để vẽ sơ đồ thời gian trong UML?

Sơ đồ thời gian UML tập trung vào thời điểm cụ thể khi tin nhắn được gửi từ một đối tượng sang đối tượng khác và thời điểm cụ thể khi các đối tượng thay đổi trạng thái. Sơ đồ thời gian thường được sử dụng khi làm việc với các hệ thống thời gian thực.

Các bước để phát triển sơ đồ thời gian

Các bước dưới đây nêu rõ các bước chính cần thực hiện khi tạo sơ đồ thời gian UML.

Sắp xếp nhiều đường sống của các đối tượng khác nhau trong cùng một sơ đồ thời gian.
Đặt một đường sống có một số trạng thái khả dĩ phía trên đường sống khác theo chiều dọc, và thời gian trôi qua (ví dụ theo giây) theo chiều ngang.
Mỗi đối tượng có một tập hợp các trạng thái khả dĩ. Trạng thái sẽ thay đổi theo thời gian được chỉ ra bởi đường thời gian.
Các tin nhắn được gửi từ một đối tượng sang đối tượng khác có thể được mô tả bằng các mũi tên đơn giản.
Nhắc lại rằng điểm bắt đầu và điểm kết thúc của mỗi mũi tên cho biết khi nào mỗi tin nhắn được gửi và khi nào nó được nhận.

Sơ đồ thời gian trong tầm nhìn

Phát triển sơ đồ thời gian

Nhấp vào Sơ đồ > Mới từ thanh công cụ.
Trong cửa sổ Sơ đồ mới cửa sổ, chọn Sơ đồ thời gian, sau đó nhấp vào Tiếp theo. Bạn có thể sử dụng thanh tìm kiếm để tìm sơ đồ.
Đặt tên sơ đồ rồi nhấp vào Được rồi. Chúng tôi sẽ đặt tên sơ đồ Chọn Sơ đồ Thời gian trong hướng dẫn này.
Sau đó bạn sẽ thấy một sơ đồ trống
Chọn Khung Thời gian, sau đó nhấp hoặc kéo trên sơ đồ để tạo một khung thời gian.
Nhấp đúp vào từ Khung trên khung thời gian để đổi tên khung.
Nhấp chuột phải vào khung và chọn Thêm Dòng Cuộc sống để tạo một dòng cuộc sống.
Nhấp đúp vào Dòng Cuộc sống và đổi tên dòng cuộc sống thành Nhà kiểm tra. Nhấp chuột phải Nhà kiểm tra và chọn Thêm Trạng thái/Điều kiện để tạo một trạng thái hoặc điều kiện mới.
Nhấp đúp vào Trạng thái/Điều kiện và đổi tên trạng thái hoặc điều kiện. Trong hướng dẫn này, chúng tôi sẽ đổi tên trạng thái này thành Ngưng hoạt động.
Lặp lại bước 7 đến 9 để tạo thêm các đường sống và trạng thái hoặc điều kiện.
Bạn nên thấy một sơ đồ như thế này sau khi thêm các đường sống và trạng thái:
Nhấp chuột phải vào bất kỳ khoảng trống nào trong khung thời gian, rồi nhấp vàoThêm Đơn vị Thời gian. Sau đó, chúng ta sẽ thấy một đường thẳng đứng nhỏ (đơn vị thời gian) xuất hiện ở phía dưới khung.
Nhấp đúp vào đơn vị thời gian để thêm chú thích.
Lặp lại bước 12 và 13 để thêm các đơn vị thời gian khác. Trừ đơn vị thời gian bên trái cùng, bạn có thể kéo và di chuyển tất cả các đơn vị thời gian. Khi bạn thêm các đơn vị thời gian mới, bạn sẽ thấy một đường xuất hiện trên mỗi đường sống.
Khi bạn di chuyển con trỏ gần đường được nhắc đến ở bước 13, bạn sẽ thấy đường đó được chia tách bởi các chấm và một đường màu xanh ở phía trên.
Bạn có thể di chuyển một đoạn đơn lẻ sang trạng thái/điều kiện khác bằng cách nhấp và kéo đường đã tách rời…

Hoặc di chuyển các đường nối trên cùng một giai đoạn/điều kiện bằng cách nhấp và kéo đường màu xanh.
Bạn có thể nhận được điều gì đó như thế này sau khi di chuyển các đường:
Nhấp chuột phải vào bất kỳ khoảng trống nào trong khung thời gian, rồi nhấp vàoChỉnh sửa Khung.
Trong cửa sổChỉnh sửa Khunghãy nhấp vàoTin nhắn Thời gian > Thêm.
Trong cửa sổThêm Tin nhắn Thời gianhãy đặt tên cho tin nhắn thời gian và thiết lập đường sống bắt đầu/kết thúc mong muốn và thời gian.
Lặp lại bước 19 và 20 để thêm các tin nhắn thời gian khác
Nhấp chuột phải vào đường sốngKiểm tra an toànrồi chọnChỉnh sửa Đường sống.
Trong cửa sổChỉnh sửa Đường sốnghãy chọnRàng buộc Thời lượng > Thêm.
Trong Thêm ràng buộc thời lượng, chọn thời điểm bắt đầu/kết thúc và thiết lập thời lượng của ràng buộc, sau đó nhấp vào OK.
Lặp lại bước 23 và 24 để thêm các ràng buộc thời lượng khác.
Sau khi thêm các ràng buộc thời lượng, nhấp vào OK trên Chỉnh sửa đường thời gian cửa sổ.
Bạn sẽ nhận được điều tương tự khi hoàn thành sơ đồ:

Phương pháp sơ đồ thời gian được hỗ trợ bởi AI

Visual Paradigm có một công cụ sinh sơ đồ thời gian được hỗ trợ bởi AI, tích hợp sẵn cùng bộ công cụ sơ đồ thời gian cốt lõi UML 2.x. Trước đây, do trục thời gian ngang chặt chẽ và các dạng sóng phức tạp, việc vẽ thủ công các bố cục mô hình hóa này được xem là một trong những thao tác tốn thời gian nhất. Nền tảng này sử dụng AI sinh thành để đơn giản hóa đáng kể việc thiết kế hệ thống phần cứng thời gian thực và nhúng.

Visual Paradigm tích hợp xử lý ngôn ngữ tiên tiến nhất để chuyển các ràng buộc thời gian thô thành các chuyển tiếp dạng sóng trong miền thời gian được căn chỉnh chính xác.

Tạo dạng sóng từ văn bản: Bạn có thể nhập các chuỗi ngôn ngữ đơn giản, rõ ràng để điền vào dòng thời gian. Ví dụ: “Vẽ sơ đồ thời gian cho một lò vi sóng thông minh. Bộ từ trường (Magnetron) ở trạng thái chờ trong 2 giây, chuyển sang chế độ công suất cao trong 30 giây, sau đó tắt. Cảm biến cửa chuyển từ trạng thái Đóng sang Mở ở giây thứ 15, gây ra sự kiện an toàn ngay lập tức.” AI sẽ phân tích các sự kiện này, tạo các mốc thời gian ngang rời rạc, thiết lập các đường thời gian dọc riêng biệt và xây dựng các chuyển tiếp dạng sóng.
Tự động thay đổi tỷ lệ và căn chỉnh ràng buộc: Thay vì định dạng khoảng cách thủ công, AI xử lý căn chỉnh hình học chính xác dựa trên các thông số số học được chỉ định trong văn bản của bạn. Nó tự động xử lý vị trí mốc thời gian ban đầu, thay đổi tỷ lệ dạng sóng và nhóm các tham số hệ thống vào các hàng riêng biệt.
Tái cấu trúc ngôn ngữ tự nhiên: Sau khi dạng sóng ban đầu được hiển thị, bạn có thể nói chuyện trực tiếp với trợ lý chatbot AI để thay đổi dòng thời gian. Các lệnh như “Dời trễ thời gian hết hạn của cảm biến về sau 50ms” hoặc “Chèn một mũi tên thông báo lỗi ngoại lệ từ đường thời gian A sang đường thời gian B tại t=5” sẽ tự động điều chỉnh các đoạn thời gian trực quan trên bảng vẽ.

Khả năng mô hình hóa kỹ thuật cốt lõi

Sau khi AI tạo cơ sở cấu trúc cho bạn, Visual Paradigm cho phép tùy biến sâu sắc bằng cách sử dụng các quy định tương tác chuẩn UML 2.0:

Hỗ trợ ký hiệu kép: Các thành phần được mô hình hóa hỗ trợ cả hai chế độ xem: sơ đồ thời gian trạng thái (dạng sóng liên tục thay đổi lên xuống giữa các điều kiện văn bản chồng lên nhau) và sơ đồ thời gian giá trị (các khối ngang cho biết khi nào các giá trị xuyên hệ thống thay đổi theo thời gian).
Thao tác tương tác với dạng sóng: Bạn có thể nhấp và kéo các đoạn đường riêng lẻ trực tiếp trên dòng thời gian. Kéo đoạn đường lên hoặc xuống sẽ thay đổi trạng thái/điều kiện của nó, trong khi di chuyển biên giới sang trái hoặc phải sẽ nén hoặc giãn nở động thời gian của trạng thái đó một cách động.
Ràng buộc thời gian và thời lượng: Các chỉ báo độ chính xác cho phép bạn áp dụng các giới hạn thời gian tương đối và tuyệt đối. Bạn có thể dễ dàng định nghĩa các ràng buộc thời lượng (ví dụ: d..3d) và các dấu mốc thời gian trực tiếp dọc theo biên ngang để đảm bảo tuân thủ kỹ thuật phần cứng.
Tin nhắn giữa các đường thời gian: Vẽ các mũi tên truyền thông hướng giữa các ngăn đứng chồng lên nhau. Những mũi tên này xác định chính xác thời điểm thay đổi trạng thái trên một đường sống sẽ gửi tin nhắn hoặc tín hiệu kích hoạt để thay đổi hành vi của đường sống kề bên.

Tự động hóa API Mở & Trực quan hóa Nhật ký

Đối với các đội kỹ thuật làm việc với phần cứng vật lý hoặc các hệ thống mô phỏng, Visual Paradigm bao gồm các điểm nối lập trình cho dữ liệu thời gian:

Bộ phân tích nhật ký mô phỏng: Sử dụng API Mở của Visual Paradigm, các nhà phát triển có thể nhập trực tiếp các đầu ra mô phỏng văn bản thô, nhật ký bộ phân tích logic hoặc các dấu vết mã nhúng vào phần mềm.
Trực quan hóa hồi quy tự động: Chuyển đổi trực tiếp các tệp nhật ký hoạt động thành các sơ đồ Thời gian UML sạch sẽ, cho phép kỹ sư trực quan chồng lấn và so sánh hành vi phần cứng thực tế với mong đợi trong thời gian chạy để phát hiện lỗi ngay lập tức.

Bạn có đang sử dụng sơ đồ thời gian để lập bản đồ phần cứng nhúng/vi điều khiển, hay bạn đang thiết kế thời gian chờ mạng đám mây phân tán không? Hãy cho tôi biết, và tôi có thể tạo ra một chuỗi lời nhắc AI được thiết kế riêng cho dự án thời gian của bạn!

Kết luận

Sơ đồ Thời gian UML đại diện cho một phương pháp mạnh mẽ và chuẩn hóa để mô hình hóa hành vi hệ thống phụ thuộc thời gian – một khả năng ngày càng trở nên quan trọng khi các hệ thống trở nên phân tán hơn, thời gian thực và có tính an toàn cao. Qua nghiên cứu trường hợp này, chúng tôi đã khám phá cả lý thuyết nền tảng và ứng dụng thực tiễn của sơ đồ thời gian trong môi trường mô hình hóa toàn diện của Visual Paradigm.

Việc tích hợp khả năng sinh tự động dựa trên AI đã chuyển đổi một quy trình trước đây tốn nhiều công sức và dễ sai sót thành một quy trình trực quan, giao tiếp tự nhiên. Kỹ sư hiện có thể mô tả các yêu cầu về thời gian bằng ngôn ngữ tự nhiên và nhận ngay lập tức các sơ đồ được cấu trúc chuyên nghiệp, đẩy nhanh vòng lặp thiết kế và giảm thiểu sự mơ hồ trong yêu cầu. Đồng thời, các tính năng nâng cao như hỗ trợ ký hiệu kép, chỉnh sửa sóng tương tác và tự động hóa API mở đảm bảo các sơ đồ được sinh ra vẫn hoàn toàn tùy biến và tích hợp được vào các quy trình kỹ thuật hiện có.

Dù là xác minh các chuỗi phần mềm nhúng, tối ưu chiến lược thời gian chờ dịch vụ vi mô, hay tài liệu trao đổi giữa phần cứng và phần mềm, việc thành thạo sơ đồ Thời gian UML trang bị cho các đội ngũ sự rõ ràng cần thiết để xây dựng các hệ thống đáng tin cậy, có nhận thức về thời gian. Bằng cách kết hợp ngữ nghĩa nghiêm ngặt của UML với các công cụ thông minh của Visual Paradigm, các tổ chức có thể lấp đầy khoảng cách giữa các yêu cầu thời gian trừu tượng và các thiết kế hệ thống cụ thể, có thể kiểm chứng được – cuối cùng mang lại sản phẩm chất lượng cao hơn với sự tự tin và hiệu quả lớn hơn.

Tài liệu tham khảo

Thư viện Sơ đồ Thời gian của Visual Paradigm: Trình bày các ví dụ và mẫu sơ đồ thời gian UML cho mô hình hóa hệ thống thời gian thực.
Tạo sơ đồ bằng AI cho Sơ đồ Thời gian: Ghi chú phát hành mô tả khả năng tạo sơ đồ thời gian dựa trên AI của Visual Paradigm.
Làm thế nào để vẽ Sơ đồ Thời gian trong UML: Hướng dẫn từng bước tạo sơ đồ thời gian UML bằng cách sử dụng Visual Paradigm.
Hướng dẫn toàn diện về Hệ sinh thái AI của Visual Paradigm: Khám phá cách trí tuệ nhân tạo thay đổi quy trình mô hình hóa trực quan trong Visual Paradigm.
Sơ đồ Thời gian là gì?: Hướng dẫn toàn diện giải thích sơ đồ thời gian UML, mục đích và các khái niệm cốt lõi.
Nghiên cứu trường hợp: Nâng cao hiệu quả mô hình hóa hệ thống với trợ lý chatbot được hỗ trợ AI: Ví dụ thực tế về việc sử dụng trợ lý chatbot AI của Visual Paradigm để cải thiện năng suất mô hình hóa.
Tận dụng AI của Visual Paradigm cho việc tạo sơ đồ: Hướng dẫn Tuyệt đối năm 2026: Các chiến lược nâng cao để tận dụng khả năng tạo sơ đồ dựa trên AI trong Visual Paradigm.
Ví dụ Sơ đồ Hoạt động AI: Quy trình đặt phòng khách sạn: Minh họa các sơ đồ hoạt động được tạo bởi AI cho các quy trình kinh doanh phức tạp.
Thành thạo Sơ đồ Thời gian UML: Tổng quan thực tiễn về cách tiếp cận của Visual Paradigm trong mô hình hóa hệ thống thời gian thực: Phân tích chi tiết về các thực hành tốt nhất cho sơ đồ thời gian và cách triển khai trong Visual Paradigm.
Video hướng dẫn sơ đồ thời gian UML: Video hướng dẫn từng bước minh họa cách tạo và sử dụng sơ đồ thời gian trong Visual Paradigm.
Các kỹ thuật nâng cao cho sơ đồ thời gian: Hướng dẫn mở rộng bao gồm các tính năng nâng cao và các tùy chọn tùy biến cho sơ đồ thời gian UML.
Sơ đồ thời gian là gì? (Tiếng Trung truyền thống): Hướng dẫn bằng tiếng Trung truyền thống về sơ đồ thời gian UML và các ứng dụng của chúng.
Open API: Làm nổi bật phần tử: Tài liệu hướng dẫn sử dụng Open API của Visual Paradigm để thao tác chương trình hóa các phần tử sơ đồ.
Bản trình diễn Open API của Visual Paradigm: Video hướng dẫn cách sử dụng Open API của Visual Paradigm để tự động hóa việc tạo và thao tác sơ đồ.
Tạo sơ đồ thời gian bằng Open API – Kinh nghiệm từ Visual Paradigm: Tài liệu kỹ thuật về việc tạo sơ đồ thời gian theo chương trình thông qua Open API của Visual Paradigm.

This post is also available in English, English, Bahasa Indonesia, 日本語, Polski, Portuguese, Ру́сский, 简体中文 and 繁體中文.