{"title":"结合形式化方法和可视化技术分析数据流图","authors":"Haocheng Zhang, Wei Liu, Hao Xiong, Xiaoju Dong","doi":"10.1016/j.jvlc.2018.08.001","DOIUrl":null,"url":null,"abstract":"<div><p><span>Data flow diagram (DFD) is an indispensable method to model data processing in software engineering. To analyze DFD rigorously, a </span>formal semantics is demanded. Formal interpretation of DFD and its formal semantics lead to an accurate and non-ambiguous analysis. Calculus of Communicating System (CCS), a formal approach in concurrent system modeling, could be utilized to describe DFD. Given its CCS description, automation tools generate the state space of the system depicted by DFD, which reflects all the behaviors of the system. However, analyzing the state space only with character expressions is hard for software developers. In this paper, a visual system is introduced to assist developers to analyze and compare the systems by combination of formal methods and visualization techniques.</p></div>","PeriodicalId":54754,"journal":{"name":"Journal of Visual Languages and Computing","volume":"48 ","pages":"Pages 41-51"},"PeriodicalIF":0.0000,"publicationDate":"2018-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.jvlc.2018.08.001","citationCount":"5","resultStr":"{\"title\":\"Analyzing data flow diagrams by combination of formal methods and visualization techniques\",\"authors\":\"Haocheng Zhang, Wei Liu, Hao Xiong, Xiaoju Dong\",\"doi\":\"10.1016/j.jvlc.2018.08.001\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p><span>Data flow diagram (DFD) is an indispensable method to model data processing in software engineering. To analyze DFD rigorously, a </span>formal semantics is demanded. Formal interpretation of DFD and its formal semantics lead to an accurate and non-ambiguous analysis. Calculus of Communicating System (CCS), a formal approach in concurrent system modeling, could be utilized to describe DFD. Given its CCS description, automation tools generate the state space of the system depicted by DFD, which reflects all the behaviors of the system. However, analyzing the state space only with character expressions is hard for software developers. In this paper, a visual system is introduced to assist developers to analyze and compare the systems by combination of formal methods and visualization techniques.</p></div>\",\"PeriodicalId\":54754,\"journal\":{\"name\":\"Journal of Visual Languages and Computing\",\"volume\":\"48 \",\"pages\":\"Pages 41-51\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/j.jvlc.2018.08.001\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Visual Languages and Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S1045926X1830123X\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"Computer Science\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Visual Languages and Computing","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1045926X1830123X","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"Computer Science","Score":null,"Total":0}
Analyzing data flow diagrams by combination of formal methods and visualization techniques
Data flow diagram (DFD) is an indispensable method to model data processing in software engineering. To analyze DFD rigorously, a formal semantics is demanded. Formal interpretation of DFD and its formal semantics lead to an accurate and non-ambiguous analysis. Calculus of Communicating System (CCS), a formal approach in concurrent system modeling, could be utilized to describe DFD. Given its CCS description, automation tools generate the state space of the system depicted by DFD, which reflects all the behaviors of the system. However, analyzing the state space only with character expressions is hard for software developers. In this paper, a visual system is introduced to assist developers to analyze and compare the systems by combination of formal methods and visualization techniques.
期刊介绍：
The Journal of Visual Languages and Computing is a forum for researchers, practitioners, and developers to exchange ideas and results for the advancement of visual languages and its implication to the art of computing. The journal publishes research papers, state-of-the-art surveys, and review articles in all aspects of visual languages.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
