Services Composition Modeling with Mobility and Time

Author

Gao, Chunming ; Li, Yong ; Chen, Huowang

Author_Institution

Hunan Normal Univ., Changsha

fYear

2007

fDate

9-13 July 2007

Firstpage

316

Lastpage

323

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Services, 2007 IEEE Congress on

Conference_Location

Salt Lake City, UT

Print_ISBN

978-0-7695-2926-4

Type

conf

DOI

10.1109/SERVICES.2007.57

Filename

4278813