Residential College | false |
Status | 已發表Published |
BigrTiMo-A Process Algebra for Structure-aware Mobile Systemst | |
Xie, Wanting; Zhu, Huibiao; Xu, Qiwen; IEEE | |
2017 | |
Conference Name | 2017 22ND INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS) |
Pages | 50-59 |
Conference Date | NOV 05-08, 2017 |
Conference Place | Kyushu Univ, Fukuoka, JAPAN |
Publication Place | 345 E 47TH ST, NEW YORK, NY 10017 USA |
Publisher | IEEE |
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 | Bigrtimo Calculus Mobile Systems Operational Semantics Algebraic Properties |
DOI | 10.1109/ICECCS.2017.13 |
URL | View the original |
Language | 英語English |
WOS Research Area | Computer Science |
WOS Subject | Computer Science, Software Engineering |
WOS ID | WOS:000428515700006 |
The Source to Article | WOS |
Scopus ID | 2-s2.0-85045241060 |
Fulltext Access | |
Citation statistics | |
Document Type | Conference paper |
Collection | University of Macau |
Recommended Citation GB/T 7714 | Xie, Wanting,Zhu, Huibiao,Xu, Qiwen,et al. BigrTiMo-A Process Algebra for Structure-aware Mobile Systemst[C], 345 E 47TH ST, NEW YORK, NY 10017 USA:IEEE, 2017, 50-59. |
APA | Xie, Wanting., Zhu, Huibiao., Xu, Qiwen., & IEEE (2017). BigrTiMo-A Process Algebra for Structure-aware Mobile Systemst. , 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