DocumentCode :
3149530
Title :
On Dynamic and Concurrent Model of Web Service Components
Author :
Zhu, Junwu ; Wang, Jiandong ; Li, Bin
Author_Institution :
Nanjing Univ. of Aeronaut. & Astronaut., Nanjing
fYear :
2007
fDate :
26-28 April 2007
Firstpage :
568
Lastpage :
572
Abstract :
The researches of Web service fasten on composition process, and are lack of the formalized description on dynamic attributes of service component itself. Aiming to these, a new dynamic and concurrent model of Web service component is presented. Firstly, this paper analyzes the process of state transition of service component under certain actions, and then depicts the dynamic transition process of service component with the state transition graph. At last, the physical representation method in memory and the algorithms to judge equivalence of state transition graph are given. Comparing with existing researches, the dynamic evolvement of service component under the actions is considered, and the algorithm to judge equivalence of service components provides an effective tool for model verification.
Keywords :
Web services; concurrency control; formal verification; object-oriented programming; Web service components; composition process; concurrent model; dynamic transition process; memory; model verification; physical representation method; state transition graph; Application software; Collaborative work; Concurrent computing; Distributed computing; Laboratories; Ontologies; Protocols; Semantic Web; Space technology; Web services; Components; Concurrent; Dynamic; Model; Web services;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Supported Cooperative Work in Design, 2007. CSCWD 2007. 11th International Conference on
Conference_Location :
Melbourne, Vic.
Print_ISBN :
1-4244-0963-2
Electronic_ISBN :
1-4244-0963-2
Type :
conf
DOI :
10.1109/CSCWD.2007.4281498
Filename :
4281498
Link To Document :
بازگشت