Formalizing a Policy-based Compliance Control Solution with Event-B
2019
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.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
2
Citations
NaN
KQI