Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Tài liệu HOT
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
0
Trang chủ
Công Nghệ Thông Tin
Cơ sở dữ 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
TAILIEUCHUNG - 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@ 2 Viện Công Nghệ Quốc tế Đà Nẵng 3 Trường Đại học Kinh tế Đạ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 .
Thanh Thiên
39
8
pdf
Báo lỗi
Trùng lắp nội dung
Văn hóa đồi trụy
Phản động
Bản quyền
File lỗi
Khác
Upload
Tải xuống
đang nạp các trang xem trước
Bấm vào đây để xem trước nội dung
Tải xuống
TÀI LIỆU LIÊN QUAN
Mô hình Petri Net thời gian của các mạch số
8
64
1
Luận văn Thạc sĩ Khoa học: Một số tính chất của mạng Petri và ứng dụng
61
51
0
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
8
26
3
Xây dựng chương trình điều khiển hệ thống cân trong dây chuyền saphir bằng mạng petri
6
45
0
Mô hình hóa và điều khiển hệ thống sản xuất tự động bằng mạng Petri
9
60
2
Phân tích hiệu năng của kiến trúc Internet Web caching nhờ sử dụng mô hình mạng Petri có màu và thời gian ngẫu nhiên
9
81
1
Phân tích hiệu năng của kiến trúc Internet web caching nhở sử dụng mô hình mạng Petri có màu và thời gian ngẫu nhiên (SCPN)
9
51
3
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
8
17
1
Phương pháp đánh giá hiệu năng hệ thống sử dụng mạng Stochastic Petri
10
57
1
Đánh giá hiệu năng của thuật toán thay thế Web caching LRU-EXT cho internet Web caching sử dụng mạng tích hợp hàng đợi và Petri Net có thời gian
14
100
2
TÀI LIỆU XEM NHIỀU
Một Case Về Hematology (1)
8
462065
59
Giới thiệu :Lập trình mã nguồn mở
14
23827
74
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
11126
536
Câu hỏi và đáp án bài tập tình huống Quản trị học
14
10371
458
Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”
3
9651
106
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8646
1148
Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức
16
8358
423
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7945
2249
Đề tài: Dự án kinh doanh thời trang quần áo nữ
17
6980
260
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
6757
1610
TỪ KHÓA LIÊN QUAN
Cơ sở dữ liệu
Mạng Petri màu
Phần mềm ứng dụng doanh nghiệp
Mạng Petri màu phân cấp
Ngôn ngữ đồ họa
Mô hình HCPN
Internet Web caching
Mô hình mạng Petri
Công nghệ truyền thông
Tốc độ truy cập Web
Đa phương tiện trên mạng Internet
Kiến trúc Internet web caching nhở
Dịch vụ đa phương tiện trên mạng internet
Cải thiện tốc độ truy cập web
Quản lý web
TÀI LIỆU MỚI ĐĂNG
Giáo án mầm non chương trình đổi mới: Gia đình vui nhộn
4
354
1
30-06-2024
Đánh giá hao mòn và độ tin cậy của chi tiết và kết cấu trên đầu máy diezel part 3
12
385
1
30-06-2024
Động cơ đốt trong và máy kéo công nghiêp tập 1 part 7
23
288
0
30-06-2024
Bơm máy nén quạt trong công nghiệp part 8
20
232
3
30-06-2024
B2B Content Marketing: 2012 Benchmarks, Budgets & Trends
17
171
1
30-06-2024
Chương 10: Các phương pháp tính quá trình quá độ trong mạch điện tuyến tính
57
202
5
30-06-2024
ĐỀ THI THỬ ĐH NĂM 2011 MÔN VẬT LÍ _ ĐỀ SỐ 101
7
121
0
30-06-2024
báo cáo hóa học:" Perceptions of rewards among volunteer caregivers of people living with AIDS working in faith-based organizations in South Africa: a qualitative study"
10
121
0
30-06-2024
CHƯƠNG 2: RỦI RO THÂM HỤT TÀI KHÓA
28
132
0
30-06-2024
Giáo án điện tử tiểu học môn lịch sử: Cách mạng mùa thu
39
136
0
30-06-2024
TÀI LIỆU HOT
Mẫu đơn thông tin ứng viên ngân hàng VIB
8
7945
2249
Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)
152
6757
1610
Ebook Chào con ba mẹ đã sẵn sàng
112
4024
1301
Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1
62
5702
1194
Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)
249
8646
1148
Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu
561
3641
666
Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân
122
3846
601
Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm
274
4406
545
Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh
13
11126
536
Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe
35
4293
483
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.