{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:58Z","timestamp":1740098938526,"version":"3.37.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319668536"},{"type":"electronic","value":"9783319668543"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66854-3_11","type":"book-chapter","created":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T16:13:38Z","timestamp":1504628018000},"page":"137-152","source":"Crossref","is-referenced-by-count":1,"title":["Contextualization and Dependency in State-Based Modelling - Application to Event-B"],"prefix":"10.1007","author":[{"given":"Souad","family":"Kherroubi","sequence":"first","affiliation":[]},{"given":"Dominique","family":"M\u00e9ry","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,9,6]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. Modeling in Event-B: System and Software Engineering. Cambridge University Press, 2010","DOI":"10.1017\/CBO9781139195881"},{"key":"11_CR2","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1016\/j.scico.2015.12.004","volume":"121","author":"YA Ameur","year":"2016","unstructured":"Ameur, Y.A., M\u00e9ry, D.: Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121, 100\u2013127 (2016)","journal-title":"Sci. Comput. Program."},{"issue":"3","key":"11_CR3","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1111\/0824-7935.00046","volume":"13","author":"V Akman","year":"1997","unstructured":"Akman, V., Surav, M.: The use of situation theory in context modeling. Comput. Intell. 13(3), 427\u2013438 (1997)","journal-title":"Comput. Intell."},{"key":"11_CR4","unstructured":"Andriamiarina, M.B.: D\u00e9veloppement d\u2019algorithmes r\u00e9partis corrects par construction. Th\u00e8se, Universit\u00e9 de Lorraine, October 2015"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Barwise, K.J.: Conditionals and conditional information. In: Traugott, E., ter Meulen, A., Reilly, J., Ferguson, C. (eds.) On Conditionals, pp. 21\u201354. Cambridge University Press, Cambridge (1986)","DOI":"10.1017\/CBO9780511753466.003"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-642-11486-1_24","volume-title":"Perspectives of Systems Informatics","author":"N Benaissa","year":"2010","unstructured":"Benaissa, N., M\u00e9ry, D.: Cryptographic protocols analysis in event B. In: Pnueli, A., Virbitskaite, I., Voronkov, A. (eds.) PSI 2009. LNCS, vol. 5947, pp. 282\u2013293. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-11486-1_24"},{"key":"11_CR7","unstructured":"Cortier, V., Fuchsbauer, G., Galindo, D.: BeleniosRF: a strongly receipt-free electronic voting scheme. IACR Cryptology ePrint Archive 2015:629 (2015)"},{"issue":"4","key":"11_CR8","doi-asserted-by":"crossref","first-page":"293","DOI":"10.3233\/FI-2010-351","volume":"104","author":"R Dapoigny","year":"2010","unstructured":"Dapoigny, R., Barlatier, P.: Modeling contexts with dependent types. Fundam. Inform. 104(4), 293\u2013327 (2010)","journal-title":"Fundam. Inform."},{"key":"11_CR9","volume-title":"Logic and Information","author":"K Devlin","year":"1991","unstructured":"Devlin, K.: Logic and Information. Cambridge University Press, Cambridge (1991)"},{"issue":"5","key":"11_CR10","doi-asserted-by":"crossref","first-page":"133","DOI":"10.3166\/isi.12.5.133-157","volume":"12","author":"P Dhaussy","year":"2007","unstructured":"Dhaussy, P., Boniol, F.: Mise en \u0153uvre de composants MDA pour la validation formelle de mod\u00e8les de syst\u00e8mes d\u2019information embarqu\u00e9s. Ing\u00e9nierie des Syst\u00e8mes d\u2019Information 12(5), 133\u2013157 (2007)","journal-title":"Ing\u00e9nierie des Syst\u00e8mes d\u2019Information"},{"key":"11_CR11","unstructured":"Costa, P.D., Almeida, J.P.A., Pires, L.F., Guizzardi, G., van Sinderen, M.J.: Towards conceptual foundations for context-aware applications. In: Roth-Berghofer, T.R., Schulz, S., Leake, D.B. (eds.) AAAI Workshop on Modeling and Retrieval of Context 2006, WS-06-, AAAI Technical Report, pp. 54\u201358, Menlo Park, CA, USA, 2006. AAAI Press"},{"key":"11_CR12","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). doi: 10.1007\/978-3-319-60225-7_9"},{"key":"11_CR13","unstructured":"Guizzardi, G.: Ontological foundations for structural conceptual models. Number 15 in Telematica Instituut Fundamental Research Series. University of Twente, 2005. ISBN 90-75176-81-3 ISSN 1388-1795"},{"key":"11_CR14","volume-title":"Requirements Engineering: Processes and Techniques","author":"G Kotonya","year":"1998","unstructured":"Kotonya, G., Sommerville, I.: Requirements Engineering: Processes and Techniques. Wiley, Hoboken (1998)"},{"key":"11_CR15","unstructured":"McCarthy, J.: Notes on formalizing context. In: Proceedings of the 13th International Joint Conference on Artifical Intelligence, IJCAI 1993, vol. 1, pp. 555\u2013560. Morgan Kaufmann Publishers Inc., San Francisco (1993)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"M\u00e9ry, D., Poppleton, M.: Towards an integrated formal method for verification of liveness properties in distributed systems with application to population protocols. Softw. Syst. Model. (SoSyM) (2015). https:\/\/doi.org\/10.1007\/s10270-015-0504-y","DOI":"10.1007\/s10270-015-0504-y"},{"key":"11_CR17","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). doi: 10.1007\/978-3-319-23781-7_8"},{"key":"11_CR18","unstructured":"Mi\u00e9ville, D.: Un d\u00e9veloppement des syst\u00e8mes logiques de stanislaw lesniewski. Peter Lang (1984)"},{"issue":"3","key":"11_CR19","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/S0306-4379(98)00005-2","volume":"23","author":"J Mylopoulos","year":"1998","unstructured":"Mylopoulos, J.: Information modeling in the time of the revolution. Inf. Syst. 23(3), 127\u2013155 (1998)","journal-title":"Inf. Syst."},{"issue":"3","key":"11_CR20","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/s00766-006-0030-0","volume":"11","author":"AG Sutcliffe","year":"2006","unstructured":"Sutcliffe, A.G., Fickas, S., Sohlberg, M.M.: PC-RE: a method for personal and contextual requirements engineering with some experience. Requir. Eng. 11(3), 157\u2013173 (2006)","journal-title":"Requir. Eng."}],"container-title":["Lecture Notes in Computer Science","Model and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66854-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,17]],"date-time":"2020-10-17T04:05:58Z","timestamp":1602907558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66854-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319668536","9783319668543"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66854-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}