{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,29]],"date-time":"2025-06-29T23:40:03Z","timestamp":1751240403109,"version":"3.41.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319735634"},{"type":"electronic","value":"9783319735641"}],"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-73564-1_32","type":"book-chapter","created":{"date-parts":[[2018,1,20]],"date-time":"2018-01-20T05:14:20Z","timestamp":1516425260000},"page":"326-336","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Distributed System Model Using SysML and Event-B"],"prefix":"10.1007","author":[{"given":"Qi","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiqiu","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,21]]},"reference":[{"key":"32_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)"},{"issue":"1","key":"32_CR2","first-page":"41","volume":"17","author":"S Friedenthal","year":"2012","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A practical guide to sysml. San Francisco Jung Inst. Lib. J. 17(1), 41\u201346 (2012)","journal-title":"San Francisco Jung Inst. Lib. J."},{"issue":"1\u20132","key":"32_CR3","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/s11334-009-0119-y","volume":"6","author":"R Laleau","year":"2010","unstructured":"Laleau, R., Semmak, F., Matoussi, A., Petit, D., Hammad, A., Tatibouet, B.: A first attempt to combine sysml requirements diagrams and b. Innov. Syst. Softw. Eng. 6(1\u20132), 47\u201354 (2010)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Butler, M., Hallerstede, S.: The Rodin formal modelling tool. In: The International Conference on Formal Methods in Industry, p. 2. British Computer Society (2007)","DOI":"10.14236\/ewic\/FMI2007.2"},{"key":"32_CR5","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-319-02741-8_27","volume-title":"Knowledge and Systems Engineering","author":"HA Le","year":"2014","unstructured":"Le, H.A., Thi, L.D., Truong, N.T.: Modeling and verifying imprecise requirements of systems using Event-B. In: Huynh, V., Denoeux, T., Tran, D., Le, A., Pham, S. (eds.) Knowledge and Systems Engineering. Advances in Intelligent Systems and Computing, vol. 244, pp. 313\u2013325. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-02741-8_27"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Younes, A.B., Hlaoui, Y.B., Ayed, L.J.B.: A meta-model transformation from UML activity diagrams to Event-B models. In: IEEE International Computer Software and Applications Conference Workshops, pp. 740\u2013745. IEEE Computer Society (2014)","DOI":"10.1109\/COMPSACW.2014.119"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Bousse, E., Katsuragi, T.: Aligning SysML with the B method to provide V&V for systems engineering. In: The Workshop on Model-Driven Engineering, Verification and Validation, pp. 11\u201316. ACM (2012)","DOI":"10.1145\/2427376.2427379"},{"key":"32_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1007\/978-3-319-33600-8_26","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"D Mentr\u00e9","year":"2016","unstructured":"Mentr\u00e9, D.: SysML2B: automatic tool for B Project Graphical Architecture Design Using SysML. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 308\u2013311. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-33600-8_26"},{"key":"32_CR9","unstructured":"Xu, H.: Model based system consistency checking using Event-B. Comput. Softw. (2012)"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Krakora, J., Waszniowski, L., Pisa, P., Hanzalek, Z.: Timed automata approach to real time distributed system verification. In: IEEE International Workshop on Factory Communication Systems, Proceedings, pp. 407\u2013410. IEEE (2004)","DOI":"10.1109\/WFCS.2004.1377759"},{"key":"32_CR11","volume-title":"Requirements engineering: from system goals to UML models to software specifications","author":"AV Lamsweerde","year":"2009","unstructured":"Lamsweerde, A.V.: Requirements engineering: from system goals to UML models to software specifications. Wiley Publishing, Hoboken (2009)"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Abrial, J.R.: The B-Book - Assigning Programs to Meanings. DBLP (1996)","DOI":"10.1017\/CBO9780511624162"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Yu, E.S.K., Mylopoulos, J.: Understanding \u201cwhy\u201d in software process modelling, analysis, and design. In: International Conference on Software Engineering, pp. 159\u2013168. IEEE Computer Society Press (1994)","DOI":"10.1109\/ICSE.1994.296775"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Traichaiyaporn, K., Aoki, T.: Preserving correctness of requirements evolution through refinement in Event-B. In: Software Engineering Conference, Vol. 1, pp. 315\u2013322. IEEE (2014)","DOI":"10.1109\/APSEC.2013.50"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Machine Learning and Intelligent Communications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73564-1_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,29]],"date-time":"2025-06-29T23:09:50Z","timestamp":1751238590000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73564-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319735634","9783319735641"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73564-1_32","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"21 January 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MLICOM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Machine Learning and Intelligent Communications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Weihai","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 August 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 August 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"mlicom2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/mlicom.org\/2017\/show\/home","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}