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.
|
