Using Event B to Specify QoS in ODP Enterprise Language

Abstract : 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.
Type de document :
Communication dans un congrès
Luis M. Camarinha-Matos; Xavier Boucher; Hamideh Afsarmanesh. 11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. Springer, IFIP Advances in Information and Communication Technology, AICT-336, pp.478-485, 2010, Collaborative Networks for a Sustainable World. 〈10.1007/978-3-642-15961-9_57〉
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01055957
Contributeur : Hal Ifip <>
Soumis le : lundi 25 août 2014 - 16:46:22
Dernière modification le : vendredi 11 août 2017 - 13:19:44
Document(s) archivé(s) le : mardi 11 avril 2017 - 19:37:04

Fichier

pro57.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Hafid Belhaj, Youssef Balouki, Mohamed Bouhdadi, Said Hajji. Using Event B to Specify QoS in ODP Enterprise Language. Luis M. Camarinha-Matos; Xavier Boucher; Hamideh Afsarmanesh. 11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. Springer, IFIP Advances in Information and Communication Technology, AICT-336, pp.478-485, 2010, Collaborative Networks for a Sustainable World. 〈10.1007/978-3-642-15961-9_57〉. 〈hal-01055957〉

Partager

Métriques

Consultations de la notice

96

Téléchargements de fichiers

114