{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:01:44Z","timestamp":1725577304808},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642145612"},{"type":"electronic","value":"9783642145629"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-14562-9_13","type":"book-chapter","created":{"date-parts":[[2011,1,28]],"date-time":"2011-01-28T11:42:15Z","timestamp":1296214935000},"page":"257-276","source":"Crossref","is-referenced-by-count":0,"title":["Formalising Interaction Patterns"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Bottoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Esther","family":"Guerra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan","family":"de Lara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"13_CR1","doi-asserted-by":"publisher","first-page":"1408","DOI":"10.1016\/j.jss.2006.10.037","volume":"80","author":"S. Ahmed","year":"2007","unstructured":"Ahmed, S., Ashraf, G.: Model-based user interface engineering with design patterns. Journal of Systems and Software\u00a080(8), 1408 (2007)","journal-title":"Journal of Systems and Software"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1016\/j.jvlc.2007.12.004","volume":"19","author":"J.M. Almendros-Jim\u00e9nez","year":"2008","unstructured":"Almendros-Jim\u00e9nez, J.M., Iribarne, L.: An extension of UML for the modeling of WIMP user interfaces. J. Vis. Lang. Comput.\u00a019, 695\u2013720 (2008)","journal-title":"J. Vis. Lang. Comput."},{"key":"13_CR3","volume-title":"A Pattern Approach to Interaction Design","author":"J. Borchers","year":"2001","unstructured":"Borchers, J.: A Pattern Approach to Interaction Design. Wiley, Chichester (2001)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-00593-0_19","volume-title":"Fundamental Approaches to Software Engineering","author":"P. Bottoni","year":"2009","unstructured":"Bottoni, P., Guerra, E., de Lara, J.: Formal foundation for pattern-based modelling. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 278\u2013293. Springer, Heidelberg (2009)"},{"issue":"8","key":"13_CR5","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1016\/j.infsof.2010.03.005","volume":"52","author":"P. Bottoni","year":"2010","unstructured":"Bottoni, P., Guerra, E., de Lara, J.: A language-independent and formal approach to pattern-based modelling with support for composition and analysis. Inf. Soft. Technol.\u00a052(8), 821\u2013844 (2010)","journal-title":"Inf. Soft. Technol."},{"key":"13_CR6","first-page":"235","volume-title":"Proc. VL\/HCC 2010","author":"P. Bottoni","year":"2010","unstructured":"Bottoni, P., Guerra, E., de Lara, J.: Towards a formal notion of interaction pattern. In: Proc. VL\/HCC 2010, pp. 235\u2013239. IEEE CS Press, Los Alamitos (2010)"},{"key":"13_CR7","first-page":"1","volume-title":"Proc. PEICS 2010","author":"K. Breiner","year":"2010","unstructured":"Breiner, K., Seissler, M., Meixner, G., Forbrig, P., Seffah, A., Kl\u00f6ckner, K.: PEICS: towards HCI patterns into engineering of interactive systems. In: Proc. PEICS 2010, pp. 1\u20133. ACM Press, New York (2010)"},{"issue":"3","key":"13_CR8","doi-asserted-by":"publisher","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.: A unifying reference framework for multi-target user interfaces. Interacting with Computers\u00a015(3), 289\u2013308 (2003)","journal-title":"Interacting with Computers"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1016\/j.intcom.2007.05.006","volume":"19","author":"P. Campos","year":"2007","unstructured":"Campos, P., Nunes, N.: Towards useful and usable interaction design tools: Canonsketch. Interacting with Computers\u00a019, 597\u2013613 (2007)","journal-title":"Interacting with Computers"},{"issue":"3","key":"13_CR10","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.tcs.2007.02.001","volume":"376","author":"J. de Lara","year":"2007","unstructured":"de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed graph transformation with node type inheritance. Theor. Comput. Sci.\u00a0376(3), 139\u2013163 (2007)","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"13_CR11","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/s10270-008-0094-z","volume":"8","author":"M. Didonet Del Fabro","year":"2009","unstructured":"Didonet Del Fabro, M., Valduriez, P.: Towards the efficient development of model transformations using model weaving and matching transformations. Software and Systems Modeling\u00a08(3), 305\u2013324 (2009)","journal-title":"Software and Systems Modeling"},{"issue":"7","key":"13_CR12","first-page":"433","volume":"33","author":"J. Dong","year":"2007","unstructured":"Dong, J., Yang, S., Zhang, K.: Visualizing design patterns in their applications and compositions. IEEE TSE\u00a033(7), 433\u2013453 (2007)","journal-title":"IEEE TSE"},{"issue":"1","key":"13_CR13","first-page":"135","volume":"74","author":"H. Ehrig","year":"2006","unstructured":"Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.-H.: Theory of constraints and application conditions: From graphs to high-level structures. Fundam. Inform.\u00a074(1), 135\u2013166 (2006)","journal-title":"Fundam. Inform."},{"key":"13_CR14","unstructured":"Fincher, S.: PLML: pattern language markup language, http:\/\/www.cs.kent.ac.uk\/people\/staff\/saf\/patterns\/plml.html (accessed September 14, 2010)"},{"issue":"2","key":"13_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1002\/spip.171","volume":"8","author":"E. Folmer","year":"2003","unstructured":"Folmer, E., van Gurp, J., Bosch, J.: A framework for capturing the relationship between usability and software architecture. Software Process: Improvement and Practice\u00a08(2), 67\u201387 (2003)","journal-title":"Software Process: Improvement and Practice"},{"issue":"2","key":"13_CR16","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/j.infsof.2005.02.005","volume":"48","author":"E. Folmer","year":"2006","unstructured":"Folmer, E., van Welie, M., Bosch, J.: Bridging patterns: An approach to bridge gaps between SE and HCI. Inf. Soft. Technol.\u00a048(2), 69\u201389 (2006)","journal-title":"Inf. Soft. Technol."},{"issue":"3","key":"13_CR17","first-page":"193","volume":"30","author":"R.B. France","year":"2004","unstructured":"France, R.B., Kim, D.-K., Ghosh, S., Song, E.: A UML-based pattern specification technique. IEEE TSE\u00a030(3), 193\u2013206 (2004)","journal-title":"IEEE TSE"},{"key":"13_CR18","volume-title":"Design Patterns. Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.M.: Design Patterns. Elements of Reusable Object-Oriented Software. Addison Wesley, Reading (1994)"},{"key":"13_CR19","unstructured":"Infragistics: http:\/\/quince.infragistics.com (accessed September 14, 2010)"},{"key":"13_CR20","unstructured":"Juristo Juzgado, N., L\u00f3pez, M., Moreno, A.M., S\u00e1nchez Segura, M.: Improving software usability through architectural patterns. In: ICSE Workshop on SE-HCI, pp. 12\u201319 (2003)"},{"key":"13_CR21","unstructured":"Kim, S.K., Carrington, D.: Using integrated metamodeling to define OO design patterns with Object-Z and UML. In: APSEC, pp. 257\u2013264 (2004)"},{"key":"13_CR22","first-page":"25","volume-title":"APCHI 1998","author":"M. Mahemoff","year":"1998","unstructured":"Mahemoff, M., Johnston, L.J.: Pattern languages for usability: An investigation of alternative approaches. In: Tanaka, J. (ed.) APCHI 1998, pp. 25\u201331. IEEE Computer Society, Los Alamitos (1998)"},{"key":"13_CR23","first-page":"507","volume":"30","author":"G. Mori","year":"2004","unstructured":"Mori, G., Patern\u00f2, F., Santoro, C.: Design and development of multidevice user interfaces through multiple logical descriptions. IEEE TSE\u00a030, 507\u2013520 (2004), DOI http:\/\/doi.ieeecomputersociety.org\/10.1109\/TSE.2004.40","journal-title":"IEEE TSE"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Niere, J., Sch\u00e4fer, W., Wadsack, J.P., Wendehals, L., Welsh, J.: Towards pattern-based design recovery. In: ICSE 2002, pp. 338\u2013348 (2002)","DOI":"10.1145\/581380.581382"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-540-45242-3_14","volume-title":"Object-Oriented Information Systems","author":"N. Nunes","year":"2003","unstructured":"Nunes, N.: Representing user-interface patterns in UML. In: Masood, A., L\u00e9onard, M., Pigneur, Y., Patel, S. (eds.) OOIS 2003. LNCS, vol.\u00a02817, pp. 142\u2013151. Springer, Heidelberg (2003)"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-540-87405-8_19","volume-title":"Graph Transformations","author":"F. Orejas","year":"2008","unstructured":"Orejas, F.: Attributed graph constraints. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 274\u2013288. Springer, Heidelberg (2008)"},{"key":"13_CR27","first-page":"47","volume-title":"ICAS 2008","author":"C. Pribeanu","year":"2008","unstructured":"Pribeanu, C., Vanderdonckt, J.: A transformational approach for pattern-based design of user interfaces. In: ICAS 2008, pp. 47\u201354. IEEE Computer Society, Los Alamitos (2008)"},{"key":"13_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/3-540-45104-8_9","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A. Radermacher","year":"2000","unstructured":"Radermacher, A.: Support for design patterns through graph transformation tools. In: M\u00fcnch, M., Nagl, M. (eds.) AGTIVE 1999. LNCS, vol.\u00a01779, pp. 111\u2013126. Springer, Heidelberg (2000)"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"Schattkowsky, T., Lohmann, M.: Towards employing UML model mappings for platform indepedent user interface design. In: MDDAUI 2005. CEUR Workshop Proceedings, vol.\u00a0159, CEUR-WS.org (2005)","DOI":"10.1007\/11663430_21"},{"key":"13_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/3-540-59071-4_45","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903, pp. 151\u2013163. Springer, Heidelberg (1995)"},{"key":"13_CR31","volume-title":"Designing Web Interfaces: Principles and Patterns for Rich Interactions","author":"B. Scott","year":"2009","unstructured":"Scott, B., Neil, T.: Designing Web Interfaces: Principles and Patterns for Rich Interactions. O\u2019Reilly, Sebastopol (2009)"},{"issue":"11","key":"13_CR32","doi-asserted-by":"publisher","first-page":"1845","DOI":"10.1016\/j.jss.2008.04.037","volume":"81","author":"A. Seffah","year":"2008","unstructured":"Seffah, A., Taleb, M., Habieb-Mammar, H., Abran, A.: Reconciling usability and interactive system architecture using patterns. Journal of Systems and Software\u00a081(11), 1845\u20131852 (2008)","journal-title":"Journal of Systems and Software"},{"key":"13_CR33","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0950-5849(02)000195-7","volume":"45","author":"T. Taibi","year":"2003","unstructured":"Taibi, T., Ngo, D.C.L.: Formal specification of design pattern combination using BPSL. Inf. Soft. Technol.\u00a045, 157\u2013170 (2003)","journal-title":"Inf. Soft. Technol."},{"key":"13_CR34","volume-title":"Designing Interfaces","author":"J. Tidwell","year":"2006","unstructured":"Tidwell, J.: Designing Interfaces. O\u2019Reilly, Sebastopol (2006)"},{"key":"13_CR35","doi-asserted-by":"crossref","unstructured":"Tourw\u00e9, T., Mens, T.: High-level transformations to support framework-based software development. ENTCS\u00a072(4) (2003)","DOI":"10.1016\/S1571-0661(04)80624-8"},{"key":"13_CR36","unstructured":"Toxboe, A.: Pattern library, http:\/\/ui-patterns.com (accessed September 14, 2010)"},{"key":"13_CR37","unstructured":"UsiXML: http:\/\/www.usixml.org\/ (accessed September 14, 2010)"},{"key":"13_CR38","unstructured":"Valverde, F., Pastor, O.: Applying interaction patterns: Towards a model-driven approach for RIA development. In: IWWOST 2008 (2008)"},{"key":"13_CR39","unstructured":"van Welie, M.: Ui patterns, http:\/\/www.welie.com\/patterns\/ (accessed September 14, 2010)"},{"key":"13_CR40","unstructured":"van Welie, M., Tr\u00e6tteberg, H.: Interaction patterns in user interfaces. In: PLoP 2000, pp. 13\u201316 (2000)"},{"key":"13_CR41","first-page":"12","volume-title":"Proc. PEICS 2010","author":"J. Vanderdonckt","year":"2010","unstructured":"Vanderdonckt, J., Simarro, F.M.: Generative pattern-based design of user interfaces. In: Proc. PEICS 2010, pp. 12\u201319. ACM Press, New York (2010)"}],"container-title":["Studies in Computational Intelligence","Model-Driven Development of Advanced User Interfaces"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14562-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T01:46:20Z","timestamp":1559958380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14562-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642145612","9783642145629"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14562-9_13","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2011]]}}}