C. Crimi, A. Guercio, G. Nota, G. Pacini, G. Tortora, M. Tucci
{"title":"Relation grammars for modelling multi-dimensional structures","authors":"C. Crimi, A. Guercio, G. Nota, G. Pacini, G. Tortora, M. Tucci","doi":"10.1109/WVL.1990.128400","DOIUrl":"https://doi.org/10.1109/WVL.1990.128400","url":null,"abstract":"Relation grammars (RGs) are introduced as a possible general framework for specifying the syntax of visual languages and, more generally, of multi-dimensional languages. A formal definition of relation grammars is given. Two examples of applications on graphs are shown. RG formalism is compared to conventional context-free grammars. RGs are used to describe the syntax of horizontal lines and statechart graphs using picture processing grammars and picture layout grammars, respectively.<<ETX>>","PeriodicalId":256667,"journal":{"name":"Proceedings of the 1990 IEEE Workshop on Visual Languages","volume":"194 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133833114","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}
{"title":"viz: a visual language based on functions","authors":"C. Holt","doi":"10.1109/WVL.1990.128410","DOIUrl":"https://doi.org/10.1109/WVL.1990.128410","url":null,"abstract":"The foundations for a visual language called viz are outlined. Some conventions are introduced that are intended to allow a straightforward representation of a functional semantics, while being general enough to be extendible to more general semantic models. The concept of environment is considered, and operations on that environment are interpreted as propositions. State transformers are introduced, permitting the definition of assignments and interprocess communication.<<ETX>>","PeriodicalId":256667,"journal":{"name":"Proceedings of the 1990 IEEE Workshop on Visual Languages","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124581146","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}
{"title":"Towards a theory of progressive operators for live visual programming environments","authors":"S. Tanimoto","doi":"10.1109/WVL.1990.128386","DOIUrl":"https://doi.org/10.1109/WVL.1990.128386","url":null,"abstract":"Operators that, over time, produce successive approximations to the correct output are called progressive operators. These operators, and measures for evaluating them, are defined. Desirable properties for progressive operators are identified. Methods for their design are suggested. Examples of progressive operators for image processing are presented.<<ETX>>","PeriodicalId":256667,"journal":{"name":"Proceedings of the 1990 IEEE Workshop on Visual Languages","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116459895","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}
{"title":"A universal language system for visual programming","authors":"M. Hirakawa, Makoto Yoshimi, T. Ichikawa","doi":"10.1109/WVL.1990.128398","DOIUrl":"https://doi.org/10.1109/WVL.1990.128398","url":null,"abstract":"A universal language system for visual programming is presented. Any specific visual programming system can easily be constructed using the system. The system is based on previous studies of VPS/VPSM, and is extended by providing a unified, object-oriented model of visual elements management and support tools which enable the system designer to construct visual programming systems more easily.<<ETX>>","PeriodicalId":256667,"journal":{"name":"Proceedings of the 1990 IEEE Workshop on Visual Languages","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114686507","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}
{"title":"Panel on hypertext systems","authors":"P. D. Stotts","doi":"10.1109/WVL.1990.128384","DOIUrl":"https://doi.org/10.1109/WVL.1990.128384","url":null,"abstract":"A panel on hypertext systems that discussed the aspects of current hypertext models and systems germane to visual programming is described. Graph grammars, Trellis, and STP and gIBIS are discussed.<<ETX>>","PeriodicalId":256667,"journal":{"name":"Proceedings of the 1990 IEEE Workshop on Visual Languages","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125955252","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}
{"title":"DR parsers: a generalization of LR parsers","authors":"G. Costagliola, Shi-Kuo Chang","doi":"10.1109/WVL.1990.128401","DOIUrl":"https://doi.org/10.1109/WVL.1990.128401","url":null,"abstract":"A method is presented to construct a parser for a visual language whose specification can be done by a context-free grammar. The main idea is to allow a traditional LR parser to choose the next symbol to parse from a two-dimensional space. The positional grammar is defined, and some examples are given. The DR parser, along with the parsing algorithm and examples, is presented ('D' stands for driven scanning of the input, and 'R' for rightmost derivation in reverse.) The construction of DR(0) items and simple DR parsing tables are shown. Considerations of ambiguity are given, along with the construction of a simple DR parser for the arithmetic expression grammar. The results of a practical implementation using the Yacc tool are given.<<ETX>>","PeriodicalId":256667,"journal":{"name":"Proceedings of the 1990 IEEE Workshop on Visual Languages","volume":"165 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123770200","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}
L. Cinque, M. Costabile, S. Levialdi, M. Missikoff
{"title":"Towards a formal specification methodology for iconic interface design","authors":"L. Cinque, M. Costabile, S. Levialdi, M. Missikoff","doi":"10.1109/WVL.1990.128397","DOIUrl":"https://doi.org/10.1109/WVL.1990.128397","url":null,"abstract":"A formal methodology to guide the designer in the production of iconic user interfaces is presented. One of the major issues of the proposed methodology is the possibility of separating the overall interface project from the design of the individual screen presentations, keeping both within a single framework. Another issue of the methodology concerns the choice of the abstraction level allowing the designer to concentrate on the main aspects of the interface, deferring the implementation details. The approach presented is based on state-transition diagrams which provide a sound theoretical basis to the methodology. The characteristics of the iconic interfaces are illustrated. The methodology for designing an iconic interface is presented. An application to the design of the interface of a knowledge-based system is given. The effectiveness of the presented approach is demonstrated.<<ETX>>","PeriodicalId":256667,"journal":{"name":"Proceedings of the 1990 IEEE Workshop on Visual Languages","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116589530","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}
{"title":"A syntax and semantics for network diagrams","authors":"J. Marks","doi":"10.1109/WVL.1990.128390","DOIUrl":"https://doi.org/10.1109/WVL.1990.128390","url":null,"abstract":"Research concerning the automated design of network diagrams is reported. A formulation of syntax and semantics for network diagrams that is used in the Automated Network Diagram Designer (ANDD) system is presented. The syntactic formulation differs from previous work in two significant ways: perceptual-organization phenomena are explicitly represented, and syntax is described in terms of constraints rather than as a grammar of term-rewriting rules. The semantic formulation is based on an application-independent model of network systems that can be used to model many applications. Examples that show how these concepts are used by ANDD to automatically design network diagrams are included.<<ETX>>","PeriodicalId":256667,"journal":{"name":"Proceedings of the 1990 IEEE Workshop on Visual Languages","volume":"238 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132533543","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}
{"title":"Visual programming in a computer animation environment","authors":"F. Reeth, E. Flerackers","doi":"10.1109/WVL.1990.128405","DOIUrl":"https://doi.org/10.1109/WVL.1990.128405","url":null,"abstract":"The application of visual programming techniques in a computer animation environment is described. By combining the possibilities of an interactive animator-oriented user interface, a unified and integrated curve paradigm, and visual language constructs, a system in which the utilization of graphics brings programming capabilities to nonprogramming animators is obtained. An integrated curve paradigm that can produce sophisticated animations is discussed. Examples are given.<<ETX>>","PeriodicalId":256667,"journal":{"name":"Proceedings of the 1990 IEEE Workshop on Visual Languages","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130301613","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}
{"title":"A declarative formalism for specifying graphical layout","authors":"V. Haarslev, Ralf Möller","doi":"10.1109/WVL.1990.128382","DOIUrl":"https://doi.org/10.1109/WVL.1990.128382","url":null,"abstract":"An approach to specifying graphical layouts of arbitrary objects, based on a T/sub E/X-like notation, is described. The simplest scheme offers specifications similar to T/sub E/X's box-and-glue metaphor. Size and position of boxes and glue can be specified by constraints. Advantages of this T/sub E/X-like formalism are its expressiveness, user-predictable layouts, and efficient implementation schemes for the underlying layout algorithms. This forms-oriented scheme is extended and generalized for specifying advanced graphical user interfaces (e.g. CLOS class browser).<<ETX>>","PeriodicalId":256667,"journal":{"name":"Proceedings of the 1990 IEEE Workshop on Visual Languages","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117133656","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}