在时间自动机理论的基础上，提出一种物联网组合服务建模的方法，来对系统的部分约定属性进行建模、验证和分析。把物联网原子服务作为研究的对象，对时间自动机模型进行扩展，并将其应用于物联网原子服务和组合服务的分层建模中。在分析不同层所对应实体的部分特定属性之后，通过工具ＵＰＰＡＡＬ建立模型并对该模型进行验证和分析。利用提出的方法对智能室温自控系统进行建模并验证，通过实验验证了该方法的可行性。