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!
|
| Summary: | 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. |
|---|---|
| ISSN: | 1000-436X |