GDL

Journal from gdlhub / 2021-08-24 11:54:33
Oleh : Abdia Hamdani, Abdelkrim Abdelli, King Saud University
Dibuat : 2021-08-03, dengan 0 file

Keyword : Workflow, Pattern, Synchronization, Rendezvous, Petri Nets, Real time systems
Url : http://www.sciencedirect.com/science/article/pii/S131915781930182X
Sumber pengambilan dokumen : Web

Nowadays, workflow systems are becoming very complex, involving time constraints, priorities on tasks as well as elaborated synchronization schemes. As a result, the specification and the verification of such systems are demanding much theory to prove their correctness and determine their qualitative and quantitative properties. In this paper, we mainly deal with complex synchronization on timed workflow systems. To address this issue, we redefine the concept of rendezvous as a mechanism to synchronize time constrained concurrent tasks of different privileges (Master, Slave). We discuss the different strategies that a rendezvous can follow, and hence we determine all the synchronizations patterns that could be considered in specifying its behaviour. From there, we deduce 36 generic synchronization rules that can be associated with the concept of rendezvous. Based on this theory, we extend the Time Petri Nets formalism to the concept of rendezvous to introduce the RTPN model (Time Petri Nets with rendezvous). Then, a subclass of RTPNs called Time Workflow-nets with Rendezvous (RTWF-nets), are defined for the modelling and the analysis of timed workflow systems. Finally, a case study is addressed to show how our framework can deal efficiently and elegantly with complex synchronization requirements.

Deskripsi Alternatif :

Nowadays, workflow systems are becoming very complex, involving time constraints, priorities on tasks as well as elaborated synchronization schemes. As a result, the specification and the verification of such systems are demanding much theory to prove their correctness and determine their qualitative and quantitative properties. In this paper, we mainly deal with complex synchronization on timed workflow systems. To address this issue, we redefine the concept of rendezvous as a mechanism to synchronize time constrained concurrent tasks of different privileges (Master, Slave). We discuss the different strategies that a rendezvous can follow, and hence we determine all the synchronizations patterns that could be considered in specifying its behaviour. From there, we deduce 36 generic synchronization rules that can be associated with the concept of rendezvous. Based on this theory, we extend the Time Petri Nets formalism to the concept of rendezvous to introduce the RTPN model (Time Petri Nets with rendezvous). Then, a subclass of RTPNs called Time Workflow-nets with Rendezvous (RTWF-nets), are defined for the modelling and the analysis of timed workflow systems. Finally, a case study is addressed to show how our framework can deal efficiently and elegantly with complex synchronization requirements.

Beri Komentar ?#(0) | Bookmark

Properti	Nilai Properti
ID Publisher	gdlhub
Organisasi	King Saud University
Nama Kontak	Herti Yani, S.Kom
Alamat	Jln. Jenderal Sudirman
Kota	Jambi
Daerah	Jambi
Negara	Indonesia
Telepon	0741-35095
Fax	0741-35093
E-mail Administrator	elibrarystikom@gmail.com
E-mail CKO	elibrarystikom@gmail.com