jarrar, Abdessamad and FERFRA, Nawfal and Gadi, Taoufiq and Balouki, Youssef (2019) Reference Model of Open Distributed Processing Basic Modelling Concepts in Event-B. In: Proceedings of the Third International Conference on Computing and Wireless Communication Systems, ICCWCS 2019, April 24-25, 2019, Faculty of Sciences, Ibn Tofaïl University -Kénitra- Morocco.
![[thumbnail of 32125.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "32125.pdf")
PDF
32125.pdf
Download (386kB)
Abstract
We present a set of recommendations to help engineers using the Event-B
formal methods to specify the basic modelling concepts of the Reference Model of Open
Distributed Processing (RM-ODP). This model is developed by the IUT and ISO in order
to standarise the development of Open Distributed Process
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 12:08 |
| Last Modified: | 17 Apr 2026 14:29 |
| URI: | http://eprints.eai.eu/id/eprint/22926 |
Actions (login required)
- View Item