Residential College | false |
Status | 已發表Published |
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems | |
Xie W.2; Zhu H.2; Xu Q.1 | |
2018-02-14 | |
Conference Name | 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) |
Source Publication | Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS |
Volume | 2017-November |
Pages | 50-59 |
Conference Date | NOV 05-08, 2017 |
Conference Place | Kyushu Univ, Fukuoka, JAPAN |
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. |
Keyword | Algebraic Properties Bigrtimo Calculus Mobile Systems Operational Semantics |
DOI | 10.1109/ICECCS.2017.13 |
URL | View the original |
Language | 英語English |
WOS ID | WOS:000428515700006 |
Scopus ID | 2-s2.0-85045241060 |
Fulltext Access | |
Citation statistics | |
Document Type | Conference paper |
Collection | University of Macau |
Affiliation | 1.Universidade de Macau 2.East China Normal University |
Recommended Citation GB/T 7714 | Xie W.,Zhu H.,Xu Q.. BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems[C], 2018, 50-59. |
APA | Xie W.., Zhu H.., & Xu Q. (2018). BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2017-November, 50-59. |
Files in This Item: | There are no files associated with this item. |
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment