6533b830fe1ef96bd1296f31

RESEARCH PRODUCT

Towards Data Quality Runtime Verification

Janis BicevskisIvo OditisZane BicevskaAnastasija Nikiforova

subject

Domain-specific languageCorrectnessBusiness processbusiness.industryComputer scienceData qualityRuntime verificationProcess (computing)Software engineeringbusiness

description

This paper discusses data quality checking during business process execution by using runtime verification. While runtime verification verifies the correctness of business process execution, data quality checks assure that particular process did not negatively impact the stored data. Both, runtime verification and data quality checks run in parallel with the base processes affecting them insignificantly. The proposed idea allows verifying (a) if the process was ended correctly as well as (b) whether the results of the correct process did not negatively impact the stored data in result of its modification caused by the specific process. The desired result will be achieved by use of domain specific languages that would describe runtime verification and data quality checks at every stage of business process execution.

yearjournalcountryeditionlanguage
2019-09-26Proceedings of the 2019 Federated Conference on Computer Science and Information Systems
https://doi.org/10.15439/2019f168