Guerra, EstherLara, Juan deKolovos, DimitrisPaige, Richard F.2015-02-092015-02-092010-09Hundhausen, C. et al. (Eds.) (2010). 2010 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). Leganés-Madrid, Spain 21-25 September 2010: Proceedings. IEEE, 119-126.978-1-4244-8485-01943-6092http://hdl.handle.net/10016/20018Proceedings of: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2010). Leganés-Madrid, Spain 21-25 Septemeber 2010.While interaction patterns are becoming widespread in the field of interface design, their definitions do not enjoy a common standard yet, as is for software patterns. Moreover, patterns are developed for diverse design aspects, reflecting the complexity of the field. As a consequence, research on formalization of interaction patterns is not developed, and few attempts have been made to extend techniques developed for design pattern formalization. We show here how an extension to our recent approach to pattern formalization can be usefully employed to formalize some classes of interaction patterns, to express relations among them, and to detect conflicts.8application/pdfeng© 2010 IEEE.Model-driven engineeringModel-to-model transformationSpecification languagesTransformation testinconference paperTelecomunicaciones110.1109/VLHCC.2010.26open access235239010 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). Leganés-Madrid, Spain 21-25 Septemeber 2010: Proceedings.CC/0000022314