Property Ownership Formal Modelling Using Event-B and iUML-B

Manar Altamimi, Nawfal Al Hashimy, Asieh Salehi Fathabadi, Gary B. Wills
Digital Printed Abstract View Cite
Type
Case Study
Publication
10th International Conference on Rigorous State Based Methods (ABZ'24)

Abstract

This paper introduces a novel approach to formal modelling and verification of ownership, addressing safety concerns in property transfer processes. The Event-B formal method, graphically represented using iUML-B notation, is used to establish a robust framework for modeling and verifying ownership systems. The verified Event-B model refines and enhances user requirements at the design stage before system implementation. The research focuses on property ownership within the legal framework of the Kingdom of Saudi Arabia, specifically property sales. The research uncovers that, despite conscientious efforts to scrutinise user requirements, the formal model development exposes limitations and inadequacies in the initial specifications. The verification process introduces essential requirements to mitigate potential fraudulent activities, enhancing the security and dependability of ownership claims.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{AltamimiHFW24,
  author       = {Manar Altamimi and
                  Nawfal Al Hashimy and
                  Asieh Salehi Fathabadi and
                  Gary B. Wills},
  editor       = {Silvia Bonfanti and
                  Angelo Gargantini and
                  Michael Leuschel and
                  Elvinia Riccobene and
                  Patrizia Scandurra},
  title        = {Property Ownership Formal Modelling Using Event-B and iUML-B},
  booktitle    = {Rigorous State-Based Methods - 10th International Conference, {ABZ}
                  2024, Bergamo, Italy, June 25-28, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14759},
  pages        = {191--200},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-63790-2\_12},
  doi          = {10.1007/978-3-031-63790-2\_12},
  timestamp    = {Thu, 04 Jul 2024 22:05:23 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/AltamimiHFW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
ABZ'24

Related