Formal Checking of WS-BPEL Orchestrations (CROSBI ID 633586)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
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