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

Full description

Bibliographic Details

Published in:	The Journal of systems and software Vol. 137; pp. 217 - 238
Main Authors:	Stachtiari, Emmanouela, Katsaros, Panagiotis
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.03.2018
Subjects:	BIP Formal verification Programming language semantics WS-BPEL BIP Programming language semantics Formal verification WS-BPEL
ISSN:	0164-1212, 1873-1228
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!