期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
DFDVis:A Visual Analytics System for Understanding the Semantics of Data Flow Diagram
1
作者 Hao Xiong Haocheng Zhang +2 位作者 Xiaoju Dong Lingxi Meng Wenyang Zhao 《国际计算机前沿大会会议论文集》 2017年第1期164-166,共3页
Data flow diagram(DFD),as a special kind of data,is a design artifact in both requirement analysis and structured analysis in software development.However,rigorous analysis of DFD requires a formal semantics.Formal re... Data flow diagram(DFD),as a special kind of data,is a design artifact in both requirement analysis and structured analysis in software development.However,rigorous analysis of DFD requires a formal semantics.Formal representation of DFD and its formal semantics will help to reduce inconsistencies and confusion.The logical structure of DFD can be described using formalism of Calculus of Communicating System(CCS).With a finite number of states based on CCS,state space methods will help a lot in analysis and verification of the behavior of the systems.But the number of states of even a relatively small system is often very great that is called state explosion.In this paper,we present a visual system which combines Formal methods and visualization techniques so as to help the researchers to understand and analyze the system described by the DFD regardless of the problem of state explosion. 展开更多
关键词 Data flow diagram(DFD) calculus of communicATING systems(ccs) State space VISUALIZATION techniques
下载PDF
Complete Proof Systems for Amortised Probabilistic Bisimulations 被引量:1
2
作者 Li-Li Xu Hui-Min Lin 《Journal of Computer Science & Technology》 SCIE EI CSCD 2016年第2期300-316,共17页
The notion of amortisation has been integrated in quantitative bisimulations to make long-term behavioral comparisons between nondeterministic systems. In this paper, we present sound and complete proof systems for am... The notion of amortisation has been integrated in quantitative bisimulations to make long-term behavioral comparisons between nondeterministic systems. In this paper, we present sound and complete proof systems for amortised strong probabilistic bisimulation and its observational congruence on a process algebra with probability and nondeterminism, and prove their soundness and completeness. Our results make it possible to reason about long-term (observable) probabilistic behaviors by syntactic manipulations. 展开更多
关键词 AXIOMATIZATION probabilistic calculus for communication systems ccs probabilistic automata amortisedbisimulation
原文传递
Topology,randomness and noise in process calculus
3
作者 YING Mingsheng 《Frontiers of Electrical and Electronic Engineering in China》 CSCD 2007年第2期127-131,共5页
Formal models of communicating and concurrent systems are one of the most important topics in formal methods,and process calculus is one of the most successful formal models of communicating and concurrent systems.In ... Formal models of communicating and concurrent systems are one of the most important topics in formal methods,and process calculus is one of the most successful formal models of communicating and concurrent systems.In the previous works,the author systematically studied topology in process calculus,probabilistic process calculus and pi-calculus with noisy channels in order to describe approximate behaviors of communicating and concurrent systems as well as randomness and noise in them.This article is a brief survey of these works. 展开更多
关键词 communicating and concurrent systems process calculus TOPOLOGY RANDOMNESS noise
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部