2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)最新文献

筛选
英文 中文
Benchmarking for graph transformation 图转换的基准测试
Gergely Varró, Andy Schürr, Dániel Varró
{"title":"Benchmarking for graph transformation","authors":"Gergely Varró, Andy Schürr, Dániel Varró","doi":"10.1109/VLHCC.2005.23","DOIUrl":"https://doi.org/10.1109/VLHCC.2005.23","url":null,"abstract":"Model transformation (MT) is a key technology in the model-driven development approach of software engineering that provides automated means to capture the evolution of models and mappings between modeling languages. The pattern and rule-based paradigm of graph transformation is considered a very popular approach for specifying such model transformations. While the expressiveness of different MT specification techniques is frequently compared on well-known transformation problems (e.g. UML-to-XMI, or UML-to-EJB mappings), no such benchmarks exist currently for comparing the performance of different model transformation tools. In the paper, we propose a systematic method for quantitative benchmarking in order to assess the performance of graph transformation tools. Typical features of the graph transformation paradigm and various optimization strategies exploited in different toots are identified and categorized. Moreover, the performance of several popular graph transformation tools is measured and compared on a well-known distributed mutual exclusion problem.","PeriodicalId":241986,"journal":{"name":"2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115622942","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 111
Estimating the numbers of end users and end user programmers 估计最终用户和最终用户程序员的数量
Christopher Scaffidi, M. Shaw, B. Myers
{"title":"Estimating the numbers of end users and end user programmers","authors":"Christopher Scaffidi, M. Shaw, B. Myers","doi":"10.1109/VLHCC.2005.34","DOIUrl":"https://doi.org/10.1109/VLHCC.2005.34","url":null,"abstract":"In 1995, Boehm predicted that by 2005, there would be \"55 million performers\" of \"end user programming\" in the United States. The original context and method which generated this number had two weaknesses, both of which we address. First, it relies on undocumented, judgment-based factors to estimate the number of end user programmers based on the total number of end users; we address this weakness by identifying specific end user sub-populations and then estimating their sizes. Second, Boehm's estimate relies on additional undocumented, judgment-based factors to adjust for rising computer usage rates; we address this weakness by integrating fresh Bureau of Labor Statistics (BLS) data and projections as well as a richer estimation method. With these improvements to Boehm's method, we estimate that in 2012 there will be 90 million end users in American workplaces. Of these, we anticipate that over 55 million will use spreadsheets or databases (and therefore may potentially program), while over 13 million will describe themselves as programmers, compared to BLS projections of fewer than 3 million professional programmers. We have validated our improved method by generating estimates for 2001 and 2003, then verifying that our estimates are consistent with existing estimates from other sources.","PeriodicalId":241986,"journal":{"name":"2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124813761","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 389
Formally specifying the syntax and semantics of a visual query language for the domain of high energy physics data analysis 正式指定用于高能物理数据分析领域的可视化查询语言的语法和语义
Vasco Amaral, S. Helmer, G. Moerkotte
{"title":"Formally specifying the syntax and semantics of a visual query language for the domain of high energy physics data analysis","authors":"Vasco Amaral, S. Helmer, G. Moerkotte","doi":"10.1109/VLHCC.2005.38","DOIUrl":"https://doi.org/10.1109/VLHCC.2005.38","url":null,"abstract":"Currently, physicists working in high energy physics experiments have to write their queries in general purpose programming languages using complex frameworks for accessing the data. This distracts them from their actual work, namely data analysis, and reduces their productivity significantly. We have improved this situation by designing and implementing the first visual query language specific to this domain. Our goal was to provide a tool enabling physicists to formulate queries in their own terms and notation. In this paper we focus on the formal definition of our visual query language (including syntax and semantics). The meanings of our operators are well-defined by means of translational semantics, i.e., we map all elements of our language to a well-known NF2 algebra. We conclude with a discussion of the advantages of this formal design approach.","PeriodicalId":241986,"journal":{"name":"2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123331451","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
ZenFlow: a visual Web service composition tool for BPEL4WS ZenFlow:用于BPEL4WS的可视化Web服务组合工具
Alberto Martinez, M. Patiño-Martínez, R. Jiménez-Peris, Francisco Perez-Sorrosal
{"title":"ZenFlow: a visual Web service composition tool for BPEL4WS","authors":"Alberto Martinez, M. Patiño-Martínez, R. Jiménez-Peris, Francisco Perez-Sorrosal","doi":"10.1109/VLHCC.2005.74","DOIUrl":"https://doi.org/10.1109/VLHCC.2005.74","url":null,"abstract":"Web services have become a very powerful technology to build service oriented architectures and standardize the access to legacy services. Through Web service composition new added value Web services can be created out of existing ones. Examples of these compositions are virtual organizations, outsourcing, enterprise application integration, business process definitions and business to business inter/intra-enterprise relationships. In order to enable the construction of business processes as composite Web services, a number of composition languages has been proposed by the software industry. However, the handiwork of specifying a business process with these languages through simple text or XML editors is tough, complex and error prone. Visual support can ease the definition of business processes. In this paper, we describe ZenFlow, a visual composition tool for Web services written in BPEL4WS. ZenFlow provides several visual facilities to ease the definition of a business process such as multiple views of a process, syntactic and semantic awareness, filtering, logical zooming capabilities and hierarchical representations.","PeriodicalId":241986,"journal":{"name":"2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)","volume":"15 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126858836","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 38
A suite of visual languages for statistical survey specification 一套用于统计调查规范的可视化语言
C. Kim, J. Hosking, J. Grundy
{"title":"A suite of visual languages for statistical survey specification","authors":"C. Kim, J. Hosking, J. Grundy","doi":"10.1109/VLHCC.2005.10","DOIUrl":"https://doi.org/10.1109/VLHCC.2005.10","url":null,"abstract":"We describe SDL, an integrated suite of visual languages aimed at supporting the process of designing statistical surveys. SDL comprises four diagrammatic notations: survey diagrams, survey data diagrams, survey analysis diagrams and survey process diagrams. A proof of concept environment supporting SDL is also presented, together with a cognitive dimensions evaluation of that environment and a cognitive walkthrough evaluation with a target end user - a professional statistician. These demonstrate the utility of SDL and lead us to propose development of a more comprehensive environment supporting the entire statistical survey process.","PeriodicalId":241986,"journal":{"name":"2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128353901","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
What you see is what you code: a radically dynamic algorithm visualization development model for novice learners 你所看到的就是你所编写的代码:一个为初学者提供的动态算法可视化开发模型
C. Hundhausen, J. Brown
{"title":"What you see is what you code: a radically dynamic algorithm visualization development model for novice learners","authors":"C. Hundhausen, J. Brown","doi":"10.1109/VLHCC.2005.72","DOIUrl":"https://doi.org/10.1109/VLHCC.2005.72","url":null,"abstract":"Pedagogical algorithm visualization systems produce graphical representations that aim to assist learners in understanding the dynamic behavior of computer algorithms. In order to foster active learning, educators have explored algorithm visualization systems that empower learners to construct their own visualizations of algorithms under study. Notably, these systems support a similar development model in which coding the algorithm is temporally distinct from viewing and interacting with the resulting visualization. To explore the benefits of narrowing the gap between coding an algorithm and viewing its visualization, we have implemented \"What You See Is What You Code\", a novel, \"radically dynamic\" development model to facilitate learner-constructed algorithm visualizations. In this model, the line of algorithm code currently being edited is reevaluated on every edit, leading to the dynamic update of an accompanying visualization of the algorithm. Analysis of usability studies involving introductory computer science students suggests that the immediacy of the model's feedback can help novices to quickly identify and correct programming errors, and ultimately to understand their code's execution.","PeriodicalId":241986,"journal":{"name":"2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127048150","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 32
Who, what, and how: a survey of informal and professional Web developers 谁,什么,以及如何:非正式和专业Web开发人员的调查
M. Rosson, Julie F. Ballin, J. Rode
{"title":"Who, what, and how: a survey of informal and professional Web developers","authors":"M. Rosson, Julie F. Ballin, J. Rode","doi":"10.1109/VLHCC.2005.73","DOIUrl":"https://doi.org/10.1109/VLHCC.2005.73","url":null,"abstract":"We describe a survey of Web developers in which we collected over 300 responses from individuals with widely varying levels of experience and training. This survey continues our studies of informal Web developers, loosely defined as those who develop Web sites but have not been trained as programmers. They are a growing segment of end user programmers, but very little is known about them, and this survey was aimed at helping to characterize this population. In this paper we report on survey questions probing Web development projects, tool use, development process, reuse, and learning and collaboration. Throughout the discussion we compare the responses of developers who self-identify as programmers with those who do not. We use these comparisons as a basis for discussion of tools that might assist nonprogrammers in Web development.","PeriodicalId":241986,"journal":{"name":"2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)","volume":"135 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124188355","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 79
JOpera: an agile environment for Web service composition with visual unit testing and refactoring JOpera:一个灵活的Web服务组合环境,支持可视化单元测试和重构
C. Pautasso
{"title":"JOpera: an agile environment for Web service composition with visual unit testing and refactoring","authors":"C. Pautasso","doi":"10.1109/VLHCC.2005.48","DOIUrl":"https://doi.org/10.1109/VLHCC.2005.48","url":null,"abstract":"Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments support this approach by providing tools that automate most of the work required to effectively deal with change, including unit testing and different forms of refactoring. In this paper we discuss how to apply such techniques within the JOpera Visual Composition Language. More precisely, we show how we used the visual language to implement a regression testing framework for compositions written in the language itself and how we introduced support in the visual environment for refactorings such as renaming, synchronization of service interface changes, and extraction/inlining across different levels of nesting. This is done in the context of the Web service composition tools provided with the JOpera for Eclipse research platform.","PeriodicalId":241986,"journal":{"name":"2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130254844","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 30
Kedama: a GUI-based interactive massively parallel particle programming system 一个基于gui的交互式大规模并行粒子编程系统
Y. Ohshima
{"title":"Kedama: a GUI-based interactive massively parallel particle programming system","authors":"Y. Ohshima","doi":"10.1109/VLHCC.2005.49","DOIUrl":"https://doi.org/10.1109/VLHCC.2005.49","url":null,"abstract":"Decentralized and complex systems can be powerful tools for modeling concepts in mathematics, science and engineering. Star Logo and NetLogo were the first systems to allow middle and high school children to build dynamic models from many thousands of programmable particles. This has inspired Kedama: an authoring system that simplifies the scripting and construction of massively parallel models to allow more students to join in this new rich environment. This has given rise to new user interface and programming language designs. Kedama has the following notable features: 1) scripts in Kedama can be written in a graphical tile scripting interface. Its users are alleviated from syntax errors, and all program elements are visually presented to the user. 2) Kedama is an extension of Squeak eToys: children who have learned to \"script in the large\" can use same techniques to \"script in the small\" with many thousands of objects. 3) The semantics and syntax are simplified but retain full power of expression. 4) The ill in Kedama is dynamic: scripts and other properties in Kedama can be dynamically modified while scripts are kept running. 5) Kedama is more portable, being able to run on more than two dozen types of platforms, including the most used around the world. 6) Kedama is fast. Various simulations typically run about 3 times faster than previous systems. This improvement made it possible to write different classes of examples.","PeriodicalId":241986,"journal":{"name":"2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122074324","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
An experimental study into the default reading of constraint diagrams 约束图默认读取的实验研究
A. Fish, J. Masthoff
{"title":"An experimental study into the default reading of constraint diagrams","authors":"A. Fish, J. Masthoff","doi":"10.1109/VLHCC.2005.17","DOIUrl":"https://doi.org/10.1109/VLHCC.2005.17","url":null,"abstract":"Constraint diagrams (Kent, 1997) are a complex diagrammatic notation designed to express logical statements especially for use in software specification and reasoning. Not surprisingly, since this is an expressive language, there are some difficulties in reading the semantics of a diagram unambiguously. Some extra annotations (in the form of a reading tree) disambiguate the diagrams. However, this extra requirement (of drawing a reading tree) places a burden on the user. An attempt to remove the need for such a reading tree (or perhaps to automatically generate a reading tree, which could be altered by a user if they wished to) has been given via an algorithm to generate a default reading from the diagram. This algorithm is based on a number of principles - most of which are properties of the diagram. We wish to know whether these principles are intuitive and whether the default reading reflects a good proportion of users' intuitions, and we have performed a user-based study to test this.","PeriodicalId":241986,"journal":{"name":"2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2005-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116667901","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信