{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:24:16Z","timestamp":1725459856300},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642362842"},{"type":"electronic","value":"9783642362859"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36285-9_52","type":"book-chapter","created":{"date-parts":[[2013,1,24]],"date-time":"2013-01-24T08:26:30Z","timestamp":1359015990000},"page":"513-518","source":"Crossref","is-referenced-by-count":0,"title":["Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case"],"prefix":"10.1007","author":[{"given":"Lazhar","family":"Hamel","sequence":"first","affiliation":[]},{"given":"Mohamed","family":"Graiet","sequence":"additional","affiliation":[]},{"given":"Mourad","family":"Kmimech","sequence":"additional","affiliation":[]},{"given":"Mohamed Tahar","family":"Bhiri","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"52_CR1","unstructured":"Thakkar, S., Knoblock, C.A., Ambite, J.L.: A view integration approach to dynamic composition of web services. In: Proceedings of 2003 ICAPS Workshop on Planning for Web Services (2003)"},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"Casati, F., Ilnicki, S., Jin, L., Krishnamoorthy, V., Shan, M.C.: Adaptive and dynamic service composition in eflow (2000)","DOI":"10.1007\/3-540-45140-4_3"},{"issue":"3","key":"52_CR3","first-page":"50","volume":"22","author":"D. Zhang","year":"2005","unstructured":"Zhang, D., Chen, M., Zhou, L.: Dynamic and personalized web services composition in e-business. IS Management\u00a022(3), 50\u201365 (2005)","journal-title":"IS Management"},{"key":"52_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"J.R. Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"Hamel, L., Graiet, M., Kmimech, M., Bhiri, M.T., Gaaloul, W.: A proof-based approach for verifying composite service transactional behavior. In: ICSEA, pp. 386\u2013392 (2011)","DOI":"10.1109\/SKG.2011.35"},{"key":"52_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-642-23798-0_7","volume-title":"Software Architecture","author":"L. Hamel","year":"2011","unstructured":"Hamel, L., Graiet, M., Kmimech, M., Bhiri, M.T., Gaaloul, W.: Verifying Composite Service Transactional Behavior with EVENT-B. In: Crnkovic, I., Gruhn, V., Book, M. (eds.) ECSA 2011. LNCS, vol.\u00a06903, pp. 67\u201374. Springer, Heidelberg (2011)"},{"key":"52_CR7","unstructured":"Ait-Sadoune, I., Ait-Ameur, Y.: From bpel to event-b. In: International Workshop on Integration of Model-based Formal Methods and Tools (IM FMT) at 7th International Conference on Integrated Formal Methods (IFM), Dusseldorf, Germany (2009)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36285-9_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T21:36:42Z","timestamp":1557524202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36285-9_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642362842","9783642362859"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36285-9_52","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2013]]}}}