{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:28Z","timestamp":1750306708446,"version":"3.41.0"},"reference-count":54,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2015,3,11]],"date-time":"2015-03-11T00:00:00Z","timestamp":1426032000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Intell. Syst. Technol."],"published-print":{"date-parts":[[2015,3,11]]},"abstract":"<jats:p>The least cognitively demanding way to create a diagram is to draw it with a pen. Yet there is also a need for more formal visualizations, that is, diagrams created using both traditional keyboard and mouse interaction. Our objective is to allow the creation of diagrams using traditional and stylus-based input. Having two diagram creation interfaces requires that changes to a diagram should be automatically rendered in the other visualization. Because sketches are imprecise, there is always the possibility that conversion between visualizations results in a lack of syntactic consistency between the two visualizations. We propose methods for converting diagrams between forms, checking them for equivalence, and rectifying inconsistencies. As a result of our theoretical contributions, we present an intelligent software system allowing users to create and edit diagrams in sketch or formal mode. Our proof-of-concept tool supports diagrams with connected and spatial syntactic elements. Two user studies show that this approach is viable and participants found the software easy to use. We conclude that supporting such diagram creation is now possible in practice.<\/jats:p>","DOI":"10.1145\/2631925","type":"journal-article","created":{"date-parts":[[2015,3,12]],"date-time":"2015-03-12T12:18:05Z","timestamp":1426162685000},"page":"1-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Combining Sketching and Traditional Diagram Editing Tools"],"prefix":"10.1145","volume":"6","author":[{"given":"Gem","family":"Stapleton","sequence":"first","affiliation":[{"name":"University of Brighton, Brighton, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beryl","family":"Plimmer","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aidan","family":"Delaney","sequence":"additional","affiliation":[{"name":"University of Brighton, Brighton, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Rodgers","sequence":"additional","affiliation":[{"name":"University of Kent, Canterbury, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,3,11]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_9"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_9"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/2386301.2386315"},{"key":"e_1_2_2_4_1","volume-title":"UML","author":"Bottoni P.","year":"2001","unstructured":"P. Bottoni , M. Koch , F. Parisi-Presicce , and G. Taentzer . 2001. A visualization of OCL using collaborations . In UML 2001 . Springer, 257--271. P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. 2001. A visualization of OCL using collaborations. In UML 2001. Springer, 257--271."},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060412000194"},{"key":"e_1_2_2_6_1","unstructured":"R. Clarke. 2007. Fast zone discrimination. In Visual Languages and Logic. 41--54.  R. Clarke. 2007. Fast zone discrimination. In Visual Languages and Logic. 41--54."},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comgeo.2010.07.003"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.2002.0234"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/332040.332488"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73681-3_32"},{"volume-title":"Proceedings of Information Visualisation. IEEE Computer Society, 120--126","author":"DeChiara R.","key":"e_1_2_2_11_1","unstructured":"R. DeChiara , U. Erra , and V. Scarano . 2003. VennFS: A Venn diagram file manager . In Proceedings of Information Visualisation. IEEE Computer Society, 120--126 . R. DeChiara, U. Erra, and V. Scarano. 2003. VennFS: A Venn diagram file manager. In Proceedings of Information Visualisation. IEEE Computer Society, 120--126."},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.020"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1998.0098"},{"key":"e_1_2_2_14_1","first-page":"221","article-title":"Repeat victimization and hot spots: The overlap and its implication for crime control and problem-oriented policing","volume":"12","author":"Farrell G.","year":"2001","unstructured":"G. Farrell and W. Sousa . 2001 . Repeat victimization and hot spots: The overlap and its implication for crime control and problem-oriented policing . Crime Prevention Studies 12 (2001), 221 -- 240 . G. Farrell and W. Sousa. 2001. Repeat victimization and hot spots: The overlap and its implication for crime control and problem-oriented policing. Crime Prevention Studies 12 (2001), 221--240.","journal-title":"Crime Prevention Studies"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cag.2010.07.001"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2005.03.001"},{"volume-title":"Proceedings of IEEE Symposium on Visual Languages (VL\u201999)","author":"Gil J.","key":"e_1_2_2_17_1","unstructured":"J. Gil , J. Howse , and S. Kent . 1999. Formalising spider diagrams . In Proceedings of IEEE Symposium on Visual Languages (VL\u201999) . IEEE Computer Society Press, 130--137. J. Gil, J. Howse, and S. Kent. 1999. Formalising spider diagrams. In Proceedings of IEEE Symposium on Visual Languages (VL\u201999). IEEE Computer Society Press, 130--137."},{"volume-title":"Sketches of Thought","author":"Goel V.","key":"e_1_2_2_18_1","unstructured":"V. Goel . 1995. Sketches of Thought . MIT Press . V. Goel. 1995. Sketches of Thought. MIT Press."},{"volume-title":"Visual and Spatial Reasoning in Design","author":"Goldschmidt G.","key":"e_1_2_2_19_1","unstructured":"G. Goldschmidt . 1999. The backtalk of self-generated sketches . In Visual and Spatial Reasoning in Design . University of Sydney , 163--184. G. Goldschmidt. 1999. The backtalk of self-generated sketches. In Visual and Spatial Reasoning in Design. University of Sydney, 163--184."},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1656274.1656278"},{"volume-title":"AAAI Spring Symposium on Sketch Understanding.","author":"Hammond T.","key":"e_1_2_2_21_1","unstructured":"T. Hammond and R. Davis . 2002. Tahuti: A geometrical sketch recognition system for UML class diagrams . In AAAI Spring Symposium on Sketch Understanding. T. Hammond and R. Davis. 2002. Tahuti: A geometrical sketch recognition system for UML class diagrams. In AAAI Spring Symposium on Sketch Understanding."},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/505168.505185"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1112\/S1461157000000942"},{"volume-title":"International Semantic Web Conference. Springer, 257--272","author":"Howse J.","key":"e_1_2_2_24_1","unstructured":"J. Howse , G. Stapleton , K. Taylor , and P. Chapman . 2011. Visualizing ontologies: A case study . In International Semantic Web Conference. Springer, 257--272 . J. Howse, G. Stapleton, K. Taylor, and P. Chapman. 2011. Visualizing ontologies: A case study. In International Semantic Web Conference. Springer, 257--272."},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1080\/10691898.2001.11910646"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2036264.2036275"},{"key":"e_1_2_2_27_1","unstructured":"G. Johnson M. Gross and J. Hong. 2009. Computational Support for Sketching in Design. Now Publishers.  G. Johnson M. Gross and J. Hong. 2009. Computational Support for Sketching in Design. Now Publishers."},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/263698.263756"},{"key":"e_1_2_2_29_1","doi-asserted-by":"crossref","unstructured":"H. Kestler A. Muller J. Kraus M. Buchholz T. Gress H. Liu D. Kane B. Zeeberg and J. Weinstein. 2008. VennMaster: Area-proportional euler diagrams for functional GO analysis of microarrays. BMC Bioinformatics 9 67 (2008).  H. Kestler A. Muller J. Kraus M. Buchholz T. Gress H. Liu D. Kane B. Zeeberg and J. Weinstein. 2008. VennMaster: Area-proportional euler diagrams for functional GO analysis of microarrays. BMC Bioinformatics 9 67 (2008).","DOI":"10.1186\/1471-2105-9-67"},{"key":"e_1_2_2_30_1","volume-title":"Proceedings of Euler Diagrams","author":"Kestler H.","year":"2005","unstructured":"H. Kestler , A. Muller , H. Liu , D. Kane , B. Zeeberg , and J. Weinstein . 2005. Euler diagrams for visualizing annotated gene expression data . In Proceedings of Euler Diagrams 2005 , Paris. H. Kestler, A. Muller, H. Liu, D. Kane, B. Zeeberg, and J. Weinstein. 2005. Euler diagrams for visualizing annotated gene expression data. In Proceedings of Euler Diagrams 2005, Paris."},{"key":"e_1_2_2_31_1","volume-title":"Layout of (Software) Engineering Diagrams","volume":"13","author":"Maier S.","unstructured":"S. Maier , S. Mazanek , and M. Minas . 2008. Layout specification on the concrete and abstract syntax level of a diagram language . In Layout of (Software) Engineering Diagrams , Vol. 13 . ECEASST. S. Maier, S. Mazanek, and M. Minas. 2008. Layout specification on the concrete and abstract syntax level of a diagram language. In Layout of (Software) Engineering Diagrams, Vol. 13. ECEASST."},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-012-9160-6"},{"key":"e_1_2_2_33_1","unstructured":"Petri Nets. 2013. Standardisation. Retrieved from http:\/\/www.petrinets.info\/.  Petri Nets. 2013. Standardisation. Retrieved from http:\/\/www.petrinets.info\/."},{"key":"e_1_2_2_34_1","unstructured":"C. Peirce. 1933. Collected Papers Vol. 4. Harvard University Press.  C. Peirce. 1933. Collected Papers Vol. 4. Harvard University Press."},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12193-008-0002-4"},{"key":"e_1_2_2_36_1","doi-asserted-by":"crossref","unstructured":"B. Plimmer and I. Freeman. 2007. A toolkit approach to sketched diagram recognition. In HCI. British Computer Society 205--213.   B. Plimmer and I. Freeman. 2007. A toolkit approach to sketched diagram recognition. In HCI. British Computer Society 205--213.","DOI":"10.14236\/ewic\/HCI2007.21"},{"key":"e_1_2_2_37_1","unstructured":"B. Plimmer H. Purchase and H. Laycock. 2009. Preserving the hand-drawn appearance of graphs. In Visual Languages and Computing. 347--352.  B. Plimmer H. Purchase and H. Laycock. 2009. Preserving the hand-drawn appearance of graphs. In Visual Languages and Computing. 347--352."},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1952222.1952249"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/127719.122753"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/971478.971487"},{"volume-title":"The Logical Status of Diagrams","author":"Shin S.-J.","key":"e_1_2_2_41_1","unstructured":"S.-J. Shin . 1994. The Logical Status of Diagrams . Cambridge University Press . S.-J. Shin. 1994. The Logical Status of Diagrams. Cambridge University Press."},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1378\/chest.124.2.474"},{"key":"e_1_2_2_43_1","unstructured":"J. Sowa. 2013. Conceptual Graphs. Retrieved from http:\/\/www.jfsowa.com\/cg\/.  J. Sowa. 2013. Conceptual Graphs. Retrieved from http:\/\/www.jfsowa.com\/cg\/."},{"key":"e_1_2_2_44_1","unstructured":"G. Stapleton and J. Masthoff. 2007. Incorporating negation into visual logics: A case study using euler diagrams. In Visual Languages and Computing 2007. Knowledge Systems Institute 187--194.  G. Stapleton and J. Masthoff. 2007. Incorporating negation into visual logics: A case study using euler diagrams. In Visual Languages and Computing 2007. Knowledge Systems Institute 187--194."},{"volume-title":"Proceedings of Layout of Software Engineering Diagrams. EASST, 2--16","author":"Stapleton G.","key":"e_1_2_2_45_1","unstructured":"G. Stapleton , P. Rodgers , J. Howse , and J. Taylor . 2007. Properties of euler diagrams . In Proceedings of Layout of Software Engineering Diagrams. EASST, 2--16 . G. Stapleton, P. Rodgers, J. Howse, and J. Taylor. 2007. Properties of euler diagrams. In Proceedings of Layout of Software Engineering Diagrams. EASST, 2--16."},{"key":"e_1_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.023"},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.02.024"},{"key":"e_1_2_2_48_1","unstructured":"Unified Modeling Language. 2006. Unified Modeling Language (UML) Resource Page. Retrieved from http:\/\/www.uml.org\/.  Unified Modeling Language. 2006. Unified Modeling Language (UML) Resource Page. Retrieved from http:\/\/www.uml.org\/."},{"volume-title":"IEEE Symposium on Visual Languages and Computing. IEEE, 75--82","author":"Wang M.","key":"e_1_2_2_49_1","unstructured":"M. Wang , B. Plimmer , P. Schmieder , G. Stapleton , P. Rodgers , and A. Delaney . 2011. SketchSet: Creating euler diagrams using pen or mouse . In IEEE Symposium on Visual Languages and Computing. IEEE, 75--82 . M. Wang, B. Plimmer, P. Schmieder, G. Stapleton, P. Rodgers, and A. Delaney. 2011. SketchSet: Creating euler diagrams using pen or mouse. In IEEE Symposium on Visual Languages and Computing. IEEE, 75--82."},{"key":"e_1_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2011.56"},{"volume-title":"Introduction to Graph Theory","author":"Wilson R.","key":"e_1_2_2_51_1","unstructured":"R. Wilson . 1996. Introduction to Graph Theory . Prentice Hall . R. Wilson. 1996. Introduction to Graph Theory. Prentice Hall."},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294211.1294238"},{"key":"e_1_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2021164.2021185"},{"key":"e_1_2_2_54_1","volume-title":"22nd British HCI Group Annual Conference on People and Computers: Culture, Creativity, Interaction","volume":"1","author":"Yeung L.","unstructured":"L. Yeung , B. Plimmer , B. Lobb , and D. Elliffe . 2008. Effect of fidelity in diagram presentation . In 22nd British HCI Group Annual Conference on People and Computers: Culture, Creativity, Interaction , Vol. 1 . British Computer Society, 35--44. L. Yeung, B. Plimmer, B. Lobb, and D. Elliffe. 2008. Effect of fidelity in diagram presentation. In 22nd British HCI Group Annual Conference on People and Computers: Culture, Creativity, Interaction, Vol. 1. British Computer Society, 35--44."}],"container-title":["ACM Transactions on Intelligent Systems and Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2631925","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2631925","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:13Z","timestamp":1750231153000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2631925"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,11]]},"references-count":54,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,3,11]]}},"alternative-id":["10.1145\/2631925"],"URL":"https:\/\/doi.org\/10.1145\/2631925","relation":{},"ISSN":["2157-6904","2157-6912"],"issn-type":[{"type":"print","value":"2157-6904"},{"type":"electronic","value":"2157-6912"}],"subject":[],"published":{"date-parts":[[2015,3,11]]},"assertion":[{"value":"2013-09-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-06-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2015-03-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}