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 language | English |
|---|---|
| Title of host publication | Proceedings 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 publication | SOFSEM-SRF 2020 |
| Editors | Yannis Manolopoulos, George A. Papadopoulos, Theodoros Tzouramanis |
| Place of Publication | Limassol, Cyprus |
| Publisher | CEUR-WS.org |
| Pages | 73-84 |
| Number of pages | 12 |
| Volume | 2568 |
| Publication status | Published - 2020 |
| Event | 46th International Conference on Current Trends in Theory and Practice of Computer Science - Limassol, Cyprus Duration: 20 Jan 2020 → 24 Jan 2020 Conference number: 46 https://cyprusconferences.org/sofsem2020/ |
Publication series
| Series | CEUR Workshop Proceedings |
|---|
Conference
| Conference | 46th International Conference on Current Trends in Theory and Practice of Computer Science |
|---|---|
| Abbreviated title | SOFSEM 2020 |
| Country/Territory | Cyprus |
| City | Limassol |
| Period | 20/01/20 → 24/01/20 |
| Internet address |