WS-Net: A Petri-net based specification model for web services

被引：43

作者：

Zhang, J ^{[1
]}

Chang, CK ^{[1
]}

Chung, JY ^{[1
]}

Kim, SW ^{[1
]}

机构：

[1] No Illinois Univ, Dept Comp Sci, De Kalb, IL 60115 USA

来源：

IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS | 2004年

关键词：

D O I：

10.1109/ICWS.2004.1314766

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：420 / 427

页数：8

共 16 条

[1]

Chang C. K., 1999, Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032), P396, DOI 10.1109/CMPSAC.1999.814317

[2]

Gao X, 2002, FOURTH INTERNATIONAL SYMPOSIUM ON MULTIMEDIA SOFTWARE ENGINEERING, PROCEEDINGS, P56, DOI 10.1109/MMSE.2002.1181596

[3]

*HOUGHT MIFFL COMP, 2000, AM HER DICT ENGL LAN

[4]

*IBM CORP, 2002, BUS PROC EX LANG WEB

[5]

JENSEN K, 1990, LECT NOTES COMPUTER

[6]

LEYMANN F, 2001, WEB SERVICES FLOW LA

[7]

MCLAUGHLIN B, 2001, JAVA XML

[8]

*MET SOFT CORP, 1993, DES CPN REF MAN XWIN

[9]

PINCI V, 1990, LECT NETS COMPUTER S, P227

[10]

ROSS D, 1984, IEEE COMPUT, V18, P25

← 1 2 →