{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:41:49Z","timestamp":1767138109830,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":39,"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":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51838-1_10","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T04:23:43Z","timestamp":1493007823000},"page":"273-294","source":"Crossref","is-referenced-by-count":2,"title":["Formal Description of Adaptable Interactive Systems Based on Reconfigurable User Interface Models"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Weyers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,4,25]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Blumendorf M, Lehmann G, Albayrak S (2010) Bridging models and systems at runtime to build adaptive user interfaces. In: Proceedings of the 2nd ACM SIGCHI symposium on engineering interactive computing systems, Berlin","DOI":"10.1145\/1822018.1822022"},{"issue":"2","key":"10_CR2","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1016\/j.apergo.2013.04.017","volume":"45","author":"D Burkolter","year":"2014","unstructured":"Burkolter D, Weyers B, Kluge A, Luther W (2014) Customization of user interfaces to reduce errors and enhance user acceptance. Appl Ergon 45(2):346\u2013353","journal-title":"Appl Ergon"},{"issue":"3","key":"10_CR3","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/S0953-5438(03)00010-9","volume":"15","author":"G Calvary","year":"2003","unstructured":"Calvary G, Coutaz J, Thevenin D, Limbourg Q, Bouillon L, Vanderdonckt J (2003) A unifying reference framework for multi-target user interfaces. Interact Comput 15(3):289\u2013308","journal-title":"Interact Comput"},{"issue":"1\u20132","key":"10_CR4","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s12193-011-0064-6","volume":"5","author":"S Cheng","year":"2012","unstructured":"Cheng S, Liu Y (2012) Eye-tracking based adaptive user interface: implicit human-computer interaction for preference indication. J Multimodal User Interface 5(1\u20132):77\u201384","journal-title":"J Multimodal User Interface"},{"key":"10_CR5","unstructured":"Criado J, Vicente\u00a0Chicote C, Iribarne L, Padilla N (2010) A model-driven approach to graphical user interface runtime adaptation. In: Proceedings of the MODELS conference, Oslo"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Ehrig H, Heckel R, Korff M, L\u00f6we M, Ribeiro L, Wagner A, Corradini A (1997) Algebraic approaches to graph transformation. Part II: single pushout approach and comparison with double pushout approach. In: Rozenberg G (ed) Handbook of graph grammars and computing by graph transformation. World Scientific Publishing, Singapore","DOI":"10.1142\/9789812384720_0004"},{"issue":"1","key":"10_CR7","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/j.entcs.2005.12.016","volume":"148","author":"H Ehrig","year":"2006","unstructured":"Ehrig H, Hoffmann K, Padberg J (2006) Transformation of Petri nets. Electron Notes Theor Comput Sci 148(1):151\u2013172","journal-title":"Electron Notes Theor Comput Sci"},{"key":"10_CR8","volume-title":"Petri net, theory and applications","author":"H Ehrig","year":"2008","unstructured":"Ehrig H, Hoffmann K, Padberg J, Ermel C, Prange U, Biermann E, Modica T (2008) Petri net transformation. In: Kordic V (ed) Petri net, theory and applications. InTech Education and Publishing, Rijeka"},{"issue":"1\u20132","key":"10_CR9","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1023\/A:1011145532042","volume":"11","author":"G Fischer","year":"2001","unstructured":"Fischer G (2001) User modeling in human-computer interaction. User Model User-Adap Interact 11(1\u20132):65\u201386","journal-title":"User Model User-Adap Interact"},{"issue":"1","key":"10_CR10","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1016\/j.intcom.2010.08.002","volume":"23","author":"R Herv\u00e1s","year":"2011","unstructured":"Herv\u00e1s R, Bravo J (2011) Towards the ubiquitous visualization: adaptive user-interfaces based on the semantic web. Interact Comput 23(1):40\u201356","journal-title":"Interact Comput"},{"key":"10_CR11","unstructured":"Heum\u00fcller M, Joshi S, K\u00f6nig B, St\u00fcckrath J (2010) Construction of pushout complements in the category of hypergraphs. In: Proceedings of the workshop on graph computation models, Enschede"},{"key":"10_CR12","volume-title":"Cognitive reliability and error analysis method (CREAM)","author":"E Hollnagel","year":"1998","unstructured":"Hollnagel E (1998) Cognitive reliability and error analysis method (CREAM). Elsevier, Amsterdam"},{"key":"10_CR13","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1201\/9781420088861.ch6","volume":"105","author":"A Jameson","year":"2009","unstructured":"Jameson A (2009) Adaptive interfaces and agents. Hum Comput Interact Des Issues Solut Appl 105:105\u2013130","journal-title":"Hum Comput Interact Des Issues Solut Appl"},{"key":"10_CR14","volume-title":"High-level petri nets: theory and application","author":"K Jensen","year":"2012","unstructured":"Jensen K, Rozenberg G (2012) High-level petri nets: theory and application. Springer, Berlin"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Kahl G, Spassova L, Sch\u00f6ning J, Gehring S, Kr\u00fcger A (2011) Irl smartcart-a user-adaptive context-aware interface for shopping assistance. In: Proceedings of the 16th international conference on intelligent user interfaces, Palo Alto","DOI":"10.1145\/1943403.1943465"},{"key":"10_CR16","volume-title":"Referenznetze","author":"O Kummer","year":"2009","unstructured":"Kummer O (2009) Referenznetze. Logos, Berlin"},{"key":"10_CR17","unstructured":"Kummer O, Wienberg F, Duvigneau M, K\u00f6hler M, Moldt D, R\u00f6lke H (2000) Renew\u2014the reference net workshop. In: Tool demonstrations, 21st international conference on application and theory of Petri nets. Computer Science Department, Aarhus"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Langley P, Hirsh H (1999) User modeling in adaptive interfaces. In: Proceedings of user modeling, Banff","DOI":"10.1007\/978-3-7091-2490-1_48"},{"issue":"8","key":"10_CR19","doi-asserted-by":"crossref","first-page":"508","DOI":"10.1016\/j.ijhcs.2010.01.004","volume":"68","author":"T Lavie","year":"2010","unstructured":"Lavie T, Meyer J (2010) Benefits and costs of adaptive user interfaces. Int J Hum Comput Stud 68(8):508\u2013524","journal-title":"Int J Hum Comput Stud"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Mi\u00f1\u00f3n R, Abascal J (2012) Supportive adaptive user interfaces inside and outside the home. In: Proccedings of user modeling, adaption and personalization workshop, Girona","DOI":"10.1007\/978-3-642-28509-7_30"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Navarre D, Palanque P, Basnyat S (2008a) A formal approach for user interaction reconfiguration of safety critical interactive systems. In: Computer safety, reliability, and security. Tyne","DOI":"10.1007\/978-3-540-87698-4_31"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"Navarre D, Palanque P, Ladry JF, Basnyat S (2008b) An architecture and a formal description technique for the design and implementation of reconfigurable user interfaces. In: Interactive systems. Design, specification, and verification, Kingston","DOI":"10.1007\/978-3-540-70569-7_20"},{"issue":"6","key":"10_CR23","doi-asserted-by":"crossref","first-page":"937","DOI":"10.1145\/1217856.1217859","volume":"53","author":"R Nieuwenhuis","year":"2006","unstructured":"Nieuwenhuis R, Oliveras A, Tinelli C (2006) Solving sat and sat modulo theories: from an abstract davis-putnam-logemann-loveland procedure to dpll (t). J ACM 53(6):937\u2013977","journal-title":"J ACM"},{"issue":"3","key":"10_CR24","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1109\/3468.844354","volume":"30","author":"R Parasuraman","year":"2000","unstructured":"Parasuraman R, Sheridan T, Wickens C (2000) A model for types and levels of human interaction with automation. IEEE Trans Syst Man Cybern Syst Hum 30(3):286\u2013297","journal-title":"IEEE Trans Syst Man Cybern Syst Hum"},{"key":"10_CR25","unstructured":"Patern\u00f2 F (2004) Concurtasktrees: an engineered notation for task models. In: The handbook of task analysis for human-computer interaction. CRC Press, Boca Raton"},{"key":"10_CR26","volume-title":"Model-based design and evaluation of interactive applications","author":"F Patern\u00f2","year":"2012","unstructured":"Patern\u00f2 F (2012) Model-based design and evaluation of interactive applications. Springer, Berlin"},{"key":"10_CR27","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic category theory for computer scientists","author":"BC Pierce","year":"1991","unstructured":"Pierce BC (1991) Basic category theory for computer scientists. MIT press, Cambridge"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Pleuss A, Wollny S, Botterweck G (2013) Model-driven development and evolution of customized user interfaces. In: Proceedings of the 5th ACM SIGCHI symposium on engineering interactive computing systems, London","DOI":"10.1145\/2494603.2480298"},{"issue":"2","key":"10_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1970378.1970382","volume":"18","author":"K Reinecke","year":"2011","unstructured":"Reinecke K, Bernstein A (2011) Improving performance, perceived usability, and aesthetics with culturally adaptive user interfaces. ACM Transact Comput Hum Interact 18(2):1\u201329","journal-title":"ACM Transact Comput Hum Interact"},{"key":"10_CR30","unstructured":"Sch\u00fcrr A, Westfechtel B (1992) Graph grammars and graph rewriting systems. Technical report AIB 92-15, RWTH Aachen, Aachen"},{"key":"10_CR31","unstructured":"St\u00fcckrath J, Weyers B (2014a) 2014-01: lattice-extended coloured petri net rewriting for adaptable user interface models. Technical report, University of Duisburg-Essen, Duisburg"},{"key":"10_CR32","unstructured":"St\u00fcckrath J, Weyers B (2014b) Lattice-extended cpn rewriting for adaptable ui models. In: Proceedings of GT-VMT 2014 workshop, Grenoble"},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Weber M, Kindler E (2003) The Petri net markup language. In: Petri net technology for communication-based systems. Springer, Berlin","DOI":"10.1007\/978-3-540-40022-6_7"},{"key":"10_CR34","volume-title":"Reconfiguration of user interface models for monitoring and control of human-computer systems","author":"B Weyers","year":"2012","unstructured":"Weyers B (2012) Reconfiguration of user interface models for monitoring and control of human-computer systems. Dr, Hut, Munich"},{"key":"10_CR35","unstructured":"Weyers B (2015) Fill: formal description of executable and reconfigurable models of interactive systems. In: FoMHCI workshop in conjunction with EICS 2015, Aachen"},{"issue":"1&2","key":"10_CR36","first-page":"302","volume":"7","author":"B Weyers","year":"2014","unstructured":"Weyers B, Borisov N, Luther W (2014) Creation of adaptive user interfaces through reconfiguration of user interface models using an algorithmic rule generation approach. Int J Adv Intell Syst 7(1&2):302\u2013336","journal-title":"Int J Adv Intell Syst"},{"issue":"10","key":"10_CR37","doi-asserted-by":"crossref","first-page":"646","DOI":"10.1080\/10447318.2011.654199","volume":"28","author":"B Weyers","year":"2012","unstructured":"Weyers B, Burkolter D, Kluge A, Luther W (2012) Formal modeling and reconfiguration of user interfaces for reduction of human error in failure handling of complex systems. Int J Hum Comput Interact 28(10):646\u2013665","journal-title":"Int J Hum Comput Interact"},{"key":"10_CR38","doi-asserted-by":"crossref","unstructured":"Weyers B, Luther W (2010) Formal modeling and reconfiguration of user interfaces. In: Proceedings of the international conference of the Chilean computer science society, Antofagasta","DOI":"10.1109\/SCCC.2010.17"},{"issue":"1","key":"10_CR39","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.future.2010.05.001","volume":"27","author":"B Weyers","year":"2011","unstructured":"Weyers B, Luther W, Baloian N (2011) Interface creation and redesign techniques in collaborative learning scenarios. Future Gener Comput Syst 27(1):127\u2013138","journal-title":"Future Gener Comput Syst"}],"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":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51838-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,21]],"date-time":"2019-09-21T14:08:05Z","timestamp":1569074885000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51838-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319518374","9783319518381"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51838-1_10","relation":{},"ISSN":["1571-5035"],"issn-type":[{"value":"1571-5035","type":"print"}],"subject":[],"published":{"date-parts":[[2017]]}}}