基于时间自动机的物联网组合服务建模

摘要

A method on composite service modeling for internet of things based on timed automata was proposed, to verify system's regular properties and specify formal model for internet of things.Atomic service was taken as study object, the mode for timed automata was extended, they were combined with composite service and applied to hierarchical modeling for internet of things, and the model checking tool UPPAAL was used to verify and analyze the specific attributes of corresponding entities by hierarchical modeling for internet of things.The proposed research method can be applied to actual modeling and verification of intelligent home temperature control system.Experimental results show that the proposed method has better practical feasibility.%在时间自动机理论的基础上, 提出一种物联网组合服务建模的方法, 来对系统的部分约定属性进行建模、验证和分析.把物联网原子服务作为研究的对象, 对时间自动机模型进行扩展, 并将其应用于物联网原子服务和组合服务的分层建模中.在分析不同层所对应实体的部分特定属性之后, 通过工具UPPAAL建立模型并对该模型进行验证和分析.利用提出的方法对智能室温自控系统进行建模并验证, 通过实验验证了该方法的可行性.