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 条

[21] Monitoring of flexible production systems using high-level Petri net specifications
Feldmann, K
Colombo, AW
[J]. CONTROL ENGINEERING PRACTICE, 1999, 7 (12) : 1449 - 1466
[22] A new class of a high-level Petri net for modelling logical OR efficiently: coloured AND/OR Petri nets (CARPN)
Salum, L
[J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2000, 38 (18) : 4671 - 4682
[23] Study on Semantic Web Service Composition Based on Petri Net
Zou Jinan
Lin Jianbing
Ruan Deshui
[J]. PROCEEDINGS OF 2012 7TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, VOLS I-VI, 2012, : 1110 - 1114
[24] Hierarchical verification for web service composition based on petri net
Wang, L.
Wang, Z. G.
[J]. BASIC & CLINICAL PHARMACOLOGY & TOXICOLOGY, 2018, 123 : 36 - 37
[25] A Petri Net Based Execution Engine for Web Service Composition
Xu, Kai
Ma, Bingxian
[J]. WEB INFORMATION SYSTEMS ENGINEERING - WISE 2013 WORKSHOPS, 2014, 8182 : 181 - 193
[26] A Petri Net Approach To Reliable Execution for Web Service Composition
Chen, Liping
Zhang, Guojun
[J]. 2013 9TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS), 2013, : 105 - 109
[27] The Petri net modelling and analysis tool Π-Tool
Quiroga, Lisandro M.
Becker, Uwe
Schnieder, Eckehard
[J]. AT-AUTOMATISIERUNGSTECHNIK, 2014, 62 (06) : 436 - 445
[28] WS-Net: A Petri-net based specification model for web services
Zhang, J
Chang, CK
Chung, JY
Kim, SW
[J]. IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 420 - 427
[29] A Petri net-based simulation model for the flexible modelling and analysis of building construction processes
Samkari, Kais
Franz, Volkhard
[J]. SIMULATION IN PRODUKTION UND LOGISTK 2013, 2013, 316 : 505 - 514
[30] Flexible binding for reusable composition of Web services
Pautasso, C
Alonso, G
[J]. SOFTWARE COMPOSITION, 2005, 3628 : 151 - 166

← 1 2 3 4 5 →