{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T04:06:30Z","timestamp":1751688390802,"version":"3.41.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319912707"},{"type":"electronic","value":"9783319912714"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-91271-4_35","type":"book-chapter","created":{"date-parts":[[2018,5,7]],"date-time":"2018-05-07T14:32:55Z","timestamp":1525703575000},"page":"425-430","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B"],"prefix":"10.1007","author":[{"given":"Yamine","family":"A\u00eft-Ameur","sequence":"first","affiliation":[]},{"given":"Idir","family":"Ait-Sadoune","sequence":"additional","affiliation":[]},{"given":"P.","family":"Casteran","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Gibson","sequence":"additional","affiliation":[]},{"given":"K.","family":"Hacid","sequence":"additional","affiliation":[]},{"given":"S.","family":"Kherroubi","sequence":"additional","affiliation":[]},{"given":"Dominique","family":"M\u00e9ry","sequence":"additional","affiliation":[]},{"given":"L.","family":"Mohand-Oussaid","sequence":"additional","affiliation":[]},{"given":"Neeraj K.","family":"Singh","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Voisin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,8]]},"reference":[{"key":"35_CR1","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":"35_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"604","DOI":"10.1007\/978-3-662-45231-8_50","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"Y Ait-Ameur","year":"2014","unstructured":"Ait-Ameur, Y., Gibson, J.P., M\u00e9ry, D.: On implicit and explicit semantics: integration issues in proof-based development of systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 604\u2013618. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45231-8_50"},{"key":"35_CR3","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1016\/j.scico.2015.12.004","volume":"121","author":"Y A\u00eft Ameur","year":"2016","unstructured":"A\u00eft Ameur, Y., M\u00e9ry, D.: Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121, 100\u2013127 (2016)","journal-title":"Sci. Comput. Program."},{"key":"35_CR4","unstructured":"Bechhofer, S., Van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneider, P., Stein, L., et al.: OWL Web Ontology Language Reference. W3C Recommendation (2004)"},{"issue":"2","key":"35_CR5","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/s00165-016-0385-z","volume":"29","author":"D Bj\u00f8rner","year":"2017","unstructured":"Bj\u00f8rner, D.: Manifest domains: analysis and description. Form. Asp. Comput. 29(2), 175\u2013225 (2017)","journal-title":"Form. Asp. Comput."},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-319-60225-7_9","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"JP Gibson","year":"2017","unstructured":"Gibson, J.P., Kherroubi, S., M\u00e9ry, D.: Applying a dependency mechanism for voting protocol models using event-B. In: Bouajjani, A., Silva, A. (eds.) FORTE 2017. LNCS, vol. 10321, pp. 124\u2013138. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-60225-7_9"},{"issue":"2","key":"35_CR7","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"TR Gruber","year":"1993","unstructured":"Gruber, T.R.: A translation approach to portable ontology specifications. Knowl. Acquis. 5(2), 199\u2013220 (1993)","journal-title":"Knowl. Acquis."},{"key":"35_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-319-47166-2_24","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"K Hacid","year":"2016","unstructured":"Hacid, K., Ait-Ameur, Y.: Strengthening MDE and formal design models by references to domain ontologies. A model annotation based approach. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 340\u2013357. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_24"},{"key":"35_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-319-45547-1_19","volume-title":"Model and Data Engineering","author":"K Hacid","year":"2016","unstructured":"Hacid, K., Ait-Ameur, Y.: Annotation of engineering models by references to domain ontologies. In: Bellatreche, L., Pastor, \u00d3., Almendros Jim\u00e9nez, J.M., A\u00eft-Ameur, Y. (eds.) MEDI 2016. LNCS, vol. 9893, pp. 234\u2013244. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45547-1_19"},{"key":"35_CR10","unstructured":"ISO: Industrial automation systems and integration - parts library - part 42: Description methodology: Methodology for structuring parts families. ISO ISO13584-42, International Organization for Standardization, Geneva, Switzerland (1998)"},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"Jackson, M., Zave, P.: Domain descriptions. In: Proceedings of IEEE International Symposium on Requirements Engineering, RE 1993, San Diego, California, USA, 4\u20136 January 1993, pp. 56\u201364 (1993)","DOI":"10.1109\/ISRE.1993.324836"},{"key":"35_CR12","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-540-74063-6_19","volume-title":"Web Information Systems and Technologies","author":"S Jean","year":"2007","unstructured":"Jean, S., Pierra, G., Ait-Ameur, Y.: Domain ontologies: a database-oriented analysis. In: Filipe, J., Cordeiro, J., Pedrosa, V. (eds.) Web Information Systems and Technologies. LNBIP, vol. 1, pp. 238\u2013254. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74063-6_19"},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"van Lamsweerde, A.: Requirements engineering in the year 00: a research perspective. In: Proceedings of the 22nd International Conference on Software Engineering, ICSE 2000, Limerick Ireland, 4\u201311 June 2000, pp. 5\u201319. ACM (2000)","DOI":"10.1145\/337180.337184"},{"key":"35_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-319-23781-7_8","volume-title":"Model and Data Engineering","author":"D M\u00e9ry","year":"2015","unstructured":"M\u00e9ry, D., Sawant, R., Tarasyuk, A.: Integrating domain-based features into event-B: a nose gear velocity case study. In: Bellatreche, L., Manolopoulos, Y. (eds.) MEDI 2015. LNCS, vol. 9344, pp. 89\u2013102. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23781-7_8"},{"key":"35_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-32355-3_1","volume-title":"Foundations of Health Informatics Engineering and Systems","author":"D M\u00e9ry","year":"2012","unstructured":"M\u00e9ry, D., Singh, N.K.: Medical protocol diagnosis using formal methods. In: Liu, Z., Wassyng, A. (eds.) FHIES 2011. LNCS, vol. 7151, pp. 1\u201320. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32355-3_1"},{"key":"35_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-319-66854-3_12","volume-title":"Model and Data Engineering","author":"L Mohand-Oussaid","year":"2017","unstructured":"Mohand-Oussaid, L., Ait-Sadoune, I.: Formal modelling of domain constraints in event-B. In: Ouhammou, Y., Ivanovic, M., Abell\u00f3, A., Bellatreche, L. (eds.) MEDI 2017. LNCS, vol. 10563, pp. 153\u2013166. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66854-3_12"},{"issue":"1","key":"35_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/237432.237434","volume":"6","author":"P Zave","year":"1997","unstructured":"Zave, P., Jackson, M.: Four dark corners of requirements engineering. ACM Trans. Softw. Eng. Methodol. 6(1), 1\u201330 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, TLA, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91271-4_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T08:42:55Z","timestamp":1751618575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91271-4_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319912707","9783319912714"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91271-4_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}