Formal description and verification of Web service composition based on OOPN

被引：0

作者：

Su, Jindian ^{[1
]}

Yu, Shanshan ^{[2
]}

Guo, Heqing ^{[1
]}

机构：

[1] South China Univ Technol, Coll Comp Sci & Engn, Guangzhou 510006, Guangdong, Peoples R China

[2] Sun Yat Sen Univ, Sch Informat Technol, Comp Sci, Guangzhou 510275, Guangdong, Peoples R China

来源：

ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, PROCEEDINGS: WITH ASPECTS OF THEORETICAL AND METHODOLOGICAL ISSUES | 2008年 / 5226卷

关键词：

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

To overcome the shortcomings of unable to demonstrate the characteristics of encapsulation, reusability and message-driven when using Petri nets to model Web service composition, this paper proposes object oriented Petri nets (OOPN) as the formal description and verification tool for Web service composition. Some basic concepts of OOPN, including class net, inheritance, object net and object net system, are given in the paper respectively and the mechanisms of "Gate" and "Port" are used to describe message transfer and synchronization relationships among objects. The OOPN expressions of various basic control flow structure and message synchronization relationships of Web service composition are also stated. Finally, we give a case study to show that our proposed method can more naturally and accurately demonstrate the encapsulation and message-driven characteristics of Web services.

引用

页码：644 / +

页数：2

共 50 条

[41] Web Service Choreography Verification Using Z Formal Specification
Rastegari, Y.
Sajadi, Z.
Shams, F.
INTERNATIONAL JOURNAL OF ENGINEERING, 2016, 29 (11): : 1549 - 1557
[42] Formal Modelling and Verification of Transactional Web Service Composition: A Refinement and Proof Approach with Event-B
Ait-Sadoune, Idir
Ait-Ameur, Yamine
CORRECT SOFTWARE IN WEB APPLICATIONS AND WEB SERVICES, 2015, : 1 - 27
[43] Efficient Abstraction and Refinement for Behavioral Description Based Web Service Composition
Kil, Hyunyoung
Nam, Wonhong
Lee, Dongwon
21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS, 2009, : 1740 - 1745
[44] On the computational complexity of behavioral description-based web service composition
Nam, Wonhong
Kil, Hyunyoung
Lee, Dongwon
THEORETICAL COMPUTER SCIENCE, 2011, 412 (48) : 6736 - 6749
[45] A fast algorithm for web service composition based on dynamic description logic
Liu W.
Du Y.Y.
Guo B.Q.
Yan C.
Xu Q.
Information Technology Journal, 2010, 9 (06) : 1150 - 1157
[46] Semantic Web Service Modeling and Composition Based on Description Logic Rule
Liu, Sipei
Liu, Dayou
Qi, Hong
2009 INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND COMPUTER SCIENCE, VOL 1, PROCEEDINGS, 2009, : 205 - +
[47] Behavioural description based web service composition using abstraction and refinement
Kil, Hyunyoung
Nam, Wonhong
Lee, Dongwon
INTERNATIONAL JOURNAL OF WEB AND GRID SERVICES, 2013, 9 (01) : 54 - 81
[48] A formal and visual modeling approach to choreography based web services composition and conformance verification
Yeung, W. L.
EXPERT SYSTEMS WITH APPLICATIONS, 2011, 38 (10) : 12772 - 12785
[49] Model transformation and formal verification for Semantic Web Services composition
Ni, Yue
Fan, Yushun
ADVANCES IN ENGINEERING SOFTWARE, 2010, 41 (06) : 879 - 885
[50] A theorem proving framework for the formal verification of Web Services Composition
Papapanagiotou, Petros
Fleuriot, Jacques D.
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (61): : 1 - 16

← 1 2 3 4 5 →