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 条

[1] A Petri Net Approach to Analysis and Composition of Web Services
Xiong, PengCheng
Fan, YuShun
Zhou, MengChu
[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2010, 40 (02): : 376 - 387
[2] A high-level Petri net based approach for modeling and composition of web services
Chemaa, Sofiane
Bachtarzi, Faycal
Chaoui, Allaoua
[J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, ICCS 2012, 2012, 9 : 469 - 478
[3] A high-level Petri net based model for web services composition and verification
Chemaa, Sofiane
Bouarioua, Mouna
Chaoui, Allaoua
[J]. INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2015, 51 (04) : 306 - 323
[4] Web Services Composition Framework with Petri Net Based Schemas
Ochmanska, Ewa
[J]. NEW CHALLENGES IN COMPUTATIONAL COLLECTIVE INTELLIGENCE, 2009, 244 : 3 - 14
[5] Automatic Web Services Composition Based On Reasoning Petri Net
Le, Jia-Jin
He, Feng
[J]. ALPIT 2008: SEVENTH INTERNATIONAL CONFERENCE ON ADVANCED LANGUAGE PROCESSING AND WEB INFORMATION TECHNOLOGY, PROCEEDINGS, 2008, : 569 - +
[6] A Petri Net Approach to Mediation-Aided Composition of Web Services
Du, Yanhua
Li, Xitong
Xiong, PengCheng
[J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2012, 9 (02) : 429 - 435
[7] A Petri net approach for the design and analysis of Web Services Choreographies
Valero, Valentin
Emilia Cambronero, M.
Diaz, Gregorio
Macia, Hermenegilda
[J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2009, 78 (05): : 359 - 380
[8] A Model Analyzing Method for OWL-S Services Composition Based on High Level Petri Net
Dong, Shaoran
Li, Zengzhi
[J]. 2009 SECOND INTERNATIONAL SYMPOSIUM ON KNOWLEDGE ACQUISITION AND MODELING: KAM 2009, VOL 1, 2009, : 47 - 50
[9] Web Service Composition with Petri Net and Ontology
Marakhimov, Azizbek
Yim, Jaegeol
Joo, Jaehun
[J]. ADVANCED METHODS AND TECHNOLOGIES FOR AGENT AND MULTI-AGENT SYSTEMS, 2013, 252 : 385 - 394
[10] A Novel Web Services Composition Compensation Method Based on Extended Petri-net
Mei, Xiaoyong
Jiang, Aijun
Li, Shixian
Huang, Changqin
Zheng, Xiaolin
Fan, Yiyan
[J]. ADVANCED RESEARCH ON AUTOMATION, COMMUNICATION, ARCHITECTONICS AND MATERIALS, PTS 1 AND 2, 2011, 225-226 (1-2): : 1084 - +

← 1 2 3 4 5 →