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

^*此作品的通讯作者

软件工程学院

East China Normal University
University of Macau

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

5 引用（Scopus）

摘要

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.

源语言	英语
主期刊名	Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017
出版商	Institute of Electrical and Electronics Engineers Inc.
页	50-59
页数	10
ISBN（电子版）	9781538624319
DOI	https://doi.org/10.1109/ICECCS.2017.13
出版状态	已出版 - 2 7月 2017
活动	22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017 - Fukuoka, 日本期限: 6 11月 2017 → 8 11月 2017

丛书

姓名	Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
卷	2017-November
ISSN（印刷版）	2770-8527
ISSN（电子版）	2770-8535

会议

会议	22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017
国家/地区	日本
市	Fukuoka
时期	6/11/17 → 8/11/17

访问文件

10.1109/ICECCS.2017.13

其它文件与链接

链接到 Scopus 的出版物

引用此

Xie, W., Zhu, H., & Xu, Q. (2017). BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. 在 Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017 (页码 50-59). (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS; 卷 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. 页码 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. 在 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, 卷 2017-November, Institute of Electrical and Electronics Engineers Inc., 页码 50-59, 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, 日本, 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. 页码 50-59 (Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS; 卷 2017-November).

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

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. 在 Proceedings - 2017 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017. Institute of Electrical and Electronics Engineers Inc. 2017. 页码 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

摘要

丛书

会议

访问文件

其它文件与链接

学术指纹

引用此