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.
Chapter PDF
Similar content being viewed by others
References
ISO/IEC: Basic Reference Model of Open Distributed Processing-Parts1,2, 3 and 4, ISO/IEC CD 10746 (1994)
ISO/IEC TR 13243 – Information technology – Quality of service –Guide to methods and Mechanisms (November 1999)
ITU-T Recommendation G.1000 - Communications quality of service: a framework and Definitions (November 2001)
Bouhdadi, M., et al.: A UML-Based Meta-language for the QoS-aware Enterprise Specification of Open Distributed Systems. IFIP Series, vol. 85, pp. 255–264. Springer, Heidelberg (2002)
Bouhdadi, M., Balouki, Y.: Semantics of Behavioral Concepts for Open Virtual Enterprises. Lecture Notes in Electrical Engineering, vol. 27, pp. 275–286. Springer, Heidelberg (2009)
Balouki, Y., Belhaj, H., et al.: Event B for ODP Enterprise Behavioral Concepts Specification. In: Proceedings of the World Congress on Engineering, WCE 2009, London, U.K., July 1-3. Lecture Notes in Engineering and Computer Science, vol. I, pp. 784–788. Newswood Limited (2009)
Balouki, Y., Bouhdadi, M.: Using BPEL for Behavioral Concepts in ODP Enterprise Language, Virtual Enterprises and Collaborative Networks. IFIP, vol. 283, pp. 221–232. Springer, Heidelberg (2008)
Abrial, J.-R.: The B-Book: Assigning programs to meanings. Cambridge University Press, Cambridge (1996)
Abrial, J.-R.: Extending B without changing it (for developing distributed systems). In: Habrias, H. (ed.) First B Conference (November 1996)
Event-B and the Rodin Platform, http://www.event-b.org/
Joochim, T., Snook, C., Poppleton, M., Gravell, A.: Timing Diagrams Requirements Modelling Using Event-B Formal Methods. In: IASTED International Conference on Software Engineering (SE 2010), Innsbruck, Austria, February 16-18 (2010)
ISO/IEC: The ODP Trading Function, ISO/IEC JTC1/SC21 (1995)
Butler, M.J., Hallerstede, S.: The Rodin Formal Modelling tool. In: BCS-FACS Christmas 2007 Meeting Formal methods in Industry, London (2007)
Abrial, J.-R.: Tutorial - Case study of a complete reactive system in Event-B: A mechanical press controller. In: Proc. 5th International Symposium on Formal Methods (FM 2008), Turku, Finland (2008)
Cansell, D., Méry, D., Rehm, J.: Time Constraint Patterns for Event B Development. In: Proc. Formal Specification and Development in B, 7th International Conf. of B (B 2007), Besancon, France, pp. 140–154 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 IFIP
About this paper
Cite this paper
Belhaj, H., Balouki, Y., Bouhdadi, M., El Hajji, S. (2010). Using Event B to Specify QoS in ODP Enterprise Language. In: Camarinha-Matos, L.M., Boucher, X., Afsarmanesh, H. (eds) Collaborative Networks for a Sustainable World. PRO-VE 2010. IFIP Advances in Information and Communication Technology, vol 336. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15961-9_57
Download citation
DOI: https://doi.org/10.1007/978-3-642-15961-9_57
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15960-2
Online ISBN: 978-3-642-15961-9
eBook Packages: Computer ScienceComputer Science (R0)