Bộ Công Thương, cục đổi mới sáng tạo, chuyển đổi xanh và khuyến công
IGIP IGIP
Trang chủ

Thứ hai, 09/06/2025 | 20:50 GMT+7

Công nghệ và Đổi mới sáng tạo

Xây dựng chương trình chuyển đổi một số đối tượng của biểu đồ trình tự sang mạng petri hàng đợi

10/03/2023
Bài báo trình bày cách xây dựng chương trình chuyển đổi tự động một số đối tượng trong biểu đồ trình tự sang mạng Petri hàng đợi.
Tóm tắt:
Biểu đồ trình tự là một sự trừu tượng hóa của mô hình giao tiếp giữa các thực thể, đối tượng hoặc lớp khác nhau. Nó được sử dụng để mô tả một dấu vết thực thi của một hệ thống cụ thể, tại một thời điểm cụ thể. Mạng Petri hàng đợi (Queueing Petri Nets - QPNs) là các hình thức đồ họa, ở mức độ trừu tượng thấp hơn, có sẵn các kỹ thuật giải pháp dựa trên mô phỏng hiệu quả và chuyên nghiệp. Bài báo trình bày cách xây dựng chương trình chuyển đổi tự động một số đối tượng trong biểu đồ trình tự sang mạng Petri hàng đợi. Cách tiếp cận được trình bày trong bài báo có thể được sử dụng để chuyển đổi tự động một biểu đồ trình tự phức hợp thành mạng Petri hàng đợi.
Từ khóa: biểu đồ trình tự, mạng hàng đợi Petri, mô hình chuyển đổi
Ảnh minh họa: dangcongsan.vn/
BUILDING A PROGRAM TO CONVERT SOME OBJECTS OF SEQUENCE DIAGRAM INTO QUEUEING PETRI NETS
Abstract: 
​A sequence diagram is an abstraction of the communication model between different entities, objects, or classes. It is used to describe an execution trace of a particular system at a particular time. Queueing Petri Nets (QPNs) are graphical forms, at a lower level of abstraction, with efficient and professional simulation-based solution techniques available. This paper presents how to build a program to automatically convert some objects in the sequence diagram to QPNs. Our approach can be used to automatically convert a complex sequence diagram into a QPNs.
Keywords: sequence diagrams, queueing Petri Nets, model Transformation
Thông tin chi tiết, xem tại đây.
Vũ Văn Đốc
Khoa Công nghệ thông tin, Trường Đại học Kinh tế - Kỹ thuật Công nghiệp
(Nguồn: Tạp chí Khoa hoc và Công nghệ - Trường Đại học Kinh tế Kỹ thuật Công nghiệp, số 33, 2022)

Tin mới

Đẩy mạnh phát triển các sản phẩm công nghiệp nông thôn tại Bắc Ninh

Các hoạt động khuyến công được các đơn vị tại Bắc Ninh tổ chức nhiều năm qua, thông qua việc bình chọn sản phẩm công nghiệp nông thôn tiêu biểu, nhằm tôn vinh các sản phẩm chất lượng, giá trị sử dụng cao, có tiềm năng phát triển.

06/06/2025
Xem thêm+
Văn bản
Xem thêm +
Trên 1 - Thông tin hoạt động Cục

Tin cùng chuyên mục

Giải pháp nâng cao năng lực thiết kế sản phẩm ngành giày dép Việt Nam nhằm tăng cường hiệu quả tận dụng các hiệp định thương mại tự do

Đối với ngành da giày, các hiệp định thương mại tự do không chỉ mang lại cơ hội gia tăng xuất khẩu mà còn thúc đẩy sự đổi mới, chuyển đổi chuỗi cung ứng và cải thiện chất lượng sản phẩm để đáp ứng các tiêu chuẩn quốc tế.

04/06/2025