{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T04:14:13Z","timestamp":1748924053920,"version":"3.41.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319335995"},{"type":"electronic","value":"9783319336008"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-33600-8_9","type":"book-chapter","created":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T08:15:15Z","timestamp":1462868115000},"page":"151-166","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On Component-Based Reuse for Event-B"],"prefix":"10.1007","author":[{"given":"Andrew","family":"Edmunds","sequence":"first","affiliation":[]},{"given":"Colin","family":"Snook","sequence":"additional","affiliation":[]},{"given":"Marina","family":"Walden","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,11]]},"reference":[{"key":"9_CR1","unstructured":"The Rodin User\u2019s Handbook. http:\/\/handbook.event-b.org\/"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-11811-1_14","volume-title":"Abstract State Machines, Alloy, B and Z","author":"A Iliasov","year":"2010","unstructured":"Iliasov, A., Troubitsyna, E., Laibinis, L., Romanovsky, A., Varpaaniemi, K., Ilic, D., Latvala, T.: Supporting reuse in Event B development: modularisation approach. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol. 5977, pp. 174\u2013188. Springer, Heidelberg (2010)"},{"key":"9_CR3","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B: System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"9_CR4","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-319-07512-9_9","volume-title":"ABZ 2014: The Landing Gear Case Study","author":"R Banach","year":"2014","unstructured":"Banach, R.: The landing gear case study in hybrid Event-B. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D. (eds.) ABZ 2014. CCIS, vol. 433, pp. 126\u2013141. Springer, Heidelberg (2014)"},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"36","DOI":"10.4204\/EPTCS.115.3","volume":"115","author":"Michael Butler","year":"2013","unstructured":"Butler, M., Colley, J., Edmunds, A., Snook, C., Evans, N., Grant, N., Marshall, H.: Modelling and refinement in CODA. In: Refine, pp. 36\u201351 (2013)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"9_CR6","unstructured":"Edmunds, A., Butler, M.: Tasking Event-B: an extension to Event-B for generating concurrent code. In: PLACES 2011, February 2011"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Edmunds, A., Walden, M.: Modelling \u201coperation-calls\u201d in Event-B with shared-event composition. Technical report 1144 (2015)","DOI":"10.1007\/978-3-319-49815-7_6"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/11955757_7","volume-title":"B 2007: Formal Specification and Development in B","author":"S Hallerstede","year":"2006","unstructured":"Hallerstede, S.: Justifications for the Event-B modelling notation. In: Julliand, J., Kouchnarenko, O. (eds.) B 2007. LNCS, vol. 4355, pp. 49\u201363. Springer, Heidelberg (2006)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/978-3-642-30885-7_16","volume-title":"Abstract State Machines, Alloy, B, VDM, and Z","author":"S Hallerstede","year":"2012","unstructured":"Hallerstede, S., Hoang, T.S.: Refinement by interface instantiation. In: Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., Riccobene, E. (eds.) ABZ 2012. LNCS, vol. 7316, pp. 223\u2013237. Springer, Heidelberg (2012)"},{"key":"9_CR10","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Upper Saddle River (1985)"},{"issue":"6","key":"9_CR11","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10009-010-0145-y","volume":"12","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R., et al.: Rodin: an open toolset for modelling and reasoning in Event-B. Softw. Tools Technol. Transf. 12(6), 447\u2013466 (2010)","journal-title":"Softw. Tools Technol. Transf."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Kessel, M., Atkinson, C.: Ranking software components for pragmatic reuse. In: 2015 IEEE\/ACM 6th International Workshop on Emerging Trends in Software Metrics (WETSoM), pp. 63\u201366. IEEE (2015)","DOI":"10.1109\/WETSoM.2015.16"},{"key":"9_CR13","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1007\/978-3-540-45236-2_46","volume-title":"FME 2003: Formal Methods","author":"Michael Leuschel","year":"2003","unstructured":"Leuschel, M., Butler, M.: ProB: a model checker for B. In: Proceedings of Formal Methods Europe 2003 (2003)"},{"key":"9_CR14","unstructured":"Meyer, B.: Design by contract: the Eiffel method. In: TOOLS, vol. 26, p. 446. IEEE Computer Society (1998)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Oliveira, C., Wermelinger, M.: The community workbench. In: Proceedings of the 26th International Conference on Software Engineering, pp. 709\u2013710. IEEE Computer Society (2004)","DOI":"10.1109\/ICSE.2004.1317499"},{"key":"9_CR16","unstructured":"Pereverzeva, I.: Formal development of resilient distributed systems. Ph.D. thesis, \u00c5bo Akademi University (2015)"},{"key":"9_CR17","unstructured":"Perry, D.L.: VHDL, 2nd edn. McGraw-Hill, New York (1994)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-87603-8_17","volume-title":"Abstract State Machines, B and Z","author":"MR Poppleton","year":"2008","unstructured":"Poppleton, M.R.: The composition of Event-B models. In: B\u00f6rger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 209\u2013222. Springer, Heidelberg (2008)"},{"key":"9_CR19","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R Back","year":"2012","unstructured":"Back, R., Wright, J.: Refinement Calculus: A Systematic Introduction. Springer Science & Business Media, New York (2012)"},{"key":"9_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33170-1","volume-title":"Industrial Deployment of System Engineering Methods","author":"A Romanovsky","year":"2013","unstructured":"Romanovsky, A., Thomas, M.: Industrial Deployment of System Engineering Methods. Springer, Heidelberg (2013)"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"579","DOI":"10.1007\/978-3-642-05089-3_37","volume-title":"FM 2009: Formal Methods","author":"MY Said","year":"2009","unstructured":"Said, M.Y., Butler, M., Snook, C.: Language and tool support for class and state machine refinement in UML-B. In: Cavalcanti, A., Dams, D.R. (eds.) FM 2009. LNCS, vol. 5850, pp. 579\u2013595. Springer, Heidelberg (2009)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Silva, R.: Towards the composition of specifications in Event-B. In: B 2011, June 2011","DOI":"10.1016\/j.entcs.2011.11.020"},{"key":"9_CR23","unstructured":"Silva, R.: Supporting development of Event-B models. Ph.D. thesis, University of Southampton, May 2012"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Silva, R., Butler, M.: Shared event composition\/decomposition in Event-B. In: FMCO Formal Methods for Components and Objects, November 2010","DOI":"10.1007\/978-3-642-25271-6_7"},{"key":"9_CR25","unstructured":"Snook, C.: Event-B Statemachines (2011). http:\/\/wiki.event-b.org\/index.php\/Event-B_Statemachines"},{"key":"9_CR26","unstructured":"Snook, C.: iUML-B Statemachines. In: Proceedings of the 5th Rodin User and Developer Workshopp (2014)"},{"key":"9_CR27","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/1125808.1125811","volume":"15","author":"C Snook","year":"2006","unstructured":"Snook, C., Butler, M.: UML-B: formal modelling and design aided by UML. ACM Trans. Softw. Eng. Methodol. 15, 92\u2013122 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"9_CR28","unstructured":"The ADVICeS Team: The ADVICeS Project. https:\/\/research.it.abo.fi\/ADVICeS\/"},{"key":"9_CR29","unstructured":"Wikipedia: Component-Based Software Engineering - Software Component. https:\/\/en.wikipedia.org\/wiki\/Component-based_software_engineering"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, TLA, VDM, and Z"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33600-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T02:34:54Z","timestamp":1748918094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33600-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319335995","9783319336008"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33600-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"11 May 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}