TY - GEN

T1 - Service-Oriented Petri Net Model

AU - Iakushkin, Oleg

N1 - Publisher Copyright: © 2020, Springer Nature Switzerland AG. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.

PY - 2020

Y1 - 2020

N2 - In this paper, we consider the existing problems of colour stochastic Petri nets (CSPN) for modelling of systems of interconnected applications - services. The main issues that arise when modelling service applications and their interactions are as follows: support of composite types and indexed arrays, describing operations on top of them. It is also important to note the problem of using global time in model combinations – it is hard to describe different levels of abstraction. For example, to combine the network behaviour such as delays, duplication, and packet loss and its effects on business logic. To solve all of these problems, we propose a new model of a service-oriented Petri net (SOPN). It is built based on the stochastic Petri net (SPN) by adding some restrictions and extension components. We added tools for creating data structures, fundamental types such as integers, rational numbers, ordered arrays. The model presented in this paper provides the toolkit for creating complex atomic operations in terms of model-controlled time. Meanwhile, for all the new components and features transition to the basic SPN model is supported.

AB - In this paper, we consider the existing problems of colour stochastic Petri nets (CSPN) for modelling of systems of interconnected applications - services. The main issues that arise when modelling service applications and their interactions are as follows: support of composite types and indexed arrays, describing operations on top of them. It is also important to note the problem of using global time in model combinations – it is hard to describe different levels of abstraction. For example, to combine the network behaviour such as delays, duplication, and packet loss and its effects on business logic. To solve all of these problems, we propose a new model of a service-oriented Petri net (SOPN). It is built based on the stochastic Petri net (SPN) by adding some restrictions and extension components. We added tools for creating data structures, fundamental types such as integers, rational numbers, ordered arrays. The model presented in this paper provides the toolkit for creating complex atomic operations in terms of model-controlled time. Meanwhile, for all the new components and features transition to the basic SPN model is supported.

KW - CSPN

KW - Modelling

KW - Petri net

KW - Services

UR - http://www.scopus.com/inward/record.url?scp=85092661775&partnerID=8YFLogxK

UR - https://www.mendeley.com/catalogue/e8a37cc2-84fc-3301-9744-3d006670e022/

U2 - 10.1007/978-3-030-58817-5_5

DO - 10.1007/978-3-030-58817-5_5

M3 - Conference contribution

AN - SCOPUS:85092661775

SN - 9783030588168

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 51

EP - 66

BT - Computational Science and Its Applications – ICCSA 2020 - 20th International Conference, Proceedings

A2 - Gervasi, Osvaldo

A2 - Murgante, Beniamino

A2 - Misra, Sanjay

A2 - Garau, Chiara

A2 - Blecic, Ivan

A2 - Taniar, David

A2 - Apduhan, Bernady O.

A2 - Rocha, Ana Maria A.C.

A2 - Tarantino, Eufemia

A2 - Torre, Carmelo Maria

A2 - Karaca, Yeliz

PB - Springer Nature

T2 - 20th International Conference on Computational Science and Its Applications, ICCSA 2020

Y2 - 1 July 2020 through 4 July 2020

ER -