{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:39:06Z","timestamp":1767137946368,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319518374","type":"print"},{"value":"9783319518381","type":"electronic"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51838-1_16","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T04:23:43Z","timestamp":1493007823000},"page":"435-463","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Domain-Specific Modelling for Human\u2013Computer Interaction"],"prefix":"10.1007","author":[{"given":"Simon","family":"Van Mierlo","sequence":"first","affiliation":[]},{"given":"Yentl","family":"Van Tendeloo","sequence":"additional","affiliation":[]},{"given":"Bart","family":"Meyers","sequence":"additional","affiliation":[]},{"given":"Hans","family":"Vangheluwe","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Bari\u0161i\u0107 A, Amaral V, Goul\u00e3o M, Barroca B (2011) Quality in use of domain-specific languages: a case study. In: Proceedings of the 3rd ACM SIGPLAN workshop on evaluation and usability of programming languages and tools, ACM, PLATEAU\u201911, pp 65\u201372","DOI":"10.1145\/2089155.2089170"},{"key":"16_CR2","doi-asserted-by":"publisher","unstructured":"Boulanger F, Hardebolle C, Jacquet C, Marcadet D (2011) Semantic adaptation for models of computation. In: 2011 11th International conference on application of concurrency to system design (ACSD), pp 153\u2013162. doi:\n                    10.1109\/ACSD.2011.17","DOI":"10.1109\/ACSD.2011.17"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Cellier FE (1991) Continuous system modeling. Springer","DOI":"10.1007\/978-1-4757-3922-0"},{"issue":"4","key":"16_CR4","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1145\/1040291.1040293","volume":"13","author":"G Costagliola","year":"2004","unstructured":"Costagliola G, Deufemia V, Polese G (2004) A framework for modeling and implementing visual notations with applications to software engineering. ACM Trans Soft Eng Methodol 13(4):431\u2013487","journal-title":"ACM Trans Soft Eng Methodol"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Dwyer MB, Avrunin GS, Corbett JC (1999) Patterns in property specifications for finite-state verification. In: International conference software engineering, pp 411\u2013420","DOI":"10.1145\/302405.302672"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Guerra E, de\u00a0Lara J, Kolovos DS, Paige RF (2010) A visual specification language for model-to-model transformations. In: VL\/HCC","DOI":"10.1109\/VLHCC.2010.25"},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10515-012-0102-y","volume":"20","author":"E Guerra","year":"2013","unstructured":"Guerra E, de Lara J, Wimmer M, Kappel G, Kusel A, Retschitzegger W, Sch\u00f6nb\u00f6ck J, Schwinger W (2013) Automated verification of model transformations based on visual contracts. Autom Soft Eng 20(1):5\u201346. doi:\n                    10.1007\/s10515-012-0102-y","journal-title":"Autom Soft Eng"},{"issue":"3","key":"16_CR8","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8(3):231\u2013274","journal-title":"Sci Comput Program"},{"issue":"4","key":"16_CR9","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/235321.235322","volume":"5","author":"D Harel","year":"1996","unstructured":"Harel D, Naamad A (1996) The STATEMATE semantics of statecharts. ACM Trans Softw Eng Methodol 5(4):293\u2013333","journal-title":"ACM Trans Softw Eng Methodol"},{"issue":"10","key":"16_CR10","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D Harel","year":"2004","unstructured":"Harel D, Rumpe B (2004) Meaningful modeling: what\u2019s the semantics of \"semantics\"? Computer 37(10):64\u201372","journal-title":"Computer"},{"issue":"5","key":"16_CR11","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann GJ (1997) The model checker SPIN. Trans Softw Eng 23(5):279\u2013295","journal-title":"Trans Softw Eng"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Kelly S, Tolvanen JP (2008) Domain-specific modeling: enabling full code generation. Wiley","DOI":"10.1002\/9780470249260"},{"key":"16_CR13","unstructured":"Kleppe A (2007) A language description is more than a metamodel. In: Fourth international workshop on software language engineering"},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10270-006-0017-9","volume":"5","author":"T K\u00fchne","year":"2006","unstructured":"K\u00fchne T (2006) Matters of (meta-) modeling. Softw Syst Model 5:369\u2013385","journal-title":"Softw Syst Model"},{"key":"16_CR15","unstructured":"K\u00fchne T, Mezei G, Syriani E, Vangheluwe H, Wimmer M (2009) Explicit transformation modeling. In: MoDELS workshops. Lecture notes in computer science. Springer, 6002:240\u2013255"},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Lucio L, Mustafiz S, Denil J, Vangheluwe H, Jukss M (2013) FTG+PM: an integrated framework for investigating model transformation chains. In: SDL 2013: model-driven dependability engineering. Lecture notes in computer science, vol 7916. Springer, pp 182\u2013202","DOI":"10.1007\/978-3-642-38911-5_11"},{"key":"16_CR17","unstructured":"Meyers B, Vangheluwe H (2014) A multi-paradigm modelling approach for the engineering of modelling languages. In: Proceedings of the doctoral symposium of the ACM\/IEEE 17th international conference on model driven engineering languages and systems, CEUR Workshop Proceedings, pp 1\u20138"},{"key":"16_CR18","doi-asserted-by":"publisher","unstructured":"Meyers B, Wimmer M, Vangheluwe H, Denil J (2013) Towards domain-specific property languages: the ProMoBox approach. In: Proceedings of the 2013 ACM workshop on domain-specific modeling. ACM, New York, NY, USA, DSM\u201913, pp 39\u201344. doi:\n                    10.1145\/2541928.2541936","DOI":"10.1145\/2541928.2541936"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Meyers B, Deshayes R, Lucio L, Syriani E, Vangheluwe H, Wimmer M (2014) ProMoBox: a framework for generating domain-specific property languages. In: Software language engineering. Lecture notes in computer science, vol 8706. Springer International Publishing, pp 1\u201320","DOI":"10.1007\/978-3-319-11245-9_1"},{"issue":"6","key":"16_CR20","doi-asserted-by":"publisher","first-page":"756","DOI":"10.1109\/TSE.2009.67","volume":"35","author":"D Moody","year":"2009","unstructured":"Moody D (2009) The \"physics\" of notations: toward a scientific basis for constructing visual notations in software engineering. IEEE Trans Softw Eng 35(6):756\u2013779","journal-title":"IEEE Trans Softw Eng"},{"issue":"4","key":"16_CR21","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"issue":"6","key":"16_CR22","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/203241.203251","volume":"38","author":"M Petre","year":"1995","unstructured":"Petre M (1995) Why looking isn\u2019t always seeing: readership skills and graphical programming. Commun ACM 38(6):33\u201344","journal-title":"Commun ACM"},{"key":"16_CR23","doi-asserted-by":"publisher","unstructured":"Pnueli A (1977) The temporal logic of programs. In: Proceedings of the 18th annual symposium on foundations of computer science. IEEE computer society, Washington, DC, USA, SFCS\u201977, pp 46\u201357. doi:\n                    10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"key":"16_CR24","unstructured":"Risoldi M (2010) A methodology for the development of complex domain-specific languages. PhD thesis, University of Geneva. \n                    http:\/\/archive-ouverte.unige.ch\/unige:11842"},{"issue":"5","key":"16_CR25","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/MS.2003.1231150","volume":"20","author":"S Sendall","year":"2003","unstructured":"Sendall S, Kozaczynski W (2003) Model transformation: the heart and soul of model-driven software development. IEEE Softw 20(5):42\u201345","journal-title":"IEEE Softw"},{"key":"16_CR26","unstructured":"Smith MH, Holzmann GJ, Etessami K (2001) Events and constraints: a graphical editor for capturing logic requirements of programs. In: Proceedings of the fifth IEEE international symposium on requirements engineering. IEEE computer society. Washington, DC, USA, RE\u201901, pp 14\u201322. \n                    http:\/\/dl.acm.org\/citation.cfm?id=882477.883639"},{"key":"16_CR27","unstructured":"Syriani E (2011) A multi-paradigm foundation for model transformation language engineering. PhD thesis, McGill University, Canada"},{"issue":"2","key":"16_CR28","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s10270-011-0205-0","volume":"12","author":"E Syriani","year":"2013","unstructured":"Syriani E, Vangheluwe H (2013) A modular timed graph transformation language for simulation-based design. Softw Syst Model 12(2):387\u2013414","journal-title":"Softw Syst Model"},{"key":"16_CR29","unstructured":"Syriani E, Vangheluwe H, Mannadiar R, Hansen C, Van\u00a0Mierlo S, Ergin H (2013) AToMPM: a web-based modeling environment. In: Proceedings of MODELS\u201913 demonstration session, pp 21\u201325"},{"key":"16_CR30","unstructured":"Vangheluwe H (2008) Foundations of modelling and simulation of complex systems. ECEASST 10"},{"key":"16_CR31","unstructured":"Zeigler BP, Praehofer H, Kim TG (2000) Theory of modeling and simulation, 2nd edn. Academic Press"},{"issue":"3","key":"16_CR32","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/981009.981013","volume":"39","author":"Y Zhang","year":"2004","unstructured":"Zhang Y, Xu B (2004) A survey of semantic description frameworks for programming languages. SIGPLAN Not 39(3):14\u201330","journal-title":"SIGPLAN Not"}],"updated-by":[{"DOI":"10.1007\/978-3-319-51838-1_21","type":"erratum","label":"Erratum","source":"publisher","updated":{"date-parts":[[2017,7,29]],"date-time":"2017-07-29T00:00:00Z","timestamp":1501286400000}}],"container-title":["Human\u2013Computer Interaction Series","The Handbook of Formal Methods in Human-Computer Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51838-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T23:29:12Z","timestamp":1557962952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51838-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319518374","9783319518381"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51838-1_16","relation":{},"ISSN":["1571-5035"],"issn-type":[{"value":"1571-5035","type":"print"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"25 April 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}