物联网软件体系结构中的感执模型的求精

被引：4

作者：

谢开斌 ^{[1
,2
]}

陈海明 ^{[1
]}

崔莉 ^{[1
]}

机构：

[1] 中国科学院计算技术研究所

[2] 中国科学院大学

来源：

软件学报 | 2014年 / 25卷 / 08期

关键词：

物联网; 感执模型; 构件; 通信顺序进程; 进程分析工具;

D O I：

10.13328/j.cnki.jos.004662

中图分类号：

TP391.44 []; TN929.5 [移动通信];

学科分类号：

0811 ; 081101 ; 081104 ; 1405 ; 080402 ; 080904 ; 0810 ; 081001 ;

摘要：

物联网的基本功能是感知物理环境,并根据实时的感知信息和用户的执行需求实现对物理环境的控制.因此,感执模块是物联网软件的核心模块.为最终将软件体系结构应用于物联网软件的开发,在基于物理模型的物联网软件体系结构(physical-model driven software architecture,简称PMDA)研究的基础上,对PMDA中的感执模型SEM进行求精,求精后的感执模型称为R-SEM.R-SEM考虑了物联网的特有属性,将SEM的内部构件按照物理应用的感执工作流程分解为用通信顺序进程(communication sequential process,简称CSP)表达的子构件来说明构件端口的功能实现,并采用CSP中的导管运算符来说明子构件的端口与构件的端口之间的同步,通过CSP描述了子构件与子构件之间的交互.使用进程分析工具(process analysis toolkit,简称PAT)对R-SEM进行了验证.验证结果表明:R-SEM中子构件之间的交互、子构件的端口与构件的端口之间的同步保持了SEM所具有的保证物理应用之间有效互联的性质——不死锁、不中止和不发散.由于R-SEM精化了SEM的内部组成,且保持了SEM的有效互联性质,因此,R-SEM对最终将PMDA应用于物联网软件的开发具有实际的指导意义.

引用

页码：1659 / 1670

页数：12

共 20 条

[1]

PAT:Process analysis toolkit. CS Department NUS. http://www.patroot.com/ . 2008

[2] 物联网体系结构与实现方法的比较研究 [J].

陈海明 ;

崔莉 ;

谢开斌 .

计算机学报, 2013, 36 (01) :168-188

[3]

Research on the architecture of Internetof Things. Miao Wu,Jing Sun,Feiyang Ling. IEEE International Conference on Advanced ComputerTheory and Engineering (ICACTE) . 2010

[4]

An Autonomic-oriented Architecture for the Internet of Things. G. Pujolle. Proceedings of the IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing . 2006

[5]

Ubiquitous ID: Standards for Ubiquitous Computing and the Internet of Things. Koshizuka, N.,Sakamura, K. Pervasive Computing, IEEE . 2010

[6]

Internet 0: Interdevice Internetworking - End-to-End Modulation for Embedded Networks. Gershenfeld, N.,Cohen, D. Circuits and Devices Magazine, IEEE . 2006

[7]

π-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures. Flavio Oquendo. SIGSOFT Software Engineering Notes . 2004

[8]

Internet of things-an action plan forEurope. Commission of the European communities. http://ec.europa.eu/information_society/policy/rfid/documents/commiot2009.pdf . 2009

[9]

Machine to Machine Communications (M2M):Functional Architecture. ETSI. ETSI Technical Specifcation . 2011

[10]

Networks,Crowds,and Markets. Easley D,Kleinberg J. . 2010

← 1 2 →