Using Event B to Specify QoS in ODP Enterprise Language - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Using Event B to Specify QoS in ODP Enterprise Language

Résumé

The ODP enterprise viewpoint focuses on the roles and policies on the enterprise that the system is meant to support. QoS-ODP management is now an important research topic for many universities, institutes and industrial organizations. Several approaches are being used in the field of the formalization of QoS-ODP. The use of formal methods in the design process of ODP systems is explicitly required. In this paper, we explore the benefits provided by using the proof construction approach to define the protocol of negotiating QoS requirements when the enterprise objects perform roles constrained by policies. In this context, we investigate the support for the specification of Quality of Service (QoS) in Event-B when modelling open distributed System in the enterprise viewpoint.
Fichier principal
Vignette du fichier
pro57.pdf (82.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01055957 , version 1 (25-08-2014)

Licence

Paternité

Identifiants

Citer

Hafid Belhaj, Youssef Balouki, Mohamed Bouhdadi, Said Hajji. Using Event B to Specify QoS in ODP Enterprise Language. 11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.478-485, ⟨10.1007/978-3-642-15961-9_57⟩. ⟨hal-01055957⟩
63 Consultations
158 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More