RT Conference Proceedings T1 A Visual Specification Language for Model-to-Model Transformations A1 Guerra, Esther A1 Lara, Juan de A1 Kolovos, Dimitris A1 Paige, Richard F. AB 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. PB Ieee - The Institute Of Electrical And Electronics Engineers, Inc SN 978-1-4244-8485-0 SN 1943-6092 YR 2010 FD 2010-09 LK https://hdl.handle.net/10016/20018 UL https://hdl.handle.net/10016/20018 LA eng NO Proceedings of: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2010). Leganés-Madrid, Spain 21-25 Septemeber 2010. NO Work funded by the Spanish Ministry of Science and Innovation through project TIN2008-02081 and mobility grants JC2009-00015 and PR2009-0019; and by the R&D programme of the Madrid Community, project S2009/TIC-1650. DS e-Archivo RD 30 abr. 2024