DocumentCode :
3200365
Title :
WS-Net: a Petri-net based specification model for Web services
Author :
Zhang, Jia ; Chang, Carl K. ; Chung, Jen-Yao ; Kim, Seong W.
Author_Institution :
Dept. of Comput. Sci., Northern Illinois Univ., DeKalb, IL, USA
fYear :
2004
fDate :
6-9 July 2004
Firstpage :
420
Lastpage :
427
Abstract :
The emerging paradigm of Web services opens a new way of Web application design and development to quickly develop and deploy Web applications by integrating independently published Web services components to conduct new business transactions. As research aiming at facilitating Web services integration and verification, WS-Net is an executable architectural description language incorporating the semantics of colored Petri-net with the style and understandability of object-oriented concepts. WS-Net describes each Web services component in three layers: interface net declares the services that the component provides to other components; interconnection net specifies the services that the component acquires to accomplish its mission; and interoperation net describes the internal operational behaviors of the component. As an architectural model that formalizes the architectural topology and behaviors of each Web services component as well as the entire system, WS-Net facilitates the verification and monitoring of Web services integration.
Keywords :
Internet; Petri nets; business data processing; formal specification; formal verification; object-oriented programming; specification languages; Petri-net based specification model; WS-Net; Web application design; Web application development; Web service component; Web service integration monitoring; Web service verification; architectural topology formalization; business transactions; colored Petri-net; component operational behaviors; executable architectural description language; interconnection net; object-oriented programming; Application software; Architecture description languages; Computer architecture; Computer science; Monitoring; Object oriented modeling; Service oriented architecture; Software architecture; Software systems; Web services;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Web Services, 2004. Proceedings. IEEE International Conference on
Print_ISBN :
0-7695-2167-3
Type :
conf
DOI :
10.1109/ICWS.2004.1314766
Filename :
1314766
Link To Document :
بازگشت