{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:15:36Z","timestamp":1725567336443},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642159602"},{"type":"electronic","value":"9783642159619"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15961-9_57","type":"book-chapter","created":{"date-parts":[[2010,10,1]],"date-time":"2010-10-01T09:39:23Z","timestamp":1285925963000},"page":"478-485","source":"Crossref","is-referenced-by-count":3,"title":["Using Event B to Specify QoS in ODP Enterprise Language"],"prefix":"10.1007","author":[{"given":"Hafid","family":"Belhaj","sequence":"first","affiliation":[]},{"given":"Youssef","family":"Balouki","sequence":"additional","affiliation":[]},{"given":"Mohamed","family":"Bouhdadi","sequence":"additional","affiliation":[]},{"given":"Said","family":"El Hajji","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"57_CR1","unstructured":"ISO\/IEC: Basic Reference Model of Open Distributed Processing-Parts1,2, 3 and 4, ISO\/IEC CD 10746 (1994)"},{"key":"57_CR2","unstructured":"ISO\/IEC TR 13243 \u2013 Information technology \u2013 Quality of service \u2013Guide to methods and Mechanisms (November 1999)"},{"key":"57_CR3","unstructured":"ITU-T Recommendation G.1000 - Communications quality of service: a framework and Definitions (November 2001)"},{"key":"57_CR4","series-title":"IFIP Series","first-page":"255","volume-title":"A UML-Based Meta-language for the QoS-aware Enterprise Specification of Open Distributed Systems","author":"M. Bouhdadi","year":"2002","unstructured":"Bouhdadi, M., et al.: A UML-Based Meta-language for the QoS-aware Enterprise Specification of Open Distributed Systems. IFIP Series, vol.\u00a085, pp. 255\u2013264. Springer, Heidelberg (2002)"},{"key":"57_CR5","series-title":"Lecture Notes in Electrical Engineering","first-page":"275","volume-title":"Semantics of Behavioral Concepts for Open Virtual Enterprises","author":"M. Bouhdadi","year":"2009","unstructured":"Bouhdadi, M., Balouki, Y.: Semantics of Behavioral Concepts for Open Virtual Enterprises. Lecture Notes in Electrical Engineering, vol.\u00a027, pp. 275\u2013286. Springer, Heidelberg (2009)"},{"key":"57_CR6","unstructured":"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.\u00a0I, pp. 784\u2013788. Newswood Limited (2009)"},{"key":"57_CR7","series-title":"IFIP","first-page":"221","volume-title":"Using BPEL for Behavioral Concepts in ODP Enterprise Language, Virtual Enterprises and Collaborative Networks","author":"Y. Balouki","year":"2008","unstructured":"Balouki, Y., Bouhdadi, M.: Using BPEL for Behavioral Concepts in ODP Enterprise Language, Virtual Enterprises and Collaborative Networks. IFIP, vol.\u00a0283, pp. 221\u2013232. Springer, Heidelberg (2008)"},{"key":"57_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: Assigning programs to meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book: Assigning programs to meanings. Cambridge University Press, Cambridge (1996)"},{"key":"57_CR9","unstructured":"Abrial, J.-R.: Extending B without changing it (for developing distributed systems). In: Habrias, H. (ed.) First B Conference (November 1996)"},{"key":"57_CR10","unstructured":"Event-B and the Rodin Platform, http:\/\/www.event-b.org\/"},{"key":"57_CR11","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.2316\/P.2010.677-028"},{"key":"57_CR12","unstructured":"ISO\/IEC: The ODP Trading Function, ISO\/IEC JTC1\/SC21 (1995)"},{"key":"57_CR13","doi-asserted-by":"crossref","unstructured":"Butler, M.J., Hallerstede, S.: The Rodin Formal Modelling tool. In: BCS-FACS Christmas 2007 Meeting Formal methods in Industry, London (2007)","DOI":"10.14236\/ewic\/FMI2007.2"},{"key":"57_CR14","unstructured":"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)"},{"key":"57_CR15","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/11955757_13","volume-title":"B 2007: Formal Specification and Development in B","author":"Dominique Cansell","year":"2006","unstructured":"Cansell, D., M\u00e9ry, 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\u2013154 (2007)"}],"container-title":["IFIP Advances in Information and Communication Technology","Collaborative Networks for a Sustainable World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15961-9_57","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,12]],"date-time":"2020-06-12T08:32:29Z","timestamp":1591950749000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15961-9_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642159602","9783642159619"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15961-9_57","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2010]]}}}