Preliminaries of Bigraphical Calculus for Context-awareness

被引:0
作者
Xu, Dong [1 ,2 ]
Zhou, Guang-yuan [1 ,2 ]
Li, Xiao-jun [1 ,2 ]
机构
[1] Shanghai Univ, Sch Comp Engn & Sci, Shanghai 200444, Peoples R China
[2] Shanghai Key Lab Comp Software Evaluating & Testi, Shanghai 201112, Peoples R China
来源
2017 2ND INTERNATIONAL CONFERENCE ON COMPUTATIONAL MODELING, SIMULATION AND APPLIED MATHEMATICS (CMSAM) | 2017年
关键词
Bigraph; Context-awareness; Bigraphical calculus;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Context-awareness has become one of the active topics in ubiquitous computing, cloud computing and so on, recently. In this paper, preliminaries of bigraph based context-aware calculus are presented for context-aware system. We define the syntax and semantics of process, context and context expressions, as well as the semantics of operations in the bigraphical calculus of context-awareness.
引用
收藏
页码:282 / 286
页数:5
相关论文
共 8 条
[1]  
[Anonymous], IEEE T VIS COMPUT GR
[2]  
Chen G., 2000, 2000381 TR DARTM COL
[3]  
Christos B., 2007, WIRELESS PERS COMMUN, P445
[4]  
Milner R., 2009, SPACE MOTION COMMUNI, DOI DOI 10.1017/CBO9780511626661
[5]  
Siewe Francois, 2011, J COMPUTER SYSTEM, V77, P579
[6]  
Wang Wusheng, 2013, P SCC 13 P 2013 IEEE, P759
[7]   THE COMPUTER FOR THE 21ST-CENTURY [J].
WEISER, M .
SCIENTIFIC AMERICAN, 1991, 265 (03) :94-&
[8]  
Zimmer P., 2005, BRICS RES, V12