Xiaoqin Zeng, Yufeng Liu, Zhan Shi, Yingfeng Wang, Yang Zou, Jun Kong, Kang Zhang
As a useful formal tool, graph grammar provides a rigorous but intuitive way for defining graphical languages and analyzing graphs. This paper presents a new context-sensitive graph grammar formalism called Edge-based Graph Grammar or EGG, in which a new methodology is proposed to tackle issues, such as the embedding problem, the membership problem and the parsing algorithm. It presents the formal definitions of EGG and its language with a proof of its decidability. Then, a new parsing algorithm with an analyses of its computational complexity is given for checking the structural correctness or validity of a given host graph. The paper finally describes the development of an EGG support system with friendly GUI. Keywords-component; graph grammar; graphical language; embedding problem; parsing; production rule
{"title":"Edge-based graph grammar: theory and support system","authors":"Xiaoqin Zeng, Yufeng Liu, Zhan Shi, Yingfeng Wang, Yang Zou, Jun Kong, Kang Zhang","doi":"10.18293/VLSS2018-028","DOIUrl":"https://doi.org/10.18293/VLSS2018-028","url":null,"abstract":"As a useful formal tool, graph grammar provides a rigorous but intuitive way for defining graphical languages and analyzing graphs. This paper presents a new context-sensitive graph grammar formalism called Edge-based Graph Grammar or EGG, in which a new methodology is proposed to tackle issues, such as the embedding problem, the membership problem and the parsing algorithm. It presents the formal definitions of EGG and its language with a proof of its decidability. Then, a new parsing algorithm with an analyses of its computational complexity is given for checking the structural correctness or validity of a given host graph. The paper finally describes the development of an EGG support system with friendly GUI. Keywords-component; graph grammar; graphical language; embedding problem; parsing; production rule","PeriodicalId":174803,"journal":{"name":"Journal of Visual Languages and Sentient Systems","volume":"141 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127323967","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":"Research Notes: A Logic User-Based Algorithm to Improve Node Distribution in Wireless Sensor Network","authors":"W. Balzano, Silvia Stranieri","doi":"10.18293/VLSS2018-031","DOIUrl":"https://doi.org/10.18293/VLSS2018-031","url":null,"abstract":"","PeriodicalId":174803,"journal":{"name":"Journal of Visual Languages and Sentient Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131293272","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}
In this paper we describe an experimental TDR system with continuous data input from devices such as smart phones and sensors such as brain wave headsets. We developed event-based data input, modeling and analysis techniques in order to analyze input data and track progress of meditation. Initial experimental results indicate that this approach is quite promising.
{"title":"Event-Based Data Input, Modeling and Analysis for Meditation Tracking using TDR System","authors":"Cuiling Chen, Wei Guo, Nannan Wen, Shiyu Chang","doi":"10.18293/SEKE2018-005","DOIUrl":"https://doi.org/10.18293/SEKE2018-005","url":null,"abstract":"In this paper we describe an experimental TDR system with continuous data input from devices such as smart phones and sensors such as brain wave headsets. We developed event-based data input, modeling and analysis techniques in order to analyze input data and track progress of meditation. Initial experimental results indicate that this approach is quite promising.","PeriodicalId":174803,"journal":{"name":"Journal of Visual Languages and Sentient Systems","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131878400","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}
Mattia De Rosa, A. Fish, V. Fuccella, Rafiq Saleh, Sarah Swartwood, G. Costagliola
Knots occur in many areas of science and art. The mathematical field of Knot Theory studies an idealised form of knots by viewing them as closed loops in 3-space. They can be formally studied via knot drawings which are well-behaved projections of the knot onto the 2-D plane. Equivalence of knots in 3-space (ambient isotopy) can be encapsulated via sequences of diagram rewriting rules, called Reidemeister moves, but finding such sequences demonstrating isotopy of two knots can be immensely challenging. Whilst there are some sophisticated tools available for some knot theoretic tasks, there is limited (free) tool support for certain knot creation and interaction tasks, which could be useful for lecturers and students within University courses. We present KnotSketch, a tool with multiple functionalities including the ability to: (i) read off a form of Gauss code for a user sketched diagram; (ii) generate a diagram from such a code; (iii) regenerate a knot diagram via a different projection, thereby producing examples of equivalent knot diagrams that may look very different; (iv) interaction capabilities to quickly alter the knot via crossing changes and smooth the curves of the sketched diagram; (v) export facilities to generate svg images of the constructed knots. We evaluate KnotSketch via a case study demonstrating examples of intended usage within an educational setting. Furthermore, we performing a preliminary user study to evaluate the general usability of the tool.
{"title":"A toolkit for knot diagram sketching, encoding and re-generation","authors":"Mattia De Rosa, A. Fish, V. Fuccella, Rafiq Saleh, Sarah Swartwood, G. Costagliola","doi":"10.18293/DMS2016-035","DOIUrl":"https://doi.org/10.18293/DMS2016-035","url":null,"abstract":"Knots occur in many areas of science and art. The mathematical field of Knot Theory studies an idealised form of knots by viewing them as closed loops in 3-space. They can be formally studied via knot drawings which are well-behaved projections of the knot onto the 2-D plane. Equivalence of knots in 3-space (ambient isotopy) can be encapsulated via sequences of diagram rewriting rules, called Reidemeister moves, but finding such sequences demonstrating isotopy of two knots can be immensely challenging. Whilst there are some sophisticated tools available for some knot theoretic tasks, there is limited (free) tool support for certain knot creation and interaction tasks, which could be useful for lecturers and students within University courses. We present KnotSketch, a tool with multiple functionalities including the ability to: (i) read off a form of Gauss code for a user sketched diagram; (ii) generate a diagram from such a code; (iii) regenerate a knot diagram via a different projection, thereby producing examples of equivalent knot diagrams that may look very different; (iv) interaction capabilities to quickly alter the knot via crossing changes and smooth the curves of the sketched diagram; (v) export facilities to generate svg images of the constructed knots. We evaluate KnotSketch via a case study demonstrating examples of intended usage within an educational setting. Furthermore, we performing a preliminary user study to evaluate the general usability of the tool.","PeriodicalId":174803,"journal":{"name":"Journal of Visual Languages and Sentient Systems","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116286143","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}
V. D. Fatto, V. Deufemia, L. Paolino, Sara Tumiati
Nowadays, most of tools for spatial data manipulation allow to edit information on maps without performing any integrity verification. On the other hand, data repositories such as the DBMS only permit few constraints to be defined by means of their Data Definition Languages and leave programmers to implement procedures for complex constraints. In this work we present the WiSPY system, a plugin of the GIS tool uDig for visually specifying and verifying complex spatial integrity constraints. WiSPY includes a visual environment for defining spatial data models with integrity constraints and for automatically generating the constraint checker. The latter is used by the WiSPY tool to verify the integrity of the data produced during the map editing process. The system has been validated on a real case study concerning the current regulation of the Public Illumination Plan (PIP) managed by an Italian municipality.
{"title":"WiSPY: A Tool for Visual Specification and Verification of Spatial Integrity Constraints","authors":"V. D. Fatto, V. Deufemia, L. Paolino, Sara Tumiati","doi":"10.18293/VLSS2015-018","DOIUrl":"https://doi.org/10.18293/VLSS2015-018","url":null,"abstract":"Nowadays, most of tools for spatial data manipulation allow to edit information on maps without performing any integrity verification. On the other hand, data repositories such as the DBMS only permit few constraints to be defined by means of their Data Definition Languages and leave programmers to implement procedures for complex constraints. In this work we present the WiSPY system, a plugin of the GIS tool uDig for visually specifying and verifying complex spatial integrity constraints. WiSPY includes a visual environment for defining spatial data models with integrity constraints and for automatically generating the constraint checker. The latter is used by the WiSPY tool to verify the integrity of the data produced during the map editing process. The system has been validated on a real case study concerning the current regulation of the Public Illumination Plan (PIP) managed by an Italian municipality.","PeriodicalId":174803,"journal":{"name":"Journal of Visual Languages and Sentient Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130891984","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}
In this paper we present a framework for the fast prototyping of visual languages exploiting their local context based specification. In previous research, the local context specification has been used as a weak form of syntactic specification to define when visual sentences are well formed. In this paper we add new features to the local context specification in order to fully specify complex visual languages such as entity-relationships, use case and class diagrams. One of the advantages of this technique is its simplicity of application and, to show this, we present a tool implementing our framework. Moreover, we describe a user study aimed at evaluating the satisfaction and effectiveness of users when prototyping a visual language.
{"title":"Fast prototyping of visual languages using local context-based specifications","authors":"G. Costagliola, Mattia De Rosa, V. Fuccella","doi":"10.18293/VLSS2015-050","DOIUrl":"https://doi.org/10.18293/VLSS2015-050","url":null,"abstract":"In this paper we present a framework for the fast prototyping of visual languages exploiting their local context based specification. In previous research, the local context specification has been used as a weak form of syntactic specification to define when visual sentences are well formed. In this paper we add new features to the local context specification in order to fully specify complex visual languages such as entity-relationships, use case and class diagrams. One of the advantages of this technique is its simplicity of application and, to show this, we present a tool implementing our framework. Moreover, we describe a user study aimed at evaluating the satisfaction and effectiveness of users when prototyping a visual language.","PeriodicalId":174803,"journal":{"name":"Journal of Visual Languages and Sentient Systems","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128919541","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：