High Level Petri Net Modelling and Analysis of Flexible Web Services Composition

被引：2

作者：

Kheldoun, Ahmed ^{[1
,2
]}

Barkaoui, Kamel ^{[3
]}

Ioualalen, Malika ^{[1
]}

Dahmani, Djaouida ^{[1
]}

机构：

[1] USTHB, Dept Comp Sci, MOVEP, Algiers, Algeria

[2] Yahia Fares Univ, Fac Sci & Technol, Medea, Algeria

[3] CEDRIC CNAM, 292 Rue St Martin, F-75141 Paris 03, France

来源：

SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS | 2016年 / 654卷

关键词：

WORKFLOWS;

D O I：

10.1007/978-3-319-33903-0_12

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

In this paper we propose a model to deal with flexibility in complex Web services composition (WSC). In this context, we use a model based on high level Petri nets called RECATNets, where control and data flows are easily supported. Indeed, RECATNets combine the strengths of recursive Petri netswith the expressive power of abstract data types. Since RECATNets semantics is expressed in terms of the conditional rewriting logic, one can use the Maude LTL Model-Checker to investigate several behavioral properties of Web services composition.

引用

页码：163 / 180

页数：18

共 50 条

[41] AN OPEN PETRI NET MODELLING AND ANALYSIS ENVIRONMENT IN MATLAB
Music, Gasper
Loescher, Thomas
Gradisar, Dejan
[J]. INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 123 - +
[42] Modelling and analysis of hybrid stochastic timed Petri net
Cao, Ruimin
Hao, Lina
Wang, Fengli
Gao, Qiang
[J]. JOURNAL OF CONTROL AND DECISION, 2019, 6 (02) : 90 - 110
[43] High Level Petri Net approach to model testing
Piumatti, Marco
[J]. Twenty-Third Annual Pacific Northwest Software Quality Conference, Proceedings, 2005, : 419 - 433
[44] Modeling Mobile Web Services flow using generalized stochastic high-level Petri
Yin, H
Tan, ZX
Lin, CA
Jiang, YX
Qiu, F
[J]. 2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4953 - 4958
[45] Modelling and Analysing Deadlock in Flexible Manufacturing System using Untimed Petri Net
Al Hazza, Muataz Hazza F.
Taha, Assem Hatem
Adesta, Erry Y. T.
Albakri, Adilah
[J]. 2015 4TH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER SCIENCE APPLICATIONS AND TECHNOLOGIES (ACSAT), 2015, : 261 - 265
[46] Improving performance of a flexible manufacturing system by Petri net based modelling and simulation
Cavalieri, S
[J]. IECON 2000: 26TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4: 21ST CENTURY TECHNOLOGIES AND INDUSTRIAL OPPORTUNITIES, 2000, : 1298 - 1303
[47] Utilizing fuzzy Petri net for choreography based semantic web services discovery
Men, Peng
Duan, Zhenhua
Yu, Bin
[J]. PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2007, 2007, 4546 : 362 - +
[48] A Petri Net approach to analyze the effect of persistent connection on the scalability of web services
Wu, Hai-yan
Lin, Xiao-zhu
Jiang, Dong-Xing
[J]. 2008 3RD INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEM SOFTWARE AND MIDDLEWARE AND WORKSHOPS, VOLS 1 AND 2, 2008, : 267 - 270
[49] Combined Petri net modelling and AI based heuristic hybrid search for flexible manufacturing systems - part 1. Petri net modelling and heuristic search
Yu, H
Reyes, A
Cang, S
Lloyd, S
[J]. COMPUTERS & INDUSTRIAL ENGINEERING, 2003, 44 (04) : 527 - 543
[50] A NET LEVEL PERFORMANCE ANALYSIS OF STOCHASTIC PETRI NETS
HENDERSON, W
LUCIC, D
TAYLOR, PG
[J]. JOURNAL OF THE AUSTRALIAN MATHEMATICAL SOCIETY SERIES B-APPLIED MATHEMATICS, 1989, 31 : 176 - 187

← 1 2 3 4 5 →