BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems

Wanling Xie; Huibiao Zhu; Qiwen Xu

doi:10.1109/ICECCS.2017.13

BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems

Wanling Xie
, Huibiao Zhu^*
, Qiwen Xu

^*Corresponding author for this work

Software Engineering Institute

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

5 Scopus citations

Abstract

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.

Original language	English
Title of host publication	Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	50-59
Number of pages	10
ISBN (Electronic)	9781538624319
DOIs	https://doi.org/10.1109/ICECCS.2017.13
State	Published - 2 Jul 2017
Event	22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017 - Fukuoka, Japan Duration: 6 Nov 2017 → 8 Nov 2017

Publication series

Name	Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Volume	2017-November
ISSN (Print)	2770-8527
ISSN (Electronic)	2770-8535

Conference

Conference	22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017
Country/Territory	Japan
City	Fukuoka
Period	6/11/17 → 8/11/17

Keywords

Algebraic Properties
BigrTiMo Calculus
Mobile Systems
Operational Semantics

Access to Document

10.1109/ICECCS.2017.13

Cite this

Xie, W., Zhu, H., & Xu, Q. (2017). BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. In Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017 (pp. 50-59). (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS; Vol. 2017-November). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICECCS.2017.13

Xie, Wanling ; Zhu, Huibiao ; Xu, Qiwen. / BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017. Institute of Electrical and Electronics Engineers Inc., 2017. pp. 50-59 (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS).

@inproceedings{386a47fd9bfe4503b2353a6cb651a352,

title = "BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems",

abstract = "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.",

keywords = "Algebraic Properties, BigrTiMo Calculus, Mobile Systems, Operational Semantics",

author = "Wanling Xie and Huibiao Zhu and Qiwen Xu",

note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017 ; Conference date: 06-11-2017 Through 08-11-2017",

year = "2017",

month = jul,

day = "2",

doi = "10.1109/ICECCS.2017.13",

language = "英语",

series = "Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "50--59",

booktitle = "Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017",

address = "美国",

}

Xie, W, Zhu, H & Xu, Q 2017, BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. in Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, vol. 2017-November, Institute of Electrical and Electronics Engineers Inc., pp. 50-59, 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, 6/11/17. https://doi.org/10.1109/ICECCS.2017.13

BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. / Xie, Wanling; Zhu, Huibiao; Xu, Qiwen.
Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017. Institute of Electrical and Electronics Engineers Inc., 2017. p. 50-59 (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS; Vol. 2017-November).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems

AU - Xie, Wanling

AU - Zhu, Huibiao

AU - Xu, Qiwen

PY - 2017/7/2

Y1 - 2017/7/2

N2 - 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.

AB - 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.

KW - Algebraic Properties

KW - BigrTiMo Calculus

KW - Mobile Systems

KW - Operational Semantics

UR - https://www.scopus.com/pages/publications/85045241060

U2 - 10.1109/ICECCS.2017.13

DO - 10.1109/ICECCS.2017.13

M3 - 会议稿件

AN - SCOPUS:85045241060

T3 - Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

SP - 50

EP - 59

BT - Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017

Y2 - 6 November 2017 through 8 November 2017

ER -

Xie W, Zhu H, Xu Q. BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. In Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017. Institute of Electrical and Electronics Engineers Inc. 2017. p. 50-59. (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS). doi: 10.1109/ICECCS.2017.13

BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this