Đang chuẩn bị liên kết để tải về tài liệu:
Sử dụng tính phân cấp để giảm độ phức tạp trong mô hình hóa hệ thống sử dụng mạng Petri màu

Bài viết sử dụng mạng Petri màu phân cấp để mô hình hóa tiến trình nghiệp vụ của hệ thống Cửa hàng trực tuyến, đồng thời phát triển PyCPN, một công cụ mô hình hóa sử dụng mạng Petri màu phân cấp, để mô tả mô hình. | Nguyễn Thanh Tuấn Lê Thành Nhân Hoàng Thị Thanh Hà 233 Sử Dụng Tính Phân Cấp Để Giảm Độ Phức Tạp Trong Mô Hình Hóa Hệ Thống Sử Dụng Mạng Petri Màu Nguyễn Thanh Tuấn1 Lê Thành Nhân2 và Hoàng Thị Thanh Hà3 1Trường Đại học Công nghệ thông tin và Truyền thông Việt-Hàn nttuan@vku.udn.vn 2 Viện Công Nghệ Quốc tế Đà Nẵng nhan.le-thanh@unice.fr 3 Trường Đại học Kinh tế ha.htt@due.udn.vn Đại học Đà Nẵng Việt Nam Tóm Tắt. Trong phát triển phần mềm việc mô hình hóa và kiểm chứng phần mềm đóng vai trò quan trọng nhất là trong các hệ thống phần mềm ứng dụng doanh nghiệp. Trong nhiều nghiên cứu gần đây mạng Petri màu với cơ sở lý thuyết vững chắc nổi lên như là một công cụ hiệu quả trong mô hình hóa và kiểm chứng phần mềm. Sự phân cấp là một khái niệm quan trọng trong mạng Petri màu cho phép tổ chức mạng Petri màu dưới dạng tập hợp các mô hình con tương tự như các chương trình phần mềm được cấu trúc thành các mô đun. Theo cách này một mô hình có thể được định nghĩa một lần và tái sử dụng nhiều lần. Trong bài báo này chúng tôi sử dụng mạng Petri màu phân cấp để mô hình hóa tiến trình nghiệp vụ của hệ thống Cửa hàng trực tuyến đồng thời phát triển PyCPN một công cụ mô hình hóa sử dụng mạng Petri màu phân cấp để mô tả mô hình. Từ Khóa Mạng Petri màu Mạng Petri màu phân cấp Mô hình hóa. Abstract. In software development modeling and validation play an important role especially in enterprise application software systems. In many recent studies the Colored Petri Nets with its strong theoretical base has emerged as an effective tool in software modeling and validation. Hierarchy is an important concept in Colored Petri Net which allows the organization of a Colored Petri Net as a set of sub-models similar to software programs structured into modules. In this way a model can be defined once and reused. In this paper we use a Hierarchical Colored Petri Net to model an Online Store system and develop PyCPN a modeling tool using for the Hierarchical Colored Petri Net to describe the .