Title :
Services Composition Modeling with Mobility and Time
Author :
Gao, Chunming ; Li, Yong ; Chen, Huowang
Author_Institution :
Hunan Normal Univ., Changsha
Abstract :
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.
Keywords :
Web services; calculus; mobile computing; real-time systems; tree data structures; BPEL4WS basic actions; Web service composition orchestration; discrete time mobile ambient calculus; mobile computation; real-time mobile service orchestration; tree-like structure; Algebra; Calculus; Carbon capture and storage; Clocks; Computational modeling; Computer science; Mathematical model; Mobile computing; Time factors; Web services;
Conference_Titel :
Services, 2007 IEEE Congress on
Conference_Location :
Salt Lake City, UT
Print_ISBN :
978-0-7695-2926-4
DOI :
10.1109/SERVICES.2007.57
