UM
Residential Collegefalse
Status已發表Published
BigrTiMo-A Process Algebra for Structure-aware Mobile Systemst
Xie, Wanting; Zhu, Huibiao; Xu, Qiwen; IEEE
2017
Conference Name2017 22ND INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS)
Pages50-59
Conference DateNOV 05-08, 2017
Conference PlaceKyushu Univ, Fukuoka, JAPAN
Publication Place345 E 47TH ST, NEW YORK, NY 10017 USA
PublisherIEEE
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.

KeywordBigrtimo Calculus Mobile Systems Operational Semantics Algebraic Properties
DOI10.1109/ICECCS.2017.13
URLView the original
Language英語English
WOS Research AreaComputer Science
WOS SubjectComputer Science, Software Engineering
WOS IDWOS:000428515700006
The Source to ArticleWOS
Scopus ID2-s2.0-85045241060
Fulltext Access
Citation statistics
Document TypeConference paper
CollectionUniversity 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.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Xie, Wanting]'s Articles
[Zhu, Huibiao]'s Articles
[Xu, Qiwen]'s Articles
Baidu academic
Similar articles in Baidu academic
[Xie, Wanting]'s Articles
[Zhu, Huibiao]'s Articles
[Xu, Qiwen]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Xie, Wanting]'s Articles
[Zhu, Huibiao]'s Articles
[Xu, Qiwen]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.