Bài báo này đề cập đến thách thức kỹ thuật trong việc lập trình hành vi thích ứng tập thể của các thiết bị tính toán phân tán dày đặc và đa quy mô trong các môi trường đa dạng, xuất phát từ các xu hướng gần đây như Internet vạn vật (IoT). Để đạt được mục tiêu này, chúng ta cần một khái niệm trừu tượng có thể nắm bắt các khái niệm như tập hợp (enhances), là các nhóm thiết bị hợp tác động, và các tác vụ tập thể (collective tasks), là các hoạt động chung được thực hiện bởi tập hợp. Trong bài báo này, chúng tôi xem xét một tập hợp các thiết bị tương tác với các thiết bị lân cận và thực hiện các vòng cảm biến-tính toán-tương tác gần như đồng bộ. Ở đây, phép tính được thực hiện bởi một chương trình duy nhất, ánh xạ các giá trị cảm biến và tin nhắn đến thành các tin nhắn đầu ra và tin nhắn đi. Để lập trình toàn bộ tập hợp tính toán, chúng tôi đề xuất một khái niệm trừu tượng gọi là quy trình tập thể phân tán (distributed collective process), có thể được sử dụng để xác định đồng thời cả logic hình thành tập hợp và tác vụ tập thể. Khái niệm trừu tượng này được chính thức hóa trong eXchange Calculus (XC), một ngôn ngữ hàm cốt lõi dựa trên các giá trị lân cận (ánh xạ từ các thiết bị lân cận đến các giá trị), và được triển khai bằng ngôn ngữ FCPP. Tiếp theo, chúng tôi thử nghiệm quy trình tổng hợp phân tán bằng cách sử dụng hai trường hợp nghiên cứu: truyền tin nhắn đa chặng và giám sát phân tán các thuộc tính không gian. Cuối cùng, chúng tôi thảo luận về các đặc điểm của sự trừu tượng hóa và tính phù hợp của nó đối với nhiều loại ứng dụng điện toán phân tán khác nhau.
