Reference Model of Open Distributed Processing Basic Modelling Concepts in Event-B
Abdessamad Jarrar, Nawfal FERFRA, Taoufiq Gadi, Youssef Balouki · 2019
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