1191
谢开斌等：PMDA：一种物理模型驱动的物联网软件体系结构
Component RDE
进程PRO—EXE提供的功能用P。。。。接口来实现，可
用CSP进程表示为P，。。。()=send—info-+P。m．。
3．2．6决策执行组件
Port
Prde-req()一recv—inreq-’recv—appreq
÷ dec—req+Prde．req
Port
Port
组件EXE可以用3个进程来表达，分别是进程
EXE—RDE与EXE—PRO和EXE—PHY．
P，de一，。qd()一send—datareq—’P，de-，。qd
P，de一，。q。()一send—conreq—’PrdL，。q。
OAP
Component
进程EXE—RDE包含一个事件，用recv—conreq
表示，用于接收来自组件RDE中的进程RDE—CON
的控制请求信息．进程EXE—RDE提供的功能用
P。。州。接口来实现，可用CSP进程表示为P。rde()=
Port
P。。p—req()一recv—oreq—卜Poap-，。q
Port
P。。p-。pp()一send—oap—'Poap-。pp
SEN
Component
Port
recv—conreq---Pexe—rde．
P。。n_。q()一recv—datareq—}Psen-，。q
Port
Port
进程EXE—PRO包含一个事件，用recv—info表
示，用于接收组件PRO中的进程PRO—EXE发送
的感知数据处理信息．进程EXE—PRO提供的功能
P。。一phy()一sense—data4P。en．phy
P。。n-p。。()一send—data—}P。。一p，。
PRO
Component
Port
Pp。o-d。t。()一recv—data+pro—data+
用P。。。。接口来实现，可用CSP进程表示为P。。一。。()
一recvjnfo+P。。e_pr。．
Ppro—data
Port
进程EXE_PHY包含两个事件：一是进程EXE—
Ppr0一。。。()一send-info—Ppro-。。。
Component EXE
RDE和EXE—PRO产生的决策执行信息，用事件
gen—exeinfo表示；二是将决策执行信息发送给物理
模型，用事件send—coninfo表示．进程EXE—PHY
Port
P。。一rd。()一recv—conreq-+Pexe一。d。
Port
Port
P。xe-pr0()一recv-info÷ P。。e-p。
提供的功能用P phy接口来实现，可用CSP进程表
示为P。，。。h，()一gen—exeinfo+send—coninfo 4
P。。一phy()一gen—exeinfo+send—
coninfo--’Pe”phy
Connector RDI—RDE
Pexe
phy．
Role
感执模型内部组件之间的交互关系共有6个，
下面分别进行介绍：1)组件RDI和RDE通过各自
Rrdi-Ireq()一send—inreq—}R，dl_Ireq
Role
R，de一。q()一recv—inreq-’reev—appreq
P
的接EI rdI。。和Pm。分别与连接器RDI—RDE的
—}dec—req—}Rrde-，。q
角色R训。。和Rrde。相连接；2)组件RDI和OAP通
过各自的接口P训。。和P。吖。。分别与连接器RDI—
1l
Glue=Rrdi。，。q
R，d。一。q
RDI—OAP
Connector
Role
OAP的角色R
rdi。。和R。。，。相连接；3)组件RDE
Rrdi一。。q()一send—oreq—’R，di一。，。q
Role
R。。P—req()一recv—oreq—}R。。P-req
和SEN通过各自的接口Prde一。a和P。。一。分别与连
接器RDE—SEN的角色Rrde-。d和R 一。相连接；4)
组件RDE和EXE通过各自的接El Pra 。。和P。。。rde
Glue—R
1l
R。。”q
rdi一。req
Connector RDE—SEN
Role Rrde一。qd()一send—datareq--’R
Role
分别与连接器RDE—EXE的角色R血一。。和R。。rae相
连接；5)组件SEN和PRO通过各自的接口P。。畔
和P。rod。分别与连接器SEN—PRO的角色R。。。和
R。删。相连接；6)组件PRO和EXE通过各自的接
口P。 。和P。。。。分别与连接器PRO—EXE的角色
R。。。。和R。。。岬相连接．
rd。一reqd
R。en-req()一recv—datareq----R。en-req
’
11
R。。。，。。
Glue=R，d。一。。qd
Connector RDE—EXE
Role
rat，。q。
Rrde-，。q。()一send—conreq--’R
Role
R。。一，d。()一recv—conreq---’Re。e．rd。
Glue=Rrd。。。Il R。。。，d。
SEM可用Wright进行如下的描述：
SEN—PRO
Connector
Configuration SEM
Role
RDI
R。en-pro()一send—data—}R。en-p。
Component
Port
Role
R。，。d。。。()一recv—data+pro—data÷
Prd。，。。()一recv—ereq-· judge—ereq4
R。dat。
Prdl_req
Port
Prdi。q()一send—inreq+P，di ireq
Glue=R。。。p。I{Rp。dat。
Connector PRo—EXE
Port
Prdi。rea()一send—oreq—}P，di_。req
万方数据
全部评论(0)