面向服务的物联网软件体系结构设计及模型检测.PDFVIP

第 卷 第 期 计 算 机 学 报 ３９ ５ 　 　　 　　 　　 　　 Ｖｏｌ．３９ Ｎｏ．５ 年 月 ２０１６ ５ Ｍａ ２０１６ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ ｙ 　 面向服务的物联网软件体系结构设计与模型检测 陈海明 崔 莉 　　 （中国科学院计算技术研究所 北京 １００１９０） 　 　 摘 要 物联网软件体系结构用于定义物联网应用系统的构件模型和交互拓扑，是构建支持水平互联、异构集成、 　 　 资源共享和动态维护的物联网应用系统的基础 面向服务的软件体系结构（ ， ）是 ． ＳｅｒｖｉｃｅＯｒｉｅｎｔｅｄＡｒｃｈｉｔｅｃｔｕｒｅＳＯＡ 目前构建各类物联网应用系统最常用的风格，国内外研究人员已经提出了多种面向服务以“物端”为中心的物联网 软件体系结构参考模型 该文对这些参考模型进行了比较分析，指出了它们基于的软件构件类型、采用的设计原则 ． 及具有的结构属性的不同，说明了这些参考模型适用于指导不同规模和不同应用需求的物联网应用系统的构建， 并且分析了基于软件体系结构的物联网应用系统的形式化建模与模型检测方法 最后，指出了未来为建立基于软 ． 件体系结构的物联网应用系统开发方法还需要开展的研究工作． 关键词 物联网；面向服务；软件体系结构；参考模型；模型检测 　 中图法分类号 号 ／ ＴＰ３０１ 犇犗犐 １０．１１８９７ＳＰ．Ｊ．１０１６．２０１６．００８５３ 　　　 犇犲狊犻狀犪狀犱犕狅犱犲犾犆犺犲犮犽犻狀 狅犳犛犲狉狏犻犮犲犗狉犻犲狀狋犲犱犛狅犳狋狑犪狉犲犃狉犮犺犻狋犲犮狋狌狉犲 犵 犵 ： 犳狅狉犐狀狋犲狉狀犲狋狅犳犜犺犻狀狊犃犛狌狉狏犲 犵 狔 ＣＨＥＮＨａｉＭｉｎ ＣＵＩＬｉ ｇ　 （ ， ， ） 犐狀狊狋犻狋狌狋犲狅 犆狅犿 狌狋犻狀 犜犲犮犺狀狅犾狅 犆犺犻狀犲狊犲犃犮犪犱犲犿 狅 犛犮犻犲狀犮犲狊 犅犲犻犻狀 １００１９０ 犳 狆 犵 犵狔 狔 犳 犼 犵　 （ ） 犃犫狊狋狉犪犮狋 ＳｏｆｔｗａｒｅａｒｃｈｉｔｅｃｔｕｒｅｏｆＩｎｔｅｒｎｅｔｏｆＴ