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