{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T07:57:28Z","timestamp":1726041448254},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030301453"},{"type":"electronic","value":"9783030301460"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-30146-0_35","type":"book-chapter","created":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T18:02:28Z","timestamp":1566064948000},"page":"509-517","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Type-Based Modelling and Collaborative Programming for Control-Oriented Systems (Short Paper)"],"prefix":"10.1007","author":[{"given":"Weidong","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhaohui","family":"Luo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,8,18]]},"reference":[{"key":"35_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/BFb0020972","volume-title":"Hybrid Systems III","author":"Z Chaochen","year":"1996","unstructured":"Chaochen, Z., Ji, W., Ravn, A.P.: A formal description of hybrid systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) HS 1995. LNCS, vol. 1066, pp. 511\u2013530. Springer, Heidelberg (1996). \n                    https:\/\/doi.org\/10.1007\/BFb0020972"},{"key":"35_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-642-02674-4_8","volume-title":"Model Driven Architecture - Foundations and Applications","author":"H Espinoza","year":"2009","unstructured":"Espinoza, H., Cancila, D., Selic, B., G\u00e9rard, S.: Challenges in combining SysML and MARTE for model-based design of embedded systems. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 98\u2013113. Springer, Heidelberg (2009). \n                    https:\/\/doi.org\/10.1007\/978-3-642-02674-4_8"},{"key":"35_CR3","unstructured":"He, J.: From CSP to hybrid systems. In: A Classical Mind. Embedded system, Programming, Software. Prentice Hall International Ltd., Hertfordshire (1994)"},{"key":"35_CR4","doi-asserted-by":"crossref","unstructured":"Khan, A.M., Mallet, F., Rashid, M.: Combining SysML and Marte\/CCSL to model complex electronic systems. In 2016 International Conference on Information Systems Engineering, pp. 12\u201317. IEEE, Los Angeles, April 2016","DOI":"10.1109\/ICISE.2016.13"},{"issue":"1","key":"35_CR5","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s11704-012-1301-1","volume":"7","author":"J Liu","year":"2013","unstructured":"Liu, J., Liu, Z., He, J., Mallet, F., Ding, Z.: Hybrid marte statecharts. Front. Comput. Sci. 7(1), 95\u2013108 (2013)","journal-title":"Front. Comput. Sci."},{"key":"35_CR6","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/978-981-13-1026-3_8","volume-title":"Embedded Systems Technology","author":"W Ma","year":"2018","unstructured":"Ma, W., Deng, Y., Xu, L., Lin, W., Liu, Z.: COSRDL: an event-driven control-oriented system requirement modeling method. In: Bi, Y., Chen, G., Deng, Q., Wang, Y. (eds.) ESTC 2017. CCIS, vol. 857, pp. 103\u2013117. Springer, Singapore (2018). \n                    https:\/\/doi.org\/10.1007\/978-981-13-1026-3_8"},{"key":"35_CR7","doi-asserted-by":"crossref","unstructured":"Mallet, F., Andr\u00e9, C., DeAntoni, J.: Executing AADL models with UML\/Marte. In: 2009 14th IEEE International Conference on Engineering of Complex Computer Systems, pp. 371\u2013376. IEEE, Potsdam, June 2009","DOI":"10.1109\/ICECCS.2009.10"},{"key":"35_CR8","unstructured":"SAE: Architecture analysis and design language (AADL)"},{"key":"35_CR9","series-title":"Embedded system, Programming, Software","doi-asserted-by":"publisher","DOI":"10.1201\/b16463","volume-title":"Practical UML Statecharts in C\/C++, Programming for Embedded System","author":"M Samek","year":"2008","unstructured":"Samek, M.: Practical UML Statecharts in C\/C++, Programming for Embedded System. Embedded system, Programming, Software, 2nd edn. Elsevier Inc., Oxford (2008)","edition":"2"},{"key":"35_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1007\/978-3-642-16558-0_48","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"Z Wang","year":"2010","unstructured":"Wang, Z., et al.: SPARDL: a requirement modeling language for periodic control system. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6415, pp. 594\u2013608. Springer, Heidelberg (2010). \n                    https:\/\/doi.org\/10.1007\/978-3-642-16558-0_48"},{"issue":"2","key":"35_CR11","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/s11704-013-2008-1","volume":"7","author":"Z Wang","year":"2013","unstructured":"Wang, Z., et al.: A novel requirement analysis approach for periodic control systems. Front. Comput. Sci. 7(2), 214\u2013235 (2013)","journal-title":"Front. Comput. Sci."},{"issue":"12","key":"35_CR12","doi-asserted-by":"publisher","first-page":"2675","DOI":"10.1007\/s11432-012-4750-0","volume":"55","author":"M Yang","year":"2012","unstructured":"Yang, M., Wang, Z., Pu, G., Qin, S.: A novel requirement analysis approach for periodic control systems. Sci. China Inform. Sci. 55(12), 2675\u20132693 (2012)","journal-title":"Sci. China Inform. Sci."}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Collaborative Computing: Networking, Applications and Worksharing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-30146-0_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T18:07:25Z","timestamp":1566065245000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-30146-0_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030301453","9783030301460"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-30146-0_35","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"18 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CollaborateCom","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Collaborative Computing: Networking, Applications and Worksharing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"colcom2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/collaboratecom.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}