BigrTiMo-A Process Algebra for Structure-aware Mobile Systems

被引：3

作者：

Xie, Wanling ^{[1
]}

Zhu, Huibiao ^{[1
]}

Xu, Qiwen ^{[2
]}

机构：

[1] East China Normal Univ, Sch Comp Sci & Software Engn, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China

[2] Univ Macau, Fac Sci & Technol, Taipa, Macau, Peoples R China

来源：

2017 22ND INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS) | 2017年

关键词：

BigrTiMo Calculus; Mobile Systems; Operational Semantics; Algebraic Properties;

D O I：

10.1109/ICECCS.2017.13

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In this paper, we present a process algebra for structure-aware mobile systems called BigrTiMo by combining rTiMo process algebra and Bigraph model. Compared with rTiMo model, our BigrTiMo calculus can model not only the location of components but also the connectivity of components. Thus, our BigrTiMo process can communicate not only locally with other process, but also remotely with other process (If they share a communication link). In addition, a BigrTiMo process can migrate from one location to another location, observe the bigraph and change the bigraph. We also investigate the operational semantics and algebraic semantics of the BigrTiMo calculus.

引用

页码：50 / 59

页数：10

共 16 条

[1]

Aman B, 2013, LECT NOTES COMPUT SC, V8137, P31, DOI 10.1007/978-3-642-40561-7_3

[2] PERTIMO: A Model of Spatial Migration with Safe Access Permissions [J].

Ciobanu, Gabriel ;

Koutny, Maciej .

COMPUTER JOURNAL, 2015, 58 (05) :1041-1060

[3] Flexible software architecture and language for mobile agents [J].

Ciobanu, Gabriel ;

Juravle, Calin .

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2012, 24 (06) :559-571

[4] Timed Mobility in process algebra and Petri nets [J].

Ciobanu, Gabriel ;

Koutny, Maciej .

JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (07) :377-391

[5]

Hennessy Matthew, 1988, PRESS SERIES FDN COM

[6]

Hoare C.A.R., 1998, Unifying theories of programming

[7] LAWS OF PROGRAMMING [J].

HOARE, CAR ;

HAYES, IJ ;

JIFENG, HE ;

MORGAN, CC ;

ROSCOE, AW ;

SANDERS, JW ;

SORENSEN, IH ;

SPIVEY, JM ;

SUFRIN, BA .

COMMUNICATIONS OF THE ACM, 1987, 30 (08) :672-686

[8] AN AXIOMATIC BASIS FOR COMPUTER PROGRAMMING [J].

HOARE, CAR .

COMMUNICATIONS OF THE ACM, 1969, 12 (10) :576-&

[9]

Hoare Tony, 2013, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky. Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday: LNCS 7860, P139, DOI 10.1007/978-3-642-38164-5_10

[10] Developments in concurrent Kleene algebra [J].

Hoare, Tony ;

van Staden, Stephan ;

Moeller, Bernhard ;

Struth, Georg ;

Zhu, Huibiao .

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (04) :617-636

← 1 2 →