Establishing the federation model of smart objects and the creation of its novel applications

本研究集中在三个不同的层次上对基于接近度的智能对象联盟进行建模。针对每个智能对象的联合机制建模、多个智能对象之间的联合机制建模和应用场景建模这三个层次，分别提出了三个形式化模型，并明确了它们之间的映射关系。它们分别是端口匹配模型、图重写模型和催化反应网络模型。

This research has focused on three different levels for modeling the proximity-based federation of smart objects. For each of these three levels, i.e., the modeling of the federation mechanism of each smart object, the modeling of the federation mechanism among more than one smart objects, and the modeling of application scenarios, it has proposed three formal models and clarified the mapping among them. They are respectively the port matching model, the graph rewriting model, and the catalytic reaction network model.