Hybrid Analysis of BPEL Models with Grammars

Erwin de Jager, Stijn de Gouw

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Abstract

BPEL (Business Process Execution Language) is a language to formally describe business processes, and synthesize suitable executable orchestration code for web-services accordingly. In particular, the subset of BPEL of so-called straight-through processes (STP), tailored for short-living processes, is used in banks and tax administrations to process large numbers of transactions per hour without human interaction. This paper contributes two novel tool-supported approaches for the analysis of STP event traces. Both are based on (attribute) grammars: a static verification approach based on parsing and a Prolog-based approach for automatic test-case generation. Our tool suite supports both protocol and data-oriented properties of STP event traces. We validate and compare our tool suite to existing approaches with an industrial case study of the Dutch Tax and Customs Administration (Belastingdienst).
Original languageEnglish
Title of host publicationProceedings of the SOFSEM 2020 Doctoral Student Research Forum co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science
Subtitle of host publicationSOFSEM-SRF 2020
EditorsYannis Manolopoulos, George A. Papadopoulos, Theodoros Tzouramanis
Place of PublicationLimassol, Cyprus
PublisherCEUR-WS.org
Pages73-84
Number of pages12
Volume2568
Publication statusPublished - 2020
Event46th International Conference on Current Trends in Theory and Practice of Computer Science - Limassol, Cyprus
Duration: 20 Jan 202024 Jan 2020
Conference number: 46
https://cyprusconferences.org/sofsem2020/

Publication series

SeriesCEUR Workshop Proceedings

Conference

Conference46th International Conference on Current Trends in Theory and Practice of Computer Science
Abbreviated titleSOFSEM 2020
Country/TerritoryCyprus
CityLimassol
Period20/01/2024/01/20
Internet address

Fingerprint

Dive into the research topics of 'Hybrid Analysis of BPEL Models with Grammars'. Together they form a unique fingerprint.

Cite this