Cấu hình sản phẩm phức tạp bằng mô hình dựa trên ràng buộc

Các quá trình cấu hình công nghiệp rất phức tạp do sự đa dạng về biến thể. Bởi vì những tiềm năng vốn có, việc hiện thực hóa các quy trình cấu hình hiệu quả, linh hoạt là một mục tiêu trung tâm của nhiều công ty. Chúng tôi đã phát triển một phương pháp để cấu hình và tái cấu hình sản phẩm, dựa trên mô hình hóa dựa trên ràng buộc qua các miền hữu hạn. Hệ thống ConBaCon dựa trên phương pháp này bao quát một loạt các vấn đề cấu hình và cho phép giải quyết hiệu quả cả tự động và được kiểm soát thông qua tương tác người dùng linh hoạt cao. Tuy nhiên, khi áp dụng hệ thống này vào các quy trình cấu hình lớn, các vấn đề về hiệu suất xuất hiện. Như hai mở rộng mẫu quan trọng nhằm khắc phục thiếu sót này, trong công trình này, chúng tôi giới thiệu một mặt là việc phân cụm mẫu và mặt khác là cách xử lý các mạng lớn của các ràng buộc số học.