Compositional execution semantics for business process verification

•We define a complete execution semantics of BPEL through a new methodology.•We verify important correctness properties using business process models.•We test our BPEL to BIP translation tool in mid-scale programs and their verification.•Translation times grow linearly to the number of states in the...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	The Journal of systems and software Ročník 137; s. 217 - 238
Hlavní autoři:	Stachtiari, Emmanouela, Katsaros, Panagiotis
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.03.2018
Témata:	BIP Formal verification Programming language semantics WS-BPEL BIP Programming language semantics Formal verification WS-BPEL
ISSN:	0164-1212, 1873-1228
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!