Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Formal Checking of WS-BPEL Orchestrations (CROSBI ID 633586)

Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija

Matković, Jelena ; Fertalj, Krešimir Formal Checking of WS-BPEL Orchestrations // 37th International Convention on Information and Communication Technology, Electronics and Microelectronics / Biljanović, Petar et.al. (ur.). Opatija: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO, 2014. str. 375-381

Podaci o odgovornosti

Matković, Jelena ; Fertalj, Krešimir

engleski

Formal Checking of WS-BPEL Orchestrations

This paper is focused on understanding techniques used to formally verify behaviour of business processes developed using WS-BPEL standard. The first part of the paper gives an overview of WSBPEL control-flow constructs. We analyze offered constructs and try to derive control-flow scenarios that can be built out of them. Derived complex control- flow scenarios are further discussed. Possible execution misbehaviour, which cannot be discovered by pure static analysis of WSBPEL code, is identified. Misbehaviour can be any of the following: unreachable code, deadlock states, non-progress cycles (code is repeated without passing through progress state), or any other unwanted scenario, like unwanted execution order of activities, unwanted order of messages being exchanged and similar execution misbehaviour. The second part of the paper describes techniques used for formal verification of any code in general with an emphasis on research how these techniques are exploited to verify WS-BPEL code. The final part of the paper concludes with the discussion how successful described work was in verification of possible identified misbehaviour from the first part of the paper.

WS-BPEL Orchestrations

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o prilogu

375-381.

2014.

objavljeno

Podaci o matičnoj publikaciji

37th International Convention on Information and Communication Technology, Electronics and Microelectronics

Biljanović, Petar et.al.

Opatija: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO

978-953-233-078-6

Podaci o skupu

37th International Convention on Information and Communication Technology, Electronics and Microelectronics

predavanje

26.05.2014-30.05.2014

Opatija, Hrvatska

Povezanost rada

nije evidentirano