{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:34:59Z","timestamp":1767137699096,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":48,"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_5","type":"book-chapter","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T04:23:43Z","timestamp":1493007823000},"page":"125-160","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Visual and Formal Modeling of Modularized and Executable 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":"5_CR1","unstructured":"Barboni E, Hamon A, Martinie C, Palanque P (2015) A user-centered view on formal methods: interactive support for validation and verification. In: Workshop on formal methods in human computer interaction, Duisburg, 23 June 2015"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Barboni E, Ladry JF, Navarre D, Palanque P, Winckler M (2010) Beyond modelling: an integrated environment supporting co-execution of tasks and systems models. In: Proceedings of the 2nd ACM SIGCHI symposium on engineering interactive computing systems, Berlin, 19\u201323 June 2010","DOI":"10.1145\/1822018.1822043"},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2013.04.001","volume":"86","author":"E Barboni","year":"2013","unstructured":"Barboni E, Martinie C, Navarre D, Palanque P, Winckler M (2013) Bridging the gap between a behavioural formal description technique and a user interface description language: enhancing ICO with a graphical user interface markup language. Sci Comput Program 86:3\u201329","journal-title":"Sci Comput Program"},{"issue":"1","key":"5_CR4","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/142394.142401","volume":"24","author":"L Bass","year":"1992","unstructured":"Bass L, Faneuf R, Little R, Mayer N, Pellegrino B, Reed S, Seacord R, Sheppard S, Szczur MR (1992) A metamodel for the runtime architecture of an interactive system. SIGCHI Bull 24(1):32\u201337","journal-title":"SIGCHI Bull"},{"key":"5_CR5","unstructured":"Bass L, Little R, Pellegrino R, Reed S, Seacord R, Sheppard S, Szezur MR (1991) The arch model: Seeheim revisited. In: User interface developers\u2019 workshop, 26 April 1991"},{"issue":"3","key":"5_CR6","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1016\/S0953-5438(03)00011-0","volume":"15","author":"R Bastide","year":"2003","unstructured":"Bastide R, Navarre D, Palanque P (2003) A tool-supported design framework for safety critical interactive systems. Interact Comput 15(3):309\u2013328","journal-title":"Interact Comput"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Beaudouin-Lafon M (2000) Instrumental interaction: an interaction model for designing post-wimp user interfaces. In: Proceedings of the SIGCHI conference on human factors in computing systems, The Hague, 1\u20136 April 2000","DOI":"10.1145\/332040.332473"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Berti S, Correani F, Mori G, Patern\u00f2 F, Santoro C (2004) Teresa: a transformation-based environment for designing and developing multi-device interfaces. In: Extended abstracts of the SIGCHI conference on human factors in computing systems, Vienna, 24\u201329 April 2004","DOI":"10.1145\/985921.985939"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Brat G, Martinie C, Palanque P (2013) V&V of lexical, syntactic and semantic properties for interactive systems through model checking of formal description of dialog. In: Human-computer interaction. Human-centered design approaches, methods, tools, and environments. Lecture notes in computer science, vol 8004. Springer, Heidelberg, pp 290\u2013299","DOI":"10.1007\/978-3-642-39232-0_33"},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","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"},{"key":"5_CR11","doi-asserted-by":"crossref","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","DOI":"10.1016\/S0953-5438(03)00010-9"},{"issue":"1","key":"5_CR12","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/j.csi.2011.06.002","volume":"34","author":"M Chinosi","year":"2012","unstructured":"Chinosi M, Trombetta A (2012) BPMN: an introduction to the standard. Comput Stand Interfaces 34(1):124\u2013134","journal-title":"Comput Stand Interfaces"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Coutaz J (2001) Software architecture modeling for user interfaces. In: Encyclopedia of software engineering. Wiley Online Library","DOI":"10.1002\/0471028959.sof011"},{"issue":"2","key":"5_CR14","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1006\/ijhc.1998.0196","volume":"49","author":"F Rosis de","year":"1998","unstructured":"de Rosis F, Pizzutilo S, De Carolis B (1998) Formal description and evaluation of user-adapted interfaces. Int J Hum Comput Stud 49(2):95\u2013120","journal-title":"Int J Hum Comput Stud"},{"key":"5_CR15","unstructured":"Dix AJ (1991) Formal methods for interactive systems. Academic Press"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Duke D, Faconti G, Harrison M, Patern\u00f3 F (1994) Unifying views of interactors. In: Proceedings of the workshop on advanced visual interfaces, Bari, 1\u20134 June 1994","DOI":"10.1145\/192309.192341"},{"key":"5_CR17","first-page":"140","volume":"4","author":"M Florins","year":"2004","unstructured":"Florins M, Vanderdonckt J (2004) Graceful degradation of user interfaces as a design method for multiplatform systems. IUI 4:140\u2013147","journal-title":"IUI"},{"key":"5_CR18","unstructured":"Gaines, BR (1991) An interactive visual language for term subsumption languages. In: Proceedings of the twelfth international joint conference on artificial intelligence, Sydney, 25 August 1991"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Janssen C, Weisbecker A, Ziegler, J (1993) Generating user interfaces from data models and dialogue net specifications. In: Proceedings of the INTERACT\u201993 and CHI\u201993 conference on human factors in computing systems, Amsterdam, 24\u201329 April 1993","DOI":"10.1145\/169059.169335"},{"key":"5_CR20","unstructured":"Jensen K, Rozenberg G (2012) High-level Petri nets: theory and application. Springer"},{"issue":"4","key":"5_CR21","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1145\/235833.236054","volume":"3","author":"BE John","year":"1996","unstructured":"John BE, Kieras DE (1996) The GOMS family of user interface analysis techniques: comparison and contrast. ACM Trans Comput Hum Interact 3(4):320\u2013351","journal-title":"ACM Trans Comput Hum Interact"},{"key":"5_CR22","unstructured":"Kecher C, Salvanos A (2015) UML 2.5: das umfassende Handbuch. Rheinwerk Computing"},{"key":"5_CR23","unstructured":"Krasner GE, Pope ST et al (1988) A description of the model-view-controller user interface paradigm in the smalltalk-80 system. J Object Oriented Program 1(3):26\u201349"},{"key":"5_CR24","unstructured":"Kummer O (2009) Referenznetze. Logos"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Kummer O, Wienberg F, Duvigneau M, Schumacher J, K\u00f6hler M, Moldt D, R\u00f6lke H, Valk R (2004) An extensible editor and simulation engine for Petri nets: renew. In: Applications and theory of Petri nets, Bologna, 21\u201326 June 2004","DOI":"10.1007\/978-3-540-27793-4_29"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Limbourg Q, Vanderdonckt J, Michotte B, Bouillon L, L\u00f3pez-Jaquero V (2005) UsiXML: a language supporting multi-path development of user interfaces. In: Proceedings of engineering human computer interaction and interactive systems, Hamburg, 11\u201313 July 2005","DOI":"10.1007\/11431879_12"},{"issue":"4","key":"5_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1614390.1614393","volume":"16","author":"D Navarre","year":"2009","unstructured":"Navarre D, Palanque P, Ladry JF, Barboni E (2009) ICOs: a model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability. ACM Trans Comput Hum Interact 16(4):1\u201318","journal-title":"ACM Trans Comput Hum Interact"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Patern\u00f2 F (1994) A theory of user-interaction objects. J Vis Lang Comput 5(3):227\u2013249","DOI":"10.1006\/jvlc.1994.1012"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Patern\u00f2 F, Mancini C, Meniconi S (1997) ConcurTaskTrees: a diagrammatic notation for specifying task models. In: IFIP TC13 international conference on human-computer interaction, Sydney, 14\u201318 July 1997","DOI":"10.1007\/978-0-387-35175-9_58"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Patern\u00f2 F, Santoro C (2001) Integrating model checking and HCI tools to help designers verify user interface properties. In: Interactive systems design, specification, and verification, Glasgow, 13\u201315 June 2001","DOI":"10.1007\/3-540-44675-3_9"},{"key":"5_CR31","unstructured":"Petri CA (1962) Kommunikation mit Automaten. Dissertation, University of Hamburg"},{"key":"5_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-70041-5","volume-title":"User interface management systems","author":"GE Pfaff","year":"1985","unstructured":"Pfaff GE (1985) User interface management systems. Springer, New York"},{"key":"5_CR33","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-76971-2","volume-title":"Petri-Netze","author":"L Priese","year":"2008","unstructured":"Priese L (2008) Petri-Netze. Springer, Berlin"},{"key":"5_CR34","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1109\/TSMC.1983.6313160","volume":"3","author":"J Rasmussen","year":"1983","unstructured":"Rasmussen J (1983) Skills, rules, and knowledge; signals, signs, and symbols, and other distinctions in human performance models. IEEE Trans Syst Man Cybern 3:257\u2013266","journal-title":"IEEE Trans Syst Man Cybern"},{"issue":"5","key":"5_CR35","doi-asserted-by":"publisher","first-page":"488","DOI":"10.1016\/j.ijhcs.2014.02.001","volume":"72","author":"JL Silva","year":"2014","unstructured":"Silva JL, Campos JC, Harrison MD (2014) Prototyping and analysing ubiquitous computing environments using multiple layers. Int J Hum Comput Stud 72(5):488\u2013506","journal-title":"Int J Hum Comput Stud"},{"key":"5_CR36","unstructured":"Sy O, Bastide R, Palanque P, Le D, Navarre D (2000) PetShop: a case tool for the petri net based specification and prototyping of corba systems. In: Petri nets 2000, Aarhus, 26\u201330 June 2000"},{"key":"5_CR37","volume-title":"Component software: beyond OO programming","author":"C Szyperski","year":"1997","unstructured":"Szyperski C (1997) Component software: beyond OO programming. Addison-Wesley, Boston"},{"issue":"2","key":"5_CR38","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/253671.253708","volume":"40","author":"A Dam Van","year":"1997","unstructured":"Van Dam A (1997) Post-wimp user interfaces. Commun ACM 40(2):63\u201367","journal-title":"Commun ACM"},{"key":"5_CR39","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-40022-6_7","volume-title":"Petri net technology for communication-based systems","author":"M Weber","year":"2003","unstructured":"Weber M, Kindler E (2003) The petri net markup language. Petri net technology for communication-based systems. Springer, Berlin, pp 124\u2013144"},{"key":"5_CR40","unstructured":"Weyers B (2012) Reconfiguration of user interface models for monitoring and control of human-computer systems. Dr, Hut, Munich"},{"key":"5_CR41","unstructured":"Weyers B (2013a) FILL: formal description of executable and reconfigurable models of interactive systems. In: Proceedings of the workshop on formal methods in human computer interaction, Duisburg, 23 June 2015"},{"key":"5_CR42","unstructured":"Weyers B (2013b) User-centric adaptive automation through formal reconfiguration of user interface models. In: The sixth international conference on advances in human oriented and personalized mechanisms, technologies, and services, Venice, 27 October\u20131 November 2013"},{"key":"5_CR43","doi-asserted-by":"crossref","unstructured":"Weyers B, Burkolter D, Kluge A, Luther W (2010) User-centered interface reconfiguration for error reduction in human-computer interaction. In: 3rd international conference on advances in human-oriented and personalized mechanisms, technologies and services, Nice, 22\u201327 August 2010","DOI":"10.1109\/CENTRIC.2010.11"},{"issue":"10","key":"5_CR44","doi-asserted-by":"publisher","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":"5_CR45","doi-asserted-by":"crossref","unstructured":"Weyers B, Luther W (2010) Formal modeling and reconfiguration of user interfaces. In: International conference of the Chilean computer science society, Antofagasta, 15\u201319 November 2010","DOI":"10.1109\/SCCC.2010.17"},{"key":"5_CR46","doi-asserted-by":"crossref","unstructured":"Weyers B, Baloian N, Luther W (2009) Cooperative creation of concept keyboards in distributed learning environments. In: International conference on computer supported cooperative work in design, Santiago de Chile, 22\u201324 April 2009","DOI":"10.1109\/CSCWD.2009.4968114"},{"issue":"1","key":"5_CR47","doi-asserted-by":"publisher","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. Fut Gener Comput Syst 27(1):127\u2013138","journal-title":"Fut Gener Comput Syst"},{"key":"5_CR48","unstructured":"White SA, Miers D (2008) BPMN modeling and reference guide. Future Strategies Inc., Lighthouse Point"}],"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_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T23:29:52Z","timestamp":1557962992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51838-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319518374","9783319518381"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51838-1_5","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"}}]}}