首页 > 最新文献

Proceedings 1996 IEEE Symposium on Visual Languages最新文献

英文 中文
Metacognitive theories of visual programming: what do we think we are doing? 视觉编程的元认知理论:我们认为自己在做什么?
Pub Date : 1996-09-03 DOI: 10.1109/VL.1996.545293
A. Blackwell
The research involved a qualitative and quantitative study of statements made by computer scientists about the ways in which they think that visual programming assists the thought processes of the programmer. This type of metacognitive knowledge has been shown in psychological experiments to have significant effects on performance in cognitive tasks. It is particularly important in the design of programming environments, where HCI factors of the environment constrain the programmer's design behaviour according to the beliefs of the environment designer. The metacognitive knowledge expressed in the visual programming literature is categorised in the paper into a range of micro-theories, the frequency of statements found in each category are compared, and the theoretical assumptions are evaluated in terms of relevant research in cognitive psychology.
这项研究包括对计算机科学家所做的陈述进行定性和定量研究,这些陈述是关于他们认为可视化编程有助于程序员思维过程的方式。这种类型的元认知知识在心理学实验中已经被证明对认知任务的表现有显著的影响。这在编程环境的设计中尤为重要,因为环境中的HCI因素会根据环境设计师的信念约束程序员的设计行为。本文将视觉编程文献中表达的元认知知识分类为一系列微观理论,比较了每个类别中陈述的频率,并根据认知心理学的相关研究对理论假设进行了评估。
{"title":"Metacognitive theories of visual programming: what do we think we are doing?","authors":"A. Blackwell","doi":"10.1109/VL.1996.545293","DOIUrl":"https://doi.org/10.1109/VL.1996.545293","url":null,"abstract":"The research involved a qualitative and quantitative study of statements made by computer scientists about the ways in which they think that visual programming assists the thought processes of the programmer. This type of metacognitive knowledge has been shown in psychological experiments to have significant effects on performance in cognitive tasks. It is particularly important in the design of programming environments, where HCI factors of the environment constrain the programmer's design behaviour according to the beliefs of the environment designer. The metacognitive knowledge expressed in the visual programming literature is categorised in the paper into a range of micro-theories, the frequency of statements found in each category are compared, and the theoretical assumptions are evaluated in terms of relevant research in cognitive psychology.","PeriodicalId":340993,"journal":{"name":"Proceedings 1996 IEEE Symposium on Visual Languages","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115661873","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}
引用次数: 96
Visual modeling and 3D-representation with a complete visual programming language-a case study in manufacturing 可视化建模和3d表示与一个完整的可视化编程语言-在制造业的一个案例研究
Pub Date : 1996-09-03 DOI: 10.1109/VL.1996.545302
C. Geiger, R. Hunstock, G. Lehrenfeld, Wolfgang Müller, J. Quintanilla, C. Tahedl, A. Weber
The main goal of the article is to evaluate the suitability of visual programming languages, i.e., Pictorial Janus (K. Kahn and V. Saraswat, 1990), for the modeling of complex systems and their control strategies. These systems can be seen as networks of communicating objects. Objects select strategies for suitable actions based on incoming messages. Our field of investigation is in computer integrated manufacturing considering the example of a car manufacturing cell. This color sorting assembly buffer (CSAB) schedules jobs in queues. The jobs represent car bodies scheduled in feeder lines for the enameling. Feeder lines collect raw bodies to blocks. Blocks are bodies which are to be enameled by the same color. This organization decreases the cost of expensive change-over-times when changing colors at the enamelling. Blocks of bodies are dislocated from the queue and enameled successively. Contradictory system goals, such as minimizing color changes and preserving the sequence of incoming jobs, have to be regarded by appropriate control strategies. Due to the complexity of this (NP complete) problem and to real time requirements for online control there are no optimal strategies on hand. Consequently, suitable heuristics have to be developed. Often they are designed applying a trial-and-error method. A modeling framework has to support the rapid prototyping of these systems as well as an expressive end user oriented representation. Both are essential requirements since end users need other visualization techniques than experienced designers due to their different knowledge and interests.
本文的主要目标是评估可视化编程语言的适用性,例如,Pictorial Janus (K. Kahn和V. Saraswat, 1990),用于复杂系统及其控制策略的建模。这些系统可以被看作是通信对象的网络。对象根据传入消息选择合适的操作策略。我们的研究领域是计算机集成制造,以汽车制造单元为例。这个颜色排序程序集缓冲区(CSAB)调度队列中的作业。这些工作代表了预定在馈线上进行搪瓷的车身。馈线收集原始体块。砌块是用相同颜色搪瓷的物体。这种组织减少了在珐琅上更换颜色时昂贵的随时间更换的成本。体块从队列中脱臼并依次上釉。相互矛盾的系统目标,如最小化颜色变化和保持传入作业的顺序,必须通过适当的控制策略加以考虑。由于NP完全问题的复杂性和在线控制的实时性要求,目前还没有最优策略。因此,必须开发合适的启发式方法。它们通常是采用试错法设计的。建模框架必须支持这些系统的快速原型设计以及面向最终用户的表达。两者都是必要的要求,因为最终用户需要其他的可视化技术,而不是经验丰富的设计师,因为他们的知识和兴趣不同。
{"title":"Visual modeling and 3D-representation with a complete visual programming language-a case study in manufacturing","authors":"C. Geiger, R. Hunstock, G. Lehrenfeld, Wolfgang Müller, J. Quintanilla, C. Tahedl, A. Weber","doi":"10.1109/VL.1996.545302","DOIUrl":"https://doi.org/10.1109/VL.1996.545302","url":null,"abstract":"The main goal of the article is to evaluate the suitability of visual programming languages, i.e., Pictorial Janus (K. Kahn and V. Saraswat, 1990), for the modeling of complex systems and their control strategies. These systems can be seen as networks of communicating objects. Objects select strategies for suitable actions based on incoming messages. Our field of investigation is in computer integrated manufacturing considering the example of a car manufacturing cell. This color sorting assembly buffer (CSAB) schedules jobs in queues. The jobs represent car bodies scheduled in feeder lines for the enameling. Feeder lines collect raw bodies to blocks. Blocks are bodies which are to be enameled by the same color. This organization decreases the cost of expensive change-over-times when changing colors at the enamelling. Blocks of bodies are dislocated from the queue and enameled successively. Contradictory system goals, such as minimizing color changes and preserving the sequence of incoming jobs, have to be regarded by appropriate control strategies. Due to the complexity of this (NP complete) problem and to real time requirements for online control there are no optimal strategies on hand. Consequently, suitable heuristics have to be developed. Often they are designed applying a trial-and-error method. A modeling framework has to support the rapid prototyping of these systems as well as an expressive end user oriented representation. Both are essential requirements since end users need other visualization techniques than experienced designers due to their different knowledge and interests.","PeriodicalId":340993,"journal":{"name":"Proceedings 1996 IEEE Symposium on Visual Languages","volume":"87 21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131197151","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
Obtaining visual continuations with Visualcode 使用Visualcode获得可视化的延续
Pub Date : 1996-09-03 DOI: 10.1109/VL.1996.545268
S. Tung
This paper briefly describes Visualcode and its use in the design of the RainbowScheme program visualization system. RainbowScheme represents Scheme continuations using a combination of text, colors, icons and tree-structured environments. "Visual continuations" greatly facilitate the understanding of the run-time behaviors of Scheme programs.
本文简要介绍了Visualcode及其在RainbowScheme程序可视化系统设计中的应用。RainbowScheme使用文本、颜色、图标和树状结构环境的组合来表示Scheme的延续。“可视化延续”极大地促进了对Scheme程序运行时行为的理解。
{"title":"Obtaining visual continuations with Visualcode","authors":"S. Tung","doi":"10.1109/VL.1996.545268","DOIUrl":"https://doi.org/10.1109/VL.1996.545268","url":null,"abstract":"This paper briefly describes Visualcode and its use in the design of the RainbowScheme program visualization system. RainbowScheme represents Scheme continuations using a combination of text, colors, icons and tree-structured environments. \"Visual continuations\" greatly facilitate the understanding of the run-time behaviors of Scheme programs.","PeriodicalId":340993,"journal":{"name":"Proceedings 1996 IEEE Symposium on Visual Languages","volume":"254 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115756741","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}
引用次数: 0
Design benchmarks for VPL static representations VPL静态表示的设计基准
Pub Date : 1996-09-03 DOI: 10.1109/VL.1996.545296
Sherry Yang, Elyon Dekoven, Moshé M. Zloof
A weakness of many interactive visual programming languages (VPLs) is their static representations. Lack of an adequate static representation places a heavy cognitive burden on a VPL's programmers, because they must remember potentially long dynamic sequences of screen displays in order to understand a previously-written program. Building upon the cognitive dimensions developed for programming languages by cognitive psychologists Green and others, the authors have developed a set of concrete benchmarks for VPL designers to use when designing new static representations. These benchmarks provide design-time information that can be used to improve a VPL's static representation.
许多交互式可视化编程语言(vpl)的一个弱点是它们的静态表示。缺乏足够的静态表示给VPL的程序员带来了沉重的认知负担,因为他们必须记住可能很长的屏幕显示动态序列,以便理解以前编写的程序。在认知心理学家Green和其他人为编程语言开发的认知维度的基础上,作者开发了一套具体的基准,供VPL设计者在设计新的静态表示时使用。这些基准测试提供了可用于改进VPL静态表示的设计时信息。
{"title":"Design benchmarks for VPL static representations","authors":"Sherry Yang, Elyon Dekoven, Moshé M. Zloof","doi":"10.1109/VL.1996.545296","DOIUrl":"https://doi.org/10.1109/VL.1996.545296","url":null,"abstract":"A weakness of many interactive visual programming languages (VPLs) is their static representations. Lack of an adequate static representation places a heavy cognitive burden on a VPL's programmers, because they must remember potentially long dynamic sequences of screen displays in order to understand a previously-written program. Building upon the cognitive dimensions developed for programming languages by cognitive psychologists Green and others, the authors have developed a set of concrete benchmarks for VPL designers to use when designing new static representations. These benchmarks provide design-time information that can be used to improve a VPL's static representation.","PeriodicalId":340993,"journal":{"name":"Proceedings 1996 IEEE Symposium on Visual Languages","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115822263","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}
引用次数: 2
On graph based interaction for semantic query languages 基于图的语义查询语言交互研究
Pub Date : 1996-09-03 DOI: 10.1109/VL.1996.545271
G. Santucci
In the last years, several proposals have been presented concerning graphical query languages working on diagrammatic representations of semantic data models. Such proposals are mainly based on two different user interaction modalities, i.e., to allow the user to specify either a path or a view on the database schema. In this paper we analyze these two strategies, showing that they are characterised by complementary advantages and disadvantages; then we present a new graphical query language combining the advantages of both the approaches.
在过去的几年中,已经提出了一些关于处理语义数据模型的图解表示的图形查询语言的建议。这些建议主要基于两种不同的用户交互方式,即允许用户指定数据库模式上的路径或视图。本文对这两种策略进行了分析,发现它们具有优势互补和劣势互补的特点;然后结合这两种方法的优点,提出了一种新的图形化查询语言。
{"title":"On graph based interaction for semantic query languages","authors":"G. Santucci","doi":"10.1109/VL.1996.545271","DOIUrl":"https://doi.org/10.1109/VL.1996.545271","url":null,"abstract":"In the last years, several proposals have been presented concerning graphical query languages working on diagrammatic representations of semantic data models. Such proposals are mainly based on two different user interaction modalities, i.e., to allow the user to specify either a path or a view on the database schema. In this paper we analyze these two strategies, showing that they are characterised by complementary advantages and disadvantages; then we present a new graphical query language combining the advantages of both the approaches.","PeriodicalId":340993,"journal":{"name":"Proceedings 1996 IEEE Symposium on Visual Languages","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120877688","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}
引用次数: 8
Enhancing iconic program reusability with object sharing 通过对象共享增强标志性程序的可重用性
Pub Date : 1996-09-03 DOI: 10.1109/VL.1996.545300
Y. Koike, Yasuyuki Maeda, Y. Koseki
The paper describes how to improve the reusability of iconic program modules. In iconic programming systems, the most important features for reuse are the customization of a module and combination of multiple modules without changing their definitions. In order to realize these features, we propose an object sharing technique, which allows components of multiple modules to represent the same object instance. Since a component in a module can be related to an object in another module, by adding a new function to an object in the latter module, the former module can be customized without changing its own definition. In addition, by relating a component to multiple objects in different modules, different functions defined in each module, can be combined easily. Finally, we show that the proposed technique realizes a useful software development style using templates, which will contribute to the improvement of the productivity.
本文介绍了如何提高图标程序模块的可重用性。在标志性的编程系统中,重用最重要的特性是在不改变定义的情况下定制模块和组合多个模块。为了实现这些特性,我们提出了一种对象共享技术,允许多个模块的组件表示相同的对象实例。由于模块中的组件可以与另一个模块中的对象相关,因此通过向后一个模块中的对象添加新函数,可以自定义前一个模块,而无需更改其自身的定义。此外,通过将一个组件关联到不同模块中的多个对象,每个模块中定义的不同功能可以很容易地组合起来。最后,我们证明了该技术利用模板实现了一种有用的软件开发风格,这将有助于提高生产力。
{"title":"Enhancing iconic program reusability with object sharing","authors":"Y. Koike, Yasuyuki Maeda, Y. Koseki","doi":"10.1109/VL.1996.545300","DOIUrl":"https://doi.org/10.1109/VL.1996.545300","url":null,"abstract":"The paper describes how to improve the reusability of iconic program modules. In iconic programming systems, the most important features for reuse are the customization of a module and combination of multiple modules without changing their definitions. In order to realize these features, we propose an object sharing technique, which allows components of multiple modules to represent the same object instance. Since a component in a module can be related to an object in another module, by adding a new function to an object in the latter module, the former module can be customized without changing its own definition. In addition, by relating a component to multiple objects in different modules, different functions defined in each module, can be combined easily. Finally, we show that the proposed technique realizes a useful software development style using templates, which will contribute to the improvement of the productivity.","PeriodicalId":340993,"journal":{"name":"Proceedings 1996 IEEE Symposium on Visual Languages","volume":"336 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123520405","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
VisiTile-a visual language development toolkit 一个可视化语言开发工具包
Pub Date : 1996-09-03 DOI: 10.1109/VL.1996.545277
David E. Lewicki, G. Fisher
This paper presents an overview of VisiTile-a toolkit for developing domain-oriented visual languages. The class of visual languages that can be constructed with VisiTile is briefly described, followed by examples of such languages. An overview of the VisiTile architecture is presented, including discussion of the major components and features of the toolkit. The VisiTile toolkit facilitates the specification and implementation of a hybrid class of visual languages that combine data-flow with grammar-based layout. A two-dimensional layout grammar is used to specify legal constructions of data-flow processors. The language specification is used as the basis for syntax-directed editing and interpretation of visual programs.
本文概述了visitil——一个用于开发面向领域的可视化语言的工具包。简要描述了可以用VisiTile构造的视觉语言类,然后是此类语言的示例。介绍了VisiTile体系结构的概述,包括对工具包的主要组件和特性的讨论。VisiTile工具包促进了可视化语言的混合类的规范和实现,这些语言将数据流与基于语法的布局结合起来。二维布局语法用于指定数据流处理器的合法结构。语言规范被用作可视化程序的语法导向编辑和解释的基础。
{"title":"VisiTile-a visual language development toolkit","authors":"David E. Lewicki, G. Fisher","doi":"10.1109/VL.1996.545277","DOIUrl":"https://doi.org/10.1109/VL.1996.545277","url":null,"abstract":"This paper presents an overview of VisiTile-a toolkit for developing domain-oriented visual languages. The class of visual languages that can be constructed with VisiTile is briefly described, followed by examples of such languages. An overview of the VisiTile architecture is presented, including discussion of the major components and features of the toolkit. The VisiTile toolkit facilitates the specification and implementation of a hybrid class of visual languages that combine data-flow with grammar-based layout. A two-dimensional layout grammar is used to specify legal constructions of data-flow processors. The language specification is used as the basis for syntax-directed editing and interpretation of visual programs.","PeriodicalId":340993,"journal":{"name":"Proceedings 1996 IEEE Symposium on Visual Languages","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127402301","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}
引用次数: 8
Teaching binary tree algorithms through visual programming 通过可视化编程教授二叉树算法
Pub Date : 1996-09-03 DOI: 10.1109/VL.1996.545265
Amir Michail
Shows how visual programming can be used to teach the subject of binary tree algorithms. In our approach, the student implements a binary tree algorithm by manipulating abstract tree fragments (not necessarily just single nodes) in a visual way. This paper contributes to visual programming research by combining elements of animation, programming and proof to produce an educational visual programming tool. In addition, we describe our experiences with Opsis, a system we built to demonstrate the ideas in this paper (Opsis is a Java applet and can be accessed at http://www.cs.washington.edu/homes/amir/Opsis.html). Finally, we make the claim that visual programming is an ideal way to teach data structure algorithms.
展示了如何使用可视化编程来教授二叉树算法的主题。在我们的方法中,学生通过以可视化的方式操作抽象树片段(不一定只是单个节点)来实现二叉树算法。本文结合动画、编程和证明的元素,制作了一个具有教育意义的可视化编程工具,为可视化编程研究做出了贡献。此外,我们还描述了我们使用Opsis的经验,我们构建了一个系统来演示本文中的思想(Opsis是一个Java applet,可以在http://www.cs.washington.edu/homes/amir/Opsis.html上访问)。最后,我们提出可视化编程是教授数据结构算法的理想方法。
{"title":"Teaching binary tree algorithms through visual programming","authors":"Amir Michail","doi":"10.1109/VL.1996.545265","DOIUrl":"https://doi.org/10.1109/VL.1996.545265","url":null,"abstract":"Shows how visual programming can be used to teach the subject of binary tree algorithms. In our approach, the student implements a binary tree algorithm by manipulating abstract tree fragments (not necessarily just single nodes) in a visual way. This paper contributes to visual programming research by combining elements of animation, programming and proof to produce an educational visual programming tool. In addition, we describe our experiences with Opsis, a system we built to demonstrate the ideas in this paper (Opsis is a Java applet and can be accessed at http://www.cs.washington.edu/homes/amir/Opsis.html). Finally, we make the claim that visual programming is an ideal way to teach data structure algorithms.","PeriodicalId":340993,"journal":{"name":"Proceedings 1996 IEEE Symposium on Visual Languages","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125903406","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}
引用次数: 23
Towards a hierarchy of visual languages 走向视觉语言的层次结构
Pub Date : 1996-09-03 DOI: 10.1109/VL.1996.545288
K. Marriott, Bernd Meyer
Formalisms for visual language specification have been investigated for more than two decades. However, there has been little attempt to develop a systematic and comprehensive hierarchy of visual languages based on formal properties. Given the importance of the Chomsky hierarchy in the theory of textual languages and the difficulty of comparing the different visual language formalisms, it is clear that there is a need for such a hierarchy. We develop a hierarchy for VLs and investigate the expressiveness and the cost of parsing for classes defined therein. Although the hierarchy is based on the constraint multiset grammar formalism, we sketch how other visual language specification formalisms can be mapped into constraint multiset grammars. One consequence of our work is that a large class of "naturally occurring" visual languages are inherently context-sensitive, so that the core of such a hierarchy has to be built around different forms of context-sensitivity.
可视化语言规范的形式化已经被研究了二十多年。然而,很少有人尝试建立一个基于形式属性的视觉语言的系统和全面的层次结构。考虑到乔姆斯基层次结构在文本语言理论中的重要性,以及比较不同视觉语言形式的困难,很明显,需要这样一个层次结构。我们为vl开发了一个层次结构,并研究了其中定义的类的表达性和解析成本。虽然层次结构是基于约束多集语法形式,但我们概述了如何将其他可视化语言规范形式映射到约束多集语法中。我们工作的一个结果是,一大类“自然发生”的视觉语言本质上是上下文敏感的,因此这种层次结构的核心必须围绕不同形式的上下文敏感来构建。
{"title":"Towards a hierarchy of visual languages","authors":"K. Marriott, Bernd Meyer","doi":"10.1109/VL.1996.545288","DOIUrl":"https://doi.org/10.1109/VL.1996.545288","url":null,"abstract":"Formalisms for visual language specification have been investigated for more than two decades. However, there has been little attempt to develop a systematic and comprehensive hierarchy of visual languages based on formal properties. Given the importance of the Chomsky hierarchy in the theory of textual languages and the difficulty of comparing the different visual language formalisms, it is clear that there is a need for such a hierarchy. We develop a hierarchy for VLs and investigate the expressiveness and the cost of parsing for classes defined therein. Although the hierarchy is based on the constraint multiset grammar formalism, we sketch how other visual language specification formalisms can be mapped into constraint multiset grammars. One consequence of our work is that a large class of \"naturally occurring\" visual languages are inherently context-sensitive, so that the core of such a hierarchy has to be built around different forms of context-sensitivity.","PeriodicalId":340993,"journal":{"name":"Proceedings 1996 IEEE Symposium on Visual Languages","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130672657","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}
引用次数: 24
Visualizing program execution 程序执行可视化
Pub Date : 1996-09-03 DOI: 10.1109/VL.1996.545264
B. Jayaraman, Charlotte M. Baltus
The motivation for this work stems from the lack of good visual tools for describing the execution of procedure-level constructs such as procedures, functions, coroutines, iterators, methods and processes. Our proposed solution to this problem is an extension of an old technique called the contour diagram, which was originally used to give semantics for Algol-like languages. Our extensions allow the contour diagram to be used for more modern languages, such as object-oriented languages, logic languages, etc. In this paper, we explain this extended notation, and its use in visualizing the execution of procedural, object-oriented and logic programs. The significance of this extension is that it can serve as a basis for program visualization tools.
这项工作的动机源于缺乏良好的可视化工具来描述过程级结构(如过程、函数、协同程序、迭代器、方法和过程)的执行。对于这个问题,我们提出的解决方案是对一种叫做等高线图的老技术的扩展,这种技术最初用于为类algol语言提供语义。我们的扩展允许等高线图用于更现代的语言,如面向对象语言、逻辑语言等。在本文中,我们解释了这种扩展符号,以及它在可视化过程、面向对象和逻辑程序执行中的应用。这个扩展的意义在于它可以作为程序可视化工具的基础。
{"title":"Visualizing program execution","authors":"B. Jayaraman, Charlotte M. Baltus","doi":"10.1109/VL.1996.545264","DOIUrl":"https://doi.org/10.1109/VL.1996.545264","url":null,"abstract":"The motivation for this work stems from the lack of good visual tools for describing the execution of procedure-level constructs such as procedures, functions, coroutines, iterators, methods and processes. Our proposed solution to this problem is an extension of an old technique called the contour diagram, which was originally used to give semantics for Algol-like languages. Our extensions allow the contour diagram to be used for more modern languages, such as object-oriented languages, logic languages, etc. In this paper, we explain this extended notation, and its use in visualizing the execution of procedural, object-oriented and logic programs. The significance of this extension is that it can serve as a basis for program visualization tools.","PeriodicalId":340993,"journal":{"name":"Proceedings 1996 IEEE Symposium on Visual Languages","volume":"251 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131944909","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}
引用次数: 13
期刊
Proceedings 1996 IEEE Symposium on Visual Languages
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1