|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
2007 IEEE Congress on Services (Services 2007)
Services Composition Modeling with Mobility and Time
Salt Lake City, Utah, USA
July 09-July 13
ISBN: 0-7695-2926-7
| ASCII Text | x | ||
| Chunming Gao, Yong Li, Huowang Chen, "Services Composition Modeling with Mobility and Time," Services, IEEE Congress on, pp. 316-323, 2007 IEEE Congress on Services (Services 2007), 2007. | |||
| BibTex | x | ||
| @article{ 10.1109/SERVICES.2007.57, author = {Chunming Gao and Yong Li and Huowang Chen}, title = {Services Composition Modeling with Mobility and Time}, journal ={Services, IEEE Congress on}, volume = {0}, year = {2007}, isbn = {0-7695-2926-7}, pages = {316-323}, doi = {http://doi.ieeecomputersociety.org/10.1109/SERVICES.2007.57}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Services, IEEE Congress on TI - Services Composition Modeling with Mobility and Time SN - 0-7695-2926-7 SP316 EP323 A1 - Chunming Gao, A1 - Yong Li, A1 - Huowang Chen, PY - 2007 KW - null VL - 0 JA - Services, IEEE Congress on ER - | |||
The mobile ambient is a formal model for mobile computation in which processes reside and move in a hierarchy of named locations organised as a tree-like structure, but the real-time property of the mobility has not been well described. In this paper, we extend mobile ambient with time, and then present discrete time mobile ambient calculus (DTMA). Based on DTMA, we investigate the modelling for web service composition orchestration that has some mobility and time constraint. The service orchestration case which is used for the service composition example is formalized based on BPEL4WS basic actions modelling, and this work is a foundation for the model checking of the real-time mobile service orchestration.
Citation:
Chunming Gao, Yong Li, Huowang Chen, "Services Composition Modeling with Mobility and Time," services, pp.316-323, 2007 IEEE Congress on Services (Services 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.