{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:59Z","timestamp":1740098939285,"version":"3.37.3"},"publisher-location":"Cham","reference-count":22,"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_21","type":"book-chapter","created":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T12:13:38Z","timestamp":1504613618000},"page":"277-290","source":"Crossref","is-referenced-by-count":3,"title":["Conceptual Modelling of Hybrid Systems"],"prefix":"10.1007","author":[{"given":"Andreea","family":"Buga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atif","family":"Mashkoor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sorana Tania","family":"Neme\u015f","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus-Dieter","family":"Schewe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pornpan","family":"Songprasop","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,6]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1016\/j.scico.2015.02.003","volume":"105","author":"R Banach","year":"2015","unstructured":"Banach, R., Butler, M.J., Qin, S., Verma, N., Zhu, H.: Core hybrid Event-B I: single hybrid Event-B machines. Sci. Comput. Program. 105, 92\u2013123 (2015)","journal-title":"Sci. Comput. Program."},{"key":"21_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.scico.2016.12.003","volume":"139","author":"R Banach","year":"2017","unstructured":"Banach, R., Butler, M.J., Qin, S., Zhu, H.: Core hybrid Event-B II: multiple cooperating hybrid Event-B machines. Sci. Comput. Program. 139, 1\u201335 (2017)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"21_CR3","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1017\/S0960129514000061","volume":"25","author":"R Banach","year":"2015","unstructured":"Banach, R., Jeske, C.: Retrenchment and refinement interworking: the tower theorems. Math. Struct. Comput. Sci. 25(1), 135\u2013202 (2015)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"21_CR4","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/s00165-012-0263-2","volume":"26","author":"R Banach","year":"2014","unstructured":"Banach, R., Zhu, H., Su, W., Huang, R.: Continuous KAOS, ASM, and formal control system design across the continuous\/discrete modeling interface: a simple train stopping application. Form. Asp. Comput. 26(2), 319\u2013366 (2014)","journal-title":"Form. Asp. Comput."},{"issue":"5","key":"21_CR5","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1007\/s00236-015-0249-7","volume":"53","author":"E B\u00f6rger","year":"2016","unstructured":"B\u00f6rger, E., Schewe, K.D.: Concurrent abstract state machines. Acta Inform. 53(5), 469\u2013492 (2016). https:\/\/link.springer.com\/article\/10.1007\/s00236-015-0249-7","journal-title":"Acta Inform."},{"key":"21_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18216-7","volume-title":"Abstract State Machines","author":"E B\u00f6rger","year":"2003","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines. Springer, Heidelberg (2003)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Buga, A., Neme\u015f, S.T., Schewe, K.D., Songprasop, P.: A conceptual model for systems engineering and its formal foundation. In: Kiyoki, Y., Thalheim, B. (eds.) Proceedings of the 27th International Conference on Information Modelling and Knowledge Bases (EJC 2017) (2017, to appear)","DOI":"10.1007\/978-3-319-66854-3_21"},{"key":"21_CR8","unstructured":"Enterprise Architect - UML design tools and UML case tools for software development (2016). http:\/\/www.sparxsystems.com.au\/products\/ea\/index.html"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/3-540-57318-6_25","volume-title":"Hybrid Systems","author":"L Lamport","year":"1993","unstructured":"Lamport, L.: Hybrid systems in TLA+. In: Grossman, R.L., Nerode, A., Ravn, A.P., Rischel, H. (eds.) HS 1991-1992. LNCS, vol. 736, pp. 77\u2013102. Springer, Heidelberg (1993). doi: 10.1007\/3-540-57318-6_25"},{"key":"21_CR10","unstructured":"Magicdraw (2016). http:\/\/www.nomagic.com\/products\/magicdraw.html"},{"key":"21_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/978-3-319-33600-8_29","volume-title":"Abstract State Machines, Alloy, B, TLA, VDM, and Z","author":"A Mashkoor","year":"2016","unstructured":"Mashkoor, A.: The hemodialysis machine case study. In: Butler, M., Schewe, K.-D., Mashkoor, A., Biro, M. (eds.) ABZ 2016. LNCS, vol. 9675, pp. 329\u2013343. Springer, Cham (2016). doi: 10.1007\/978-3-319-33600-8_29"},{"issue":"1","key":"21_CR12","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/LES.2015.2494459","volume":"8","author":"A Mashkoor","year":"2016","unstructured":"Mashkoor, A., Biro, M.: Towards the trustworthy development of active medical devices: a hemodialysis case study. IEEE Embed. Syst. Lett. 8(1), 14\u201317 (2016)","journal-title":"IEEE Embed. Syst. Lett."},{"key":"21_CR13","unstructured":"OMG Systems Modeling Language (OMG SysML), Version 1.4, OMG document number formal\/2015-06-03(2015) (2015). http:\/\/www.omg.org\/spec\/SysML\/1.4\/"},{"key":"21_CR14","first-page":"152","volume":"114","author":"A Platzer","year":"2014","unstructured":"Platzer, A.: Analog and hybrid computation: dynamical systems and programming languages. Bull. EATCS 114, 152\u2013199 (2014)","journal-title":"Bull. EATCS"},{"key":"21_CR15","unstructured":"PTC Integrity Modeler (2016). http:\/\/www.ptc.com\/model-based-systems-engineering\/integrity-modeler"},{"key":"21_CR16","unstructured":"Sarstedt, S.: Semantic foundation and tool support for model-driven development with UML 2 activity diagrams. Ph.D. thesis, Universit\u00e4t Ulm (2006)"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Schewe, K.D.: On the unification of query algebras and their extension to rational tree structures. In: Orlowska, M.E., Roddick, J.F. (eds.) Twelfth Australasian Database Conference (ADC2001), Bond University, Queensland, Australia, 29 January 1 February 2001, pp. 52\u201359. IEEE Computer Society (2001)","DOI":"10.1109\/ADC.2001.904464"},{"key":"21_CR18","unstructured":"Schewe, K.D.: UML: a modern dinosaur? A critical analysis of the unified modelling language. In: Jaakkola, H., Kangassalo, H., Kawaguchi, E. (eds.) Information Modelling and Knowledge Bases XII, Frontiers in Articial Intelligence and Applications, vol. 67, pp. 185\u2013202. IOS Press (2001)"},{"key":"21_CR19","unstructured":"Songprasop, P.: Structural modelling in systems engineering. Master\u2019s thesis, Johannes-Kepler-University Linz (2017)"},{"key":"21_CR20","unstructured":"Stan-Ober, I.: Harmonisation des languages de modelisation avec des extensions orient\u00e9es-object et une S\u00e9mantique Ex\u00e9cutable. Ph.D. thesis, Institut National Polytechnique de Toulouse (2001)"},{"key":"21_CR21","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1016\/j.scico.2014.04.015","volume":"94","author":"W Su","year":"2014","unstructured":"Su, W., Abrial, J.R., Zhu, H.: Formalizing hybrid systems with Event-B and the Rodin platform. Sci. Comput. Program. 94, 164\u2013202 (2014)","journal-title":"Sci. Comput. Program."},{"key":"21_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04058-4","volume-title":"Entity-Relationship Modeling - Foundations of Database Technology","author":"B Thalheim","year":"2000","unstructured":"Thalheim, B.: Entity-Relationship Modeling - Foundations of Database Technology. Springer, Heidelberg (2000)"}],"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_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T00:39:02Z","timestamp":1570063142000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66854-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319668536","9783319668543"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66854-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}