Publishing House SB RAS:

Publishing House SB RAS:

Address of the Publishing House SB RAS:
Morskoy pr. 2, 630090 Novosibirsk, Russia



Advanced Search

Scientific journal Vestnik NSUEM

2013 year, number 2

MODELING OF SERVICE COMPOSITION VIA COLOURED PETRI NETS

I.V. Artamonov
Keywords: service oriented architecture, service, Web service, service compositions, Petri nets, coloured Petri nets, WF-nets

Abstract

The article describes service properties as a program unit and suggests considering aspects of its modeling via coloured Petri nets apparatus. For this purpose the service is presented as a finite set of operations with pre- and postconditions for activation. Each operation may participate in service compositions, and each composition may be recursively represented as an independent operation.