Formalizing a Policy-based Compliance Control Solution with Event-B

Laura González, Raúl Ruggia

Abstract

Compliance management is gaining increasing interest in inter-organizational service-oriented systems, which are usually supported by integration platforms. Due to their mediation role and capabilities, these platforms constitute a convenient infrastructure for controlling compliance requirements affecting message exchanges between organizations. This paper proposes a formal model for a policy-based compliance control solution introduced in our previous work for such platforms. The model, which was developed using Event-B, provides unambiguous specifications and enables formal proofs as well as the verification of the solution operation.

Download


Paper Citation


in Harvard Style

González L. and Ruggia R. (2019). Formalizing a Policy-based Compliance Control Solution with Event-B.In Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-379-7, pages 605-613. DOI: 10.5220/0008120406050613


in Bibtex Style

@conference{icsoft19,
author={Laura González and Raúl Ruggia},
title={Formalizing a Policy-based Compliance Control Solution with Event-B},
booktitle={Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2019},
pages={605-613},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008120406050613},
isbn={978-989-758-379-7},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 14th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Formalizing a Policy-based Compliance Control Solution with Event-B
SN - 978-989-758-379-7
AU - González L.
AU - Ruggia R.
PY - 2019
SP - 605
EP - 613
DO - 10.5220/0008120406050613