Modeling the mobile communication service based on PI-calculus
In order to solve the problem of not interworking the increment service provided by difference services providers in current mobile communication service,mobile communication process were defined as multiple independent Web services.The connection initialization,base station switching and mobile com...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Department of Journal on Communications
2009-01-01
|
| Series: | Tongxin xuebao |
| Subjects: | |
| Online Access: | http://www.joconline.com.cn/zh/article/74654234/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1841537591997890560 |
|---|---|
| author | KANG Hui1 ZENG Ying-ying1 LIU Zhi-yong1 |
| author_facet | KANG Hui1 ZENG Ying-ying1 LIU Zhi-yong1 |
| author_sort | KANG Hui1 |
| collection | DOAJ |
| description | In order to solve the problem of not interworking the increment service provided by difference services providers in current mobile communication service,mobile communication process were defined as multiple independent Web services.The connection initialization,base station switching and mobile communication process were modeled by using PI-calculus.The PI-calculus expressions were encapsulated and combined.Modeling for PI-calculus can optimize the mobile communication service,and discover problems as soon as possible in the design stage to eliminate repeating business between difference service providers and to ensure their reusability and interoperability. |
| format | Article |
| id | doaj-art-13516eb7ada24435bfcf9e84cbb26056 |
| institution | Kabale University |
| issn | 1000-436X |
| language | zho |
| publishDate | 2009-01-01 |
| publisher | Editorial Department of Journal on Communications |
| record_format | Article |
| series | Tongxin xuebao |
| spelling | doaj-art-13516eb7ada24435bfcf9e84cbb260562025-01-14T08:29:52ZzhoEditorial Department of Journal on CommunicationsTongxin xuebao1000-436X2009-01-0130111674654234Modeling the mobile communication service based on PI-calculusKANG Hui1ZENG Ying-ying1LIU Zhi-yong1In order to solve the problem of not interworking the increment service provided by difference services providers in current mobile communication service,mobile communication process were defined as multiple independent Web services.The connection initialization,base station switching and mobile communication process were modeled by using PI-calculus.The PI-calculus expressions were encapsulated and combined.Modeling for PI-calculus can optimize the mobile communication service,and discover problems as soon as possible in the design stage to eliminate repeating business between difference service providers and to ensure their reusability and interoperability.http://www.joconline.com.cn/zh/article/74654234/PI-calculuscommunication serviceservice composition |
| spellingShingle | KANG Hui1 ZENG Ying-ying1 LIU Zhi-yong1 Modeling the mobile communication service based on PI-calculus Tongxin xuebao PI-calculus communication service service composition |
| title | Modeling the mobile communication service based on PI-calculus |
| title_full | Modeling the mobile communication service based on PI-calculus |
| title_fullStr | Modeling the mobile communication service based on PI-calculus |
| title_full_unstemmed | Modeling the mobile communication service based on PI-calculus |
| title_short | Modeling the mobile communication service based on PI-calculus |
| title_sort | modeling the mobile communication service based on pi calculus |
| topic | PI-calculus communication service service composition |
| url | http://www.joconline.com.cn/zh/article/74654234/ |
| work_keys_str_mv | AT kanghui1 modelingthemobilecommunicationservicebasedonpicalculus AT zengyingying1 modelingthemobilecommunicationservicebasedonpicalculus AT liuzhiyong1 modelingthemobilecommunicationservicebasedonpicalculus |